Issued Patents 2025
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12353812 | Logical equivalence check for circuits | Robert Coleman Springer, IV | 2025-07-08 |
| 12353887 | Programmable accelerator for data-dependent, irregular operations | Rahul Nagarajan, Suvinay Subramanian, Arpith Chacko Jacob, Thomas Norrie, Thejasvi Magudilu Vijayaraj +1 more | 2025-07-08 |
| 12190404 | Executing computational graphs on graphics processing units | Jingyue Wu | 2025-01-07 |