Issued Patents 2019
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10366187 | Clock verification | — | 2019-07-30 |
| 10359825 | Dynamic power measurement using formal | Iain Singleton, John Alexander Osborne Netterville | 2019-07-23 |
| 10346571 | Livelock detection in a hardware design using formal evaluation logic | Iain Singleton | 2019-07-09 |
| 10331831 | Assessing performance of a hardware design using formal evaluation logic | Iain Singleton | 2019-06-25 |
| 10325044 | Control path verification of hardware design for pipelined process | Sam Elliott | 2019-06-18 |
| 10210119 | Arbiter verification | Iain Singleton, John Alexander Osborne Netterville | 2019-02-19 |