Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9135382 | Systems, methods, and media for assertion-based verification of devices | Yuan Lu, Nitin Mhaske | 2015-09-15 |
| 8326778 | Systems and methods for generating predicates and assertions | Yuan Lu | 2012-12-04 |
| 8306802 | Method for modeling an HDL design using symbolic simulation | James H. Kukula, Robert F. Damiano, Joseph T. Buck | 2012-11-06 |
| 7926020 | Methods for automatically generating assertions | Yuan Lu | 2011-04-12 |
| 7149987 | Method and apparatus for performing generator-based verification | James H. Kukula | 2006-12-12 |