Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11941335 | Providing concise data for analyzing checker completeness | Amit Verma, Yumi Monma, Suyash Kumar, Devank Jain | 2024-03-26 |
| 10586014 | Method and system for verification using combined verification data | Yael Kinderman, Nili Segal, Yan Yagudayev, Vincent Gregory Reynolds | 2020-03-10 |
| 10515169 | System, method, and computer program product for computing formal coverage data compatible with dynamic verification | Amit Verma, Anubhav Srivastava | 2019-12-24 |
| 8032687 | Method, system, and apparatus for supporting limited address mode memory access | — | 2011-10-04 |
| 7895379 | Logic controller having hard-coded control logic and programmable override control store entries | Ross M. Weber | 2011-02-22 |