Issued Patents 2021
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |