Issued Patents All Time
Showing 1–8 of 8 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |