Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10503853 | Formal verification using cached search path information to verify previously proved/disproved properties | Arunava Saha, Himanshu Jain, Manish Pandey, Per M. Bjesse | 2019-12-10 |
| 8813007 | Automatic approximation of assumptions for formal property verification | — | 2014-08-19 |
| 8104002 | Performing logic optimization and state-space reduction for hybrid verification | — | 2012-01-24 |
| 7454727 | Method and Apparatus for Solving Sequential Constraints | Eduard Cerny, Kevin M. Harer, Pei-Hsin Ho | 2008-11-18 |
| 7076753 | Method and apparatus for solving sequential constraints | Eduard Cerny, Kevin M. Harer, Pei-Hsin Ho | 2006-07-11 |