Issued Patents 2022
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11467851 | Machine learning (ML)-based static verification for derived hardware-design elements | Kaushik De, Rajarshi Mukherjee, David L. Allen | 2022-10-11 |
| 11403450 | Convergence centric coverage for clock domain crossing (CDC) jitter in simulation | Anshu Malani, Rajarshi Mukherjee, Sudeep Mondal | 2022-08-02 |
| 11347917 | Determining and verifying metastability in clock domain crossings | Deepak P. Ahuja, Anchit JAIN | 2022-05-31 |