Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11829391 | Systems, methods, and apparatuses for executing a graph query against a graph representing a plurality of data stores | Ajay Krishna Borra, Manpreet Singh, Himanshu Mittal | 2023-11-28 |
| 11507719 | Accelerating formal property verification across design versions using sequential equivalence checking | Sudipta Kundu | 2022-11-22 |