Issued Patents 2024
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |