Issued Patents 2020
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10621297 | Initial-state and next-state value folding | Jason R. Baumgartner, Robert L. Kanzelman, Pradeep Kumar Nalla, Dheeraj Baby | 2020-04-14 |
| 10579770 | Scalable connectivity verification using conditional cut-points | Pradeep Kumar Nalla, Jason R. Baumgartner, Raja Bilwakeshwar Ivaturi | 2020-03-03 |
| 10540468 | Verification complexity reduction via range-preserving input-to-constant conversion | Jason R. Baumgartner, Robert L. Kanzelman, Alexander Ivrii, Pradeep Kumar Nalla | 2020-01-21 |