Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12197272 | Hang recovery and error reporting architecture on FPGA-based controller solutions | Leon Lixingyu, Anshu Nadkarni | 2025-01-14 |
| 8527923 | System, method, and computer program product for hierarchical formal hardware verification of floating-point division and/or square root algorithmic designs using automatic sequential equivalence checking | Behzad Akbarpour | 2013-09-03 |
| 8271252 | Automatic verification of device models | Kelvin Ng | 2012-09-18 |