Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10073933 | Automatic generation of properties to assist hardware emulation | Yuan Lu, Nitin Mhaske | 2018-09-11 |
| 9760663 | Automatic generation of properties to assist hardware emulation | Yuan Lu, Nitin Mhaske | 2017-09-12 |