Issued Patents 2019
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10380301 | Method for waveform based debugging for cover failures from formal verification | Mudit Sharma | 2019-08-13 |
| 10176286 | System, method, and computer program product for oscillating loop detection in formal verification | Ravindra Kumar | 2019-01-08 |