| 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 |