Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 11288427 | Automated root-cause analysis, visualization, and debugging of static verification results | Sauresh Bhowmick, Sanjay Gulati, Bhaskar Pal, Rajarshi Mukherjee | 2022-03-29 | $100,633,000 |
| 10586001 | Automated root-cause analysis, visualization, and debugging of static verification results | Sauresh Bhowmick, Sanjay Gulati, Bhaskar Pal, Rajarshi Mukherjee | 2020-03-10 | $49,825,000 |