Issued Patents 2021
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11200361 | Scalable model checking in functional verification by integrating user-guided abstraction | Bradley Donald Bingham, Steven M. German | 2021-12-14 |
| 11150298 | Converting formal verification testbench drivers with nondeterministic inputs to simulation monitors | Bradley Donald Bingham | 2021-10-19 |
| 10970444 | Methods and systems to verify correctness of bug fixes in integrated circuits | Bradley Donald Bingham, Abrar Polani | 2021-04-06 |