Issued Patents All Time
Showing 1–17 of 17 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12422476 | Co-debug of processing conditions of logic devices | Arun Joseph, Rajat Rao | 2025-09-23 |
| 10970454 | Scalable connectivity verification using conditional cut-points | Pradeep Kumar Nalla, Jason R. Baumgartner, Raja Bilwakeshwar Ivaturi | 2021-04-06 |
| 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 |
| 10474777 | Scalable liveness verification | Jason R. Baumgartner, Pradeep Kumar Nalla, Alexander Ivrii | 2019-11-12 |
| 10394987 | Adaptive bug-search depth for simple and deep counterexamples | Jason R. Baumgartner, Hari Mony, Pradeep Kumar Nalla | 2019-08-27 |
| 10210296 | Adaptive bug-search depth for simple and deep counterexamples | Jason R. Baumgartner, Hari Mony, Pradeep Kumar Nalla | 2019-02-19 |
| 10078716 | Scalable logic verification by identifying unate primary inputs | Jason R. Baumgartner, Alexander Ivrii, Pradeep Kumar Nalla | 2018-09-18 |
| 10073938 | Integrated circuit design verification | Anand B. Arunagiri, Sujeet Kumar, Pradeep Kumar Nalla | 2018-09-11 |
| 9934873 | Delayed equivalence identification | Ashutosh Misra, Pradeep Kumar Nalla, Rahul M. Rao | 2018-04-03 |
| 9922153 | Scalable logic verification by identifying unate primary inputs | Jason R. Baumgartner, Alexander Ivrii, Pradeep Kumar Nalla | 2018-03-20 |
| 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 |
| 9483595 | Method for scalable liveness verification via abstraction refinement | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony, Pradeep Kumar Nalla | 2016-11-01 |
| 9471734 | System and program product for scalable liveness verification via abstraction refinement | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony, Pradeep Kumar Nalla | 2016-10-18 |