Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7904846 | Method for automatically extracting a functional coverage model from a constraint specification | Shashidhar A. Thakur, Ramnath N. Rao | 2011-03-08 |
| 7617468 | Method for automatic maximization of coverage in constrained stimulus driven simulation | Shashidhar A. Thakur | 2009-11-10 |