Issued Patents 2017
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9767057 | Hardware data structure for tracking partially ordered and reordered transactions | — | 2017-09-19 |
| 9767236 | Deadlock detection in hardware design using assertion based verification | Colin McKellar | 2017-09-19 |
| 9626465 | Arbiter verification | Iain Singleton, John Alexander Osborne Netterville | 2017-04-18 |
| 9563727 | Clock verification | — | 2017-02-07 |