Issued Patents 2017
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9740589 | Lifting of bounded liveness counterexamples to concrete liveness counterexamples | Jason R. Baumgartner, Alexander Ivrii, Pradeep Kumar Nalla | 2017-08-22 |
| 9715564 | Scalable and automated identification of unobservability causality in logic optimization flows | Jason R. Baumgartner, Ashutosh Misra, Pradeep Kumar Nalla | 2017-07-25 |
| 9678853 | Lifting of bounded liveness counterexamples to concrete liveness counterexamples | Jason R. Baumgartner, Alexander Ivrii, Pradeep Kumar Nalla | 2017-06-13 |