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