Issued Patents 2018
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10108768 | Identifying bugs in a counter using formal | — | 2018-10-23 |
| 10089138 | Hardware data structure for tracking ordered transactions | — | 2018-10-02 |
| 10083262 | Deadlock detection in hardware design using assertion based verification | Colin McKellar | 2018-09-25 |
| 10067896 | Hardware data structure for tracking partially ordered and reordered transactions | — | 2018-09-04 |