Issued Patents All Time
Showing 25 most recent of 41 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12271259 | Out-of-bounds recovery circuit | Iain Singleton | 2025-04-08 |
| 12175179 | Assessing performance of a hardware design using formal evaluation logic | Iain Singleton | 2024-12-24 |
| 12093621 | Detecting out-of-bounds violations in a hardware design using formal verification | Iain Singleton | 2024-09-17 |
| 12050849 | Livelock detection in a hardware design using formal evaluation logic | Iain Singleton | 2024-07-30 |
| 11989299 | Verifying firmware binary images using a hardware design and formal assertions | — | 2024-05-21 |
| 11948652 | Formal verification tool to verify hardware design of memory unit | Iain Singleton | 2024-04-02 |
| 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 |
| 11531799 | Assessing performance of a hardware design using formal evaluation logic | Iain Singleton | 2022-12-20 |
| 11475193 | Control path verification of hardware design for pipelined process | Sam Elliott | 2022-10-18 |
| 11467840 | Livelock recovery circuit for detecting illegal repetition of an instruction and transitioning to a known state | Iain Singleton | 2022-10-11 |
| 11373025 | Livelock detection in a hardware design using formal evaluation logic | Iain Singleton | 2022-06-28 |
| 11250927 | Formal verification tool to verify hardware design of memory unit | Iain Singleton | 2022-02-15 |
| 11250192 | Detecting out-of-bounds violations in a hardware design using formal verification | Iain Singleton | 2022-02-15 |
| 11030039 | Out-of-bounds recovery circuit | Iain Singleton | 2021-06-08 |
| 11010477 | Verifying firmware binary images using a hardware design and formal assertions | — | 2021-05-18 |
| 10963611 | Assessing performance of a hardware design using formal evaluation logic | Iain Singleton | 2021-03-30 |
| 10949590 | Control path verification of hardware design for pipelined process | Sam Elliott | 2021-03-16 |
| 10936775 | Detecting out-of-bounds violations in a hardware design using formal verification | Iain Singleton | 2021-03-02 |
| 10929583 | Clock verification | — | 2021-02-23 |
| 10909289 | Livelock detection in a hardware design using formal evaluation logic | Iain Singleton | 2021-02-02 |
| 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 |