Issued Patents 2020
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 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 | $31,326,000 |
| 10586001 | Automated root-cause analysis, visualization, and debugging of static verification results | Sauresh Bhowmick, Sanjay Gulati, Sourasis Das, Rajarshi Mukherjee | 2020-03-10 | $49,825,000 |