Issued Patents All Time
Showing 1–8 of 8 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8418101 | Temporal decomposition for design and verification | Andreas Kuehlmann | 2013-04-09 |
| 8413090 | Temporal decomposition for design and verification | Andreas Kuehlmann | 2013-04-02 |
| 7900173 | Temporal decomposition for design and verification | Andreas Kuehlmann | 2011-03-01 |
| 7712059 | Coverage metric and coverage computation for verification based on design partitions | Robert P. Kurshan, Kavita Ravi | 2010-05-04 |
| 7596770 | Temporal decomposition for design and verification | Andreas Kuehlmann | 2009-09-29 |
| 7444274 | Method and system for verifying circuit designs through propagation of assertions | Manu Chopra, Alok Jain, Robert P. Kurshan, Franz Erich Marschner, Kavita Ravi | 2008-10-28 |
| 7181708 | Coverage metric and coverage computation for verification based on design partitions | Robert P. Kurshan, Kavita Ravi | 2007-02-20 |
| 7047510 | Method and system for partitioning an integrated circuit design | Manu Chopra, Ronald H. Hardin, Alok Jain, Robert P. Kurshan, Pratik Mahajan +2 more | 2006-05-16 |