Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11967165 | Artificial intelligence (AI) based document processing and validation | Vijay Desai, Ashok Rajaraman | 2024-04-23 |
| 10984161 | System, method, and computer program product for sequential equivalence checking in formal verification | Rajdeep Mukherjee, Benjamin Chen, Habeeb Farah, Ziyad Hanna | 2021-04-20 |
| 7428712 | Design optimization using approximate reachability analysis | Vinaya Kumar Singh, Alok Jain, Kavita Ravi | 2008-09-23 |
| 7047510 | Method and system for partitioning an integrated circuit design | Manu Chopra, Xiaoqun Du, Ronald H. Hardin, Alok Jain, Robert P. Kurshan +2 more | 2006-05-16 |