Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10073933 | Automatic generation of properties to assist hardware emulation | Yuan Lu, Lawrence Vivolo | 2018-09-11 |
| 9760663 | Automatic generation of properties to assist hardware emulation | Yuan Lu, Lawrence Vivolo | 2017-09-12 |
| 9135382 | Systems, methods, and media for assertion-based verification of devices | Yuan Lu, Yunshan Zhu | 2015-09-15 |
| 8881075 | Method for measuring assertion density in a system of verifying integrated circuit design | Yuan Lu, Yong Liu | 2014-11-04 |