Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7137078 | Trace based method for design navigation | Vigyan Singhal, Alok Singh | 2006-11-14 |
| 7065726 | System and method for guiding and optimizing formal verification for a circuit design | Vigyan Singhal, Chung-Wah Norris Ip, Howard Wong-Toi | 2006-06-20 |
| 7020856 | Method for verifying properties of a circuit model | Vigyan Singhal | 2006-03-28 |
| 6993730 | Method for rapidly determining the functional equivalence between two circuit models | Vigyan Singhal, Adnan Aziz | 2006-01-31 |
| 6611947 | Method for determining the functional equivalence between two circuit models in a distributed computing environment | Vigyan Singhal, Adnan Aziz | 2003-08-26 |