Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7350168 | System, method and computer program product for equivalence checking between designs with sequential differences | Anmol Mathur, Nikhil Sharma, Deepak Goyal, Rajarshi Mukherjee | 2008-03-25 |
| 7287235 | Method of simplifying a circuit for equivalence checking | Deepak Goyal | 2007-10-23 |
| 7284218 | Method and system for inplace symbolic simulation over multiple cycles of a multi-clock domain design | Sumit Roy, Anmol Mathur | 2007-10-16 |