| 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 |
