Issued Patents 2023
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11853195 | Methods and systems to discover special outcomes in an instruction set architecture via formal methods | Gregory A. Kemp, Bryant Cockcroft, Debapriya Chatterjee | 2023-12-26 |
| 11740872 | Detection of unintended dependencies in hardware designs with pseudo-random number generators | Jason R. Baumgartner, Viresh Paruthi, Praveen S. Reddy | 2023-08-29 |
| 11675009 | Converting formal verification testbench drivers with nondeterministic inputs to simulation monitors | Viresh Paruthi | 2023-06-13 |