Issued Patents All Time
Showing 1–9 of 9 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12405826 | Reservation mechanism for nodes with phase constraints | Brendan M. Wong | 2025-09-02 |
| 12265850 | Reservation mechanism for node with token constraints for preventing node starvation in a circular topology network | Brendan M. Wong | 2025-04-01 |
| 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 |
| 11481534 | Trace-based generation of states within a system | Flavio M. De Paula, Arvind Haran | 2022-10-25 |
| 11200361 | Scalable model checking in functional verification by integrating user-guided abstraction | Viresh Paruthi, Steven M. German | 2021-12-14 |
| 11150298 | Converting formal verification testbench drivers with nondeterministic inputs to simulation monitors | Viresh Paruthi | 2021-10-19 |
| 10970444 | Methods and systems to verify correctness of bug fixes in integrated circuits | Viresh Paruthi, Abrar Polani | 2021-04-06 |