loadpatents
Patent applications and USPTO patent grants for Kurshan; Robert Paul.The latest application filed is for "verification coverage method".
Patent | Date |
---|---|
Verification coverage method Grant 6,708,143 - Kurshan March 16, 2 | 2004-03-16 |
Method for identifying cyclicity in circuit designs Grant 6,591,231 - Kurshan , et al. July 8, 2 | 2003-07-08 |
Verifying hardware in its software context and vice-versa Grant 6,209,120 - Kurshan , et al. March 27, 2 | 2001-03-27 |
Automata-theoretic verification of systems Grant 6,185,516 - Hardin , et al. February 6, 2 | 2001-02-06 |
Constraint validity checking Grant 6,099,575 - Hardin , et al. August 8, 2 | 2000-08-08 |
Apparatus for defining properties in finite-state machines Grant 5,966,516 - De Palma , et al. October 12, 1 | 1999-10-12 |
Method for detecting errors in models through restriction Grant 5,946,481 - Kurshan , et al. August 31, 1 | 1999-08-31 |
Efficient regression verification Grant 5,926,622 - Hardin , et al. July 20, 1 | 1999-07-20 |
Periodic sequence generators using ordinary arithmetic Grant 3,963,905 - Gopinath , et al. June 15, 1 | 1976-06-15 |
Interconnected Loop Digital Transmission System Grant 3,742,144 - Brandenburg , et al. June 26, 1 | 1973-06-26 |
uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.
While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.
All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.