Issued Patents 2020
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10586001 | Automated root-cause analysis, visualization, and debugging of static verification results | Sanjay Gulati, Sourasis Das, Bhaskar Pal, Rajarshi Mukherjee | 2020-03-10 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10586001 | Automated root-cause analysis, visualization, and debugging of static verification results | Sanjay Gulati, Sourasis Das, Bhaskar Pal, Rajarshi Mukherjee | 2020-03-10 |