Issued Patents 2003
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6662323 | Fast error diagnosis for combinational verification | Aarti Gupta | 2003-12-09 |
| 6651234 | Partition-based decision heuristics for SAT and image computation using SAT and BDDs | Aarti Gupta, Zijiang Yang, Sharad Malik | 2003-11-18 |