Issued Patents All Time
Showing 25 most recent of 27 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9047427 | Method and system for performing verification of an electronic design | Frederic Doucet | 2015-06-02 |
| 8539405 | Method and system for implementing top down design and verification of an electronic design | Kenneth L. McMillan | 2013-09-17 |
| 8234609 | Method and system for implementing top down design and verification of an electronic design | Kenneth L. McMillan | 2012-07-31 |
| 7937673 | Method and system for implementing top down design and verification of an electrical circuit design | Kenneth L. McMillan | 2011-05-03 |
| 7712059 | Coverage metric and coverage computation for verification based on design partitions | Xiaoqun Du, Kavita Ravi | 2010-05-04 |
| 7444274 | Method and system for verifying circuit designs through propagation of assertions | Manu Chopra, Xiaoqun Du, Alok Jain, Franz Erich Marschner, Kavita Ravi | 2008-10-28 |
| 7181708 | Coverage metric and coverage computation for verification based on design partitions | Xiaoqun Du, Kavita Ravi | 2007-02-20 |
| 7047510 | Method and system for partitioning an integrated circuit design | Manu Chopra, Xiaoqun Du, Ronald H. Hardin, Alok Jain, Pratik Mahajan +2 more | 2006-05-16 |
| 6708143 | Verification coverage method | — | 2004-03-16 |
| 6591231 | Method for identifying cyclicity in circuit designs | Kedar Namjoshi | 2003-07-08 |
| 6311293 | Detecting of model errors through simplification of model via state reachability analysis | Carlos Manuel Roman | 2001-10-30 |
| 6295515 | Static partial order reduction | Vladimir Evgenevich Levin, Marius Minea, Doron A. Peled, Husnu Yenigun | 2001-09-25 |
| 6209120 | Verifying hardware in its software context and vice-versa | Vladimir Evgenevich Levin, Marius Minea, Doron A. Peled, Husnu Yenigun | 2001-03-27 |
| 6185516 | Automata-theoretic verification of systems | Ronald H. Hardin | 2001-02-06 |
| 6102959 | Verification tool computation reduction | Ronald H. Hardin | 2000-08-15 |
| 6099575 | Constraint validity checking | Ronald H. Hardin | 2000-08-08 |
| 5966516 | Apparatus for defining properties in finite-state machines | Gary F. De Palma, Arthur Barry Glaser, Glenn R. Wesley | 1999-10-12 |
| 5946481 | Method for detecting errors in models through restriction | Carlos Manuel Roman | 1999-08-31 |
| 5926622 | Efficient regression verification | Ronald H. Hardin | 1999-07-20 |
| 5901073 | Method for detecting errors in models through restriction | Carlos Manuel Roman | 1999-05-04 |
| 5740084 | Verification of homomorphism between two system models | Ronald H. Hardin | 1998-04-14 |
| 5691925 | Deriving tractable sub-system for model of larger system | Ronald H. Hardin | 1997-11-25 |
| 5483470 | Timing verification by successive approximation | Rajeev Alur, Alon Itai, Mihalis Yannakakis | 1996-01-09 |
| 5163016 | Analytical development and verification of control-intensive systems | Zvi Har'el | 1992-11-10 |
| 4361875 | Multiple tone detector and locator | David Hertz, David Malah | 1982-11-30 |