Issued Patents All Time
Showing 1–8 of 8 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12184607 | Generating multiple internet protocol (IP) addresses in wireless network | Nitish Kumar, Pawan SHRIWAS, Niyank Bam | 2024-12-31 |
| 11818092 | Internet protocol schema generation | Nitish Kumar, Pawan SHRIWAS, Niyank Bam, Mohammodh IRFAN, Mahesh Hanwatkar | 2023-11-14 |
| 11689498 | Internet protocol address generation | Nitish Kumar, Pawan SHRIWAS, Niyank Bam, Mohammodh IRFAN, Mahesh Hanwatkar | 2023-06-27 |
| 11010522 | Efficient mechanism for interactive fault analysis in formal verification environment | Xiaolin Chen, Arunava Saha, Sandeep Jana, Jinnan Huang | 2021-05-18 |
| 10657307 | Using runtime information from solvers to measure quality of formal verification | Himanshu Jain, Per M. Bjesse | 2020-05-19 |
| 10592624 | Efficient mechanism of fault qualification using formal verification | Sandeep Jana, Arunava Saha, Per M. Bjesse, Alfred Koelbl | 2020-03-17 |
| 7712060 | Method and system for handling assertion libraries in functional verification | Tarun Garg, Vinaya Kumar Singh, Mohamad Shaved | 2010-05-04 |
| 7047510 | Method and system for partitioning an integrated circuit design | Manu Chopra, Xiaoqun Du, Ronald H. Hardin, Alok Jain, Robert P. Kurshan +2 more | 2006-05-16 |