Issued Patents 2022
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |
| 11250192 | Detecting out-of-bounds violations in a hardware design using formal verification | Iain Singleton | 2022-02-15 |
| 11250927 | Formal verification tool to verify hardware design of memory unit | Iain Singleton | 2022-02-15 |