Issued Patents 2020
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10817367 | Out-of-bounds recovery circuit | Ashish Darbari | 2020-10-27 |
| 10755011 | Detecting out-of-bounds violations in a hardware design using formal verification | Ashish Darbari | 2020-08-25 |
| 10580511 | Hardware monitor to verify memory units | Ashish Darbari | 2020-03-03 |
| 10552155 | Livelock recovery circuit configured to detect illegal repetition of an instruction and transition to a known state | Ashish Darbari | 2020-02-04 |