| 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 |
