Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8997068 | Method and system for providing an implicit unknown value to user ENUM data constructs in an HDL system to model power shutoff in simulation | Abhishek Kanungo, Phil Giangarra, Yonghao Chen | 2015-03-31 |
| 8775150 | Method and system for providing an implicit unknown value to user enum data constructs in an HDL system to model power shutoff in simulation | Abhishek Kanungo, Phil Giangarra, Yonghao Chen | 2014-07-08 |
| 7444274 | Method and system for verifying circuit designs through propagation of assertions | Manu Chopra, Xiaoqun Du, Alok Jain, Robert P. Kurshan, Kavita Ravi | 2008-10-28 |
| 7055116 | Assertion-based transaction recording | James Lawrence, Stephen T. Ward | 2006-05-30 |