Issued Patents 2020
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10789403 | Grouping and partitioning of properties for logic verification | Rohit DUREJA, Jason R. Baumgartner, Alexander Ivrii | 2020-09-29 |
| 10621297 | Initial-state and next-state value folding | Jason R. Baumgartner, Pradeep Kumar Nalla, Raj Kumar Gajavelly, Dheeraj Baby | 2020-04-14 |
| 10565338 | Equivalency verification for hierarchical references | Ali S. El-Zein, Mark A. Williams, Viresh Paruthi, Wolfgang Roesner | 2020-02-18 |
| 10540468 | Verification complexity reduction via range-preserving input-to-constant conversion | Raj Kumar Gajavelly, Jason R. Baumgartner, Alexander Ivrii, Pradeep Kumar Nalla | 2020-01-21 |