Issued Patents All Time
Showing 1–25 of 30 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12195846 | Modified stacks for 3D NAND | Xinhai Han, Hang Yu, Kesong Hu, Kristopher Enslow, Masaki Ogata +9 more | 2025-01-14 |
| 11963188 | System and method for beam tracking in a 5G new radio mmWave user equipment | Samir Kumar Mishra, Digvijay Katyal, Prince Arya, Sarvesha Anegundi Ganapathi | 2024-04-16 |
| 11120256 | Method of meta-data extraction from semi-structured documents | Durga Yandapalli Prasad, Vijesh Bhaktha | 2021-09-14 |
| 11113048 | Utilizing artificial intelligence and machine learning models to reverse engineer an application from application artifacts | Rajendra Prasad Tanniru, Balaji Venkateswaran, Koushik M. VIJAYARAGHAVAN, Aditi KULKARNI, Rajesh Nagarajan +4 more | 2021-09-07 |
| 10805046 | Apparatus and method using polar code for multiple input multiple output (MIMO) channel | Kwang-chul Kim, Samir Kumar Mishra, Prince Arya, Puneet Pandey | 2020-10-13 |
| 10656939 | Modeling lifetime of hybrid software application using application manifest | Aditya Makarand Desai, Srivatsan Kidambi, Shefy Manayil Kareem, Anand Rengasamy, Prashant Kumar +1 more | 2020-05-19 |
| 10516579 | Techniques for reconciliation of planned network with deployed network | Jayaram Hanumanthappa, Naresh Kumar, Naresh Srinivasulu Jayam, Arijit Mandal, Gounda Mohammed Nabi Saheb +1 more | 2019-12-24 |
| 10395177 | Optimized execution order correlation with production listing order | Anurag Dalmia, Ganesh Krishnamurthi, fnu Suresh Kumar Koorella, Himanshu Agrawal, Vivek Dalvi | 2019-08-27 |
| 10326850 | Weighted experience website performance score | Vivek Dalvi | 2019-06-18 |
| 10268477 | Modeling lifetime of hybrid software application using application manifest | Aditya Makarand Desai, Srivatsan Kidambi, Shefy Manayil Kareem, Anand Rengasamy, Prashant Kumar +1 more | 2019-04-23 |
| 9213624 | Application quality parameter measurement-based development | Mini Nair, Pankaj Kachrulal Sarda, Anand Rengasamy, Srivatsan Kidambi, Vivek Dalvi +1 more | 2015-12-15 |
| 9106763 | Advertising ringtone coverage | Michael J. Coleman, Matthew Whitbourne | 2015-08-11 |
| 8990746 | Method for mutation coverage during formal verification | Pradeep Goyal | 2015-03-24 |
| 8949411 | Determining whether a device is inside a network | Abhishek Tiwari, Rama Krishna Amaravadi, Raunak Pandya | 2015-02-03 |
| 8910099 | Method for debugging unreachable design targets detected by formal verification | Pradeep Goyal | 2014-12-09 |
| 8612905 | System method and apparatus for vacuity detection | Pradeep Goyal, Manu Chopra, Anurag Gupta, Deepak Yadav | 2013-12-17 |
| 8413088 | Verification plans to merging design verification metrics | Frank Armbruster, Sandeep Pagey, F. Erich Marschner, Dan Leibovich, Axel Scherer +1 more | 2013-04-02 |
| 8316332 | Constraint minimization method for formal verification | Pradeep Goyal | 2012-11-20 |
| 7747971 | State retention for formal verification | Manu Chopra, Erich Marschner | 2010-06-29 |
| 7601269 | On-chip sample preparation for whole blood analysis | Chong H. Ahn, Aniruddha Puntambekar, Jungyoup Han | 2009-10-13 |
| 7476326 | On-chip sample preparation for whole blood analysis | Chong H. Ahn, Aniruddha Puntambekar, Jungyoup Han | 2009-01-13 |
| 7444274 | Method and system for verifying circuit designs through propagation of assertions | Manu Chopra, Xiaoqun Du, Robert P. Kurshan, Franz Erich Marschner, Kavita Ravi | 2008-10-28 |
| 7428712 | Design optimization using approximate reachability analysis | Vinaya Kumar Singh, Ravi Prakash, Kavita Ravi | 2008-09-23 |
| 7253115 | Dual damascene etch processes | Hiroya Tanaka, Chee Khiang Ivan Sim, Yoshio Ishikawa | 2007-08-07 |
| 7229930 | Selective etching of low-k dielectrics | Phui Fah Chong | 2007-06-12 |