Issued Patents 2022
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11467851 | Machine learning (ML)-based static verification for derived hardware-design elements | Kaushik De, Paras Mal Jain, David L. Allen | 2022-10-11 |
| 11403450 | Convergence centric coverage for clock domain crossing (CDC) jitter in simulation | Anshu Malani, Paras Mal Jain, Sudeep Mondal | 2022-08-02 |
| 11288427 | Automated root-cause analysis, visualization, and debugging of static verification results | Sauresh Bhowmick, Sanjay Gulati, Sourasis Das, Bhaskar Pal | 2022-03-29 |
| 11222154 | State table complexity reduction in a hierarchical verification flow | Kaushik De, David L. Allen, Bhaskar Pal, Sanjay Gulati, Gaurav PRATAP +3 more | 2022-01-11 |