Issued Patents All Time
Showing 1–2 of 2 patents
| 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 |