Issued Patents All Time
Showing 1–17 of 17 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12306989 | Method and system for secure data transmission | Ajish Nair, Sumit Bansal | 2025-05-20 |
| 12026202 | Memory optimization for storing objects in nested hash maps used in electronic design automation systems | Brijesh Agrawal, Abhishek Verma, Deepak P. Ahuja | 2024-07-02 |
| 11907631 | Reset domain crossing detection and simulation | Fahim Rahim, Rajarshi Mukherjee, Deep Shah, Satrajit Pal, Dipit Ranjan Senapati +1 more | 2024-02-20 |
| 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 |
| 11087059 | Clock domain crossing verification of integrated circuit design using parameter inference | Anshu Malani, Sudeep Mondal | 2021-08-10 |
| 10387605 | System and method for managing and composing verification engines | Maher Mneimneh, Scott Cotton, Mohamed Shaker Sarwary, Fahim Rahim, Sudeep Mondal | 2019-08-20 |
| 10356830 | System and method to facilitate stateless serving gateway operations in a network environment | Girish Sivasubramanian, Yogesh Devidas Patil | 2019-07-16 |
| 9936438 | System and method for handling stray session requests in a network environment | Vimal Srivastava, Chitresh Yadav, Ravi Kiran Guntupalli | 2018-04-03 |
| 9801227 | Systems and methods for implementing bearer call-back services | Vimal Srivastava, Chitresh Yadav, Pankaj Tripathi | 2017-10-24 |
| 9674764 | System and method for providing Internet protocol flow mobility in a network environment | Nithin Chitta, Vimal Srivastava | 2017-06-06 |
| 9635686 | System and method for providing internet protocol flow mobility in a network environment | Nithin Chitta, Vimal Srivastava | 2017-04-25 |
| 9420607 | System and method for handling stray session requests in a network environment | Vimal Srivastava, Chitresh Yadav, Ravi Kiran Guntupalli | 2016-08-16 |
| 8856706 | System and method for metastability verification of circuits of an integrated circuit | Maher Mneimneh, Shaker Sarwary, Ashish Bansal, Mohammad H. Movahed-Ezazi, Namit Gupta | 2014-10-07 |
| 8607173 | Hierarchical bottom-up clock domain crossing verification | Mohamed Shaker Sarwary, Maher Mneimneh, Deepak P. Ahuja, Mohammad H. Movahed-Ezazi | 2013-12-10 |
| 8448111 | System and method for metastability verification of circuits of an integrated circuit | Maher Mneimneh, Shaker Sarwary, Ashish Bansal, Mohammad H. Movahed-Ezazi, Namit Gupta | 2013-05-21 |