Issued Patents All Time
Showing 26–32 of 32 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8122401 | System, method, and computer program product for determining equivalence of netlists utilizing at least one transformation | Pankaj P. Chauhan, Anmol Mathur | 2012-02-21 |
| 8117571 | System, method, and computer program product for determining equivalence of netlists utilizing abstractions and transformations | Pankaj P. Chauhan, Anmol Mathur | 2012-02-14 |
| 7350168 | System, method and computer program product for equivalence checking between designs with sequential differences | Anmol Mathur, Nikhil Sharma, Gagan Hasteer, Rajarshi Mukherjee | 2008-03-25 |
| 7287235 | Method of simplifying a circuit for equivalence checking | Gagan Hasteer | 2007-10-23 |
| 7280190 | Electro-optic time domain reflectometry | Zhiyong Wang, Rajendra C. Dias | 2007-10-09 |
| 7222317 | Circuit comparison by information loss matching | Anmol Mathur | 2007-05-22 |
| 7171407 | Method for streaming XPath processing with forward and backward axes | Charles Barton, Philippe Charles, Mukund Raghavachari | 2007-01-30 |