Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11200361 | Scalable model checking in functional verification by integrating user-guided abstraction | Bradley Donald Bingham, Viresh Paruthi | 2021-12-14 |
| 8739085 | Vectorization of bit-level netlists | Jason R. Baumgartner | 2014-05-27 |
| 8473883 | Abstraction for arrays in integrated circuit models | — | 2013-06-25 |
| 6988173 | Bus protocol for a switchless distributed shared memory computer system | Michael A. Blake, Pak-kin Mak, Adrian E. Seigler, Gary A. Van Huben | 2006-01-17 |