| 12353810 |
Unified power format annotated RTL image recognition to accelerate low power verification convergence |
Zamrath Nizam, Chirath Chamikara Diyagama, Ashan Wickramasinghe |
2025-07-08 |
| 11556406 |
Automatic root cause analysis of complex static violations by static information repository exploration |
Aditya Vikram Daga, Sauresh Bhowmick, Rajarshi Mukherjee |
2023-01-17 |
| 11288427 |
Automated root-cause analysis, visualization, and debugging of static verification results |
Sauresh Bhowmick, Sanjay Gulati, Sourasis Das, Rajarshi Mukherjee |
2022-03-29 |
| 11222154 |
State table complexity reduction in a hierarchical verification flow |
Kaushik De, Rajarshi Mukherjee, David L. Allen, Sanjay Gulati, Gaurav PRATAP +3 more |
2022-01-11 |
| 10990735 |
System and method for generating a cluster-based power architecture user interface |
Sauresh Bhowmick, Esha Dutta, Harsha Vardhan |
2021-04-27 |
| 10831961 |
Automated coverage convergence by correlating random variables with coverage variables sampled from simulation result data |
Esha Dutta, Danish Jawed, Parijat Biswas, Pravash Chandra Dash, Rajarshi Mukherjee +1 more |
2020-11-10 |
| 10586001 |
Automated root-cause analysis, visualization, and debugging of static verification results |
Sauresh Bhowmick, Sanjay Gulati, Sourasis Das, Rajarshi Mukherjee |
2020-03-10 |
| 7797123 |
Method and apparatus for extracting assume properties from a constrained random test-bench |
Kaushik De, Eduard Cerny, Pallab Dasgupta, Partha Pratim Chakrabarti |
2010-09-14 |