Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8527921 | Constrained random simulation coverage closure guided by a cover property | Eduard Cerny, William R. Dufresne | 2013-09-03 |
| 8448109 | Vector evaluation of assertions | Eduard Cerny, Samik Sengupta | 2013-05-21 |
| 6990438 | Method and apparatus for observability-based code coverage | Debashis Roy Chowdhury, Pallab Dasgupta, Ghassan Khoory | 2006-01-24 |