Issued Patents All Time
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11017139 | Concolic equivalence checking | Pritam Roy, Sagar Chaki | 2021-05-25 |
| 10515168 | Formal verification using microtransactions | Sameer Kapoor, Saurabh Jain, Kunal Bindal, Bryan Darrell Bowyer, Andres R. Takach +3 more | 2019-12-24 |
| 9817929 | Formal verification using microtransactions | Sameer Kapoor, Saurabh Jain, Kunal Bindal, Bryan Darrell Bowyer, Andres R. Takach +3 more | 2017-11-14 |
| 8122401 | System, method, and computer program product for determining equivalence of netlists utilizing at least one transformation | Deepak Goyal, Anmol Mathur | 2012-02-21 |
| 8117571 | System, method, and computer program product for determining equivalence of netlists utilizing abstractions and transformations | Deepak Goyal, Anmol Mathur | 2012-02-14 |
| 7558253 | Method and system for disrupting undesirable wireless communication of devices in computer networks | Jai Rawat, Krishnamurthy Gopinath | 2009-07-07 |
| 7333481 | Method and system for disrupting undesirable wireless communication of devices in computer networks | Jai Rawat, Krishnamurthy Gopinath | 2008-02-19 |