Issued Patents 2023
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11847456 | Livelock recovery circuit for detecting illegal repetition of an instruction and transitioning to a known state | Ashish Darbari | 2023-12-19 |
| 11663386 | Detecting out-of-bounds violations in a hardware design using formal verification | Ashish Darbari | 2023-05-30 |
| 11593193 | Out-of-bounds recovery circuit | Ashish Darbari | 2023-02-28 |