Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11288427 | Automated root-cause analysis, visualization, and debugging of static verification results | Sauresh Bhowmick, Sourasis Das, Bhaskar Pal, Rajarshi Mukherjee | 2022-03-29 |
| 11222154 | State table complexity reduction in a hierarchical verification flow | Kaushik De, Rajarshi Mukherjee, David L. Allen, Bhaskar Pal, Gaurav PRATAP +3 more | 2022-01-11 |
| 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 |
| 10311192 | System and method for power verification using efficient merging of power state tables | Shekaripuram V. Venkatesh, Vishal Keswani, Manish Goel, Nitin Sharma | 2019-06-04 |
| 6525835 | Method and system for parcel label generation | — | 2003-02-25 |