Issued Patents All Time
Showing 1–8 of 8 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11429770 | System, method, and computer program product for analyzing X-propagation simulations | Amit Dua, Amit Aggarwal, Hemant Gupta, Amit Sharma, Abhishek Raheja | 2022-08-30 |
| 10325042 | Debugging failures in X-propagation logic circuit simulation | Amit Sharma, Amit Aggarwal, Amit Dua, Vincent Gregory Reynolds, Abhishek Raheja | 2019-06-18 |
| 10162920 | System and method for performing out of order name resolution in an electronic design | Jonathan Lee DeKock, Steven G. Esposito, Meir Ovadia | 2018-12-25 |
| 8949754 | System, method, and computer program product for verification using X-propagation | Amit Sharma, Amit Aggarwal, Abhishek Raheja | 2015-02-03 |
| 8612905 | System method and apparatus for vacuity detection | Pradeep Goyal, Alok Jain, Anurag Gupta, Deepak Yadav | 2013-12-17 |
| 7747971 | State retention for formal verification | Alok Jain, Erich Marschner | 2010-06-29 |
| 7444274 | Method and system for verifying circuit designs through propagation of assertions | Xiaoqun Du, Alok Jain, Robert P. Kurshan, Franz Erich Marschner, Kavita Ravi | 2008-10-28 |
| 7047510 | Method and system for partitioning an integrated circuit design | Xiaoqun Du, Ronald H. Hardin, Alok Jain, Robert P. Kurshan, Pratik Mahajan +2 more | 2006-05-16 |