Issued Patents All Time
Showing 1–9 of 9 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8862439 | General numeric backtracking algorithm for solving satifiability problems to verify functionality of circuits and software | Andreas Kuehlmann, Shmuel Sagiv | 2014-10-14 |
| 8656330 | Apparatus with general numeric backtracking algorithm for solving satisfiability problems to verify functionality of circuits and software | Andreas Kuehlmann, Shmuel Sagiv | 2014-02-18 |
| 8539405 | Method and system for implementing top down design and verification of an electronic design | Robert P. Kurshan | 2013-09-17 |
| 8326592 | Method and system for verifying electronic designs having software components | — | 2012-12-04 |
| 8234609 | Method and system for implementing top down design and verification of an electronic design | Robert P. Kurshan | 2012-07-31 |
| 7937673 | Method and system for implementing top down design and verification of an electrical circuit design | Robert P. Kurshan | 2011-05-03 |
| 7661082 | System and method for abstraction refinement verification | Nina Amla | 2010-02-09 |
| 7406405 | Method and system for design verification using proof-based abstraction | Nina Amla | 2008-07-29 |
| 6944838 | Method and system for design verification using proof-partitioning | — | 2005-09-13 |