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