Issued Patents 2022
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11467851 | Machine learning (ML)-based static verification for derived hardware-design elements | Kaushik De, Rajarshi Mukherjee, Paras Mal Jain | 2022-10-11 |
| 11222154 | State table complexity reduction in a hierarchical verification flow | Kaushik De, Rajarshi Mukherjee, Bhaskar Pal, Sanjay Gulati, Gaurav PRATAP +3 more | 2022-01-11 |