Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7712059 | Coverage metric and coverage computation for verification based on design partitions | Xiaoqun Du, Robert P. Kurshan | 2010-05-04 |
| 7444274 | Method and system for verifying circuit designs through propagation of assertions | Manu Chopra, Xiaoqun Du, Alok Jain, Robert P. Kurshan, Franz Erich Marschner | 2008-10-28 |
| 7428712 | Design optimization using approximate reachability analysis | Vinaya Kumar Singh, Ravi Prakash, Alok Jain | 2008-09-23 |
| 7181708 | Coverage metric and coverage computation for verification based on design partitions | Xiaoqun Du, Robert P. Kurshan | 2007-02-20 |
| 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 |