Issued Patents 2020
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10789403 | Grouping and partitioning of properties for logic verification | Rohit DUREJA, Jason R. Baumgartner, Robert L. Kanzelman | 2020-09-29 |
| 10540468 | Verification complexity reduction via range-preserving input-to-constant conversion | Raj Kumar Gajavelly, Jason R. Baumgartner, Robert L. Kanzelman, Pradeep Kumar Nalla | 2020-01-21 |
| 10540469 | Verifying sequential equivalence for randomly initialized designs | Haim Kermany, Ziv Nevo | 2020-01-21 |