Issued Patents 2020
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10733342 | System and method for hierarchical power verification | Shekaripuram V. Venkatesh, Nitin Sharma, Parul Bhatia | 2020-08-04 |
| 10586001 | Automated root-cause analysis, visualization, and debugging of static verification results | Sauresh Bhowmick, Sourasis Das, Bhaskar Pal, Rajarshi Mukherjee | 2020-03-10 |