Issued Patents All Time
Showing 25 most recent of 29 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12190122 | Remote provisioning of hosts in public clouds | Andrei Warkentin, Harvey Tuch | 2025-01-07 |
| 12182250 | Credentials management and usage in application modernization | Avi Sharma, Sri Narayanan Thanga Nadar, Shivakumar Somapur, Ashok Aletty, Kshitiz Sharma +3 more | 2024-12-31 |
| 11093259 | Remote provisioning of hosts in public clouds | Andrei Warkentin, Harvey Tuch | 2021-08-17 |
| 10114659 | Remote provisioning of hosts in public clouds | Andrei Warkentin, Harvey Tuch | 2018-10-30 |
| 9594524 | System and method for distributed computing in non-volatile memory | — | 2017-03-14 |
| 9367391 | Error correction operations in a memory device | — | 2016-06-14 |
| 9354824 | System and method for distributed computing in non-volatile memory | — | 2016-05-31 |
| 9239691 | System and method for distributed computing in non-volatile memory | — | 2016-01-19 |
| 9134925 | System and method for distributed computing in non-volatile memory | — | 2015-09-15 |
| 9003109 | System and method for distributed computing in non-volatile memory | — | 2015-04-07 |
| 8762787 | Facilitating large-scale testing using virtualization technology in a multi-tenant database environment | Matthew Cowger, Ashit Jain, Hung Le, Mohit Chawla | 2014-06-24 |
| 8489929 | Facilitating large-scale testing using virtualization technology in a multi-tenant database environment | Matthew Cowger, Ashit Jain, Hung Le, Mohit Chawla | 2013-07-16 |
| 7475369 | Eliminate false passing of circuit verification through automatic detecting of over-constraining in formal verification | Shrenik Mehta | 2009-01-06 |
| 7454726 | Technique for generating input stimulus to cover properties not covered in random simulation | Yick Kei Wong, Harihara Ganesan | 2008-11-18 |
| 7447621 | PLI-less co-simulation of ISS-based verification systems in hardware simulators | Mohamed Soufi, Victor A. Chang | 2008-11-04 |
| 7424418 | Method for simulation with optimized kernels and debugging with unoptimized kernels | Mohamed Soufi | 2008-09-09 |
| 7246053 | Method for transforming behavioral architectural and verification specifications into cycle-based compliant specifications | Mohamed Soufi, Victor A. Chang | 2007-07-17 |
| 7236917 | Method and apparatus for generating minimal node data and dynamic assertions for a simulation | Nasser Nouri | 2007-06-26 |
| 7080365 | Method and apparatus for simulation system compiler | Jeffrey M. Broughton, Liang T. Chen, Derek Pappas, Ihao Chen, Thomas M. McWilliams +6 more | 2006-07-18 |
| 7076416 | Method and apparatus for evaluating logic states of design nodes for cycle-based simulation | Liang T. Chen, Thomas M. McWilliams | 2006-07-11 |
| 7051303 | Method and apparatus for detection and isolation during large scale circuit verification | Mohamed Soufi | 2006-05-23 |
| 7036114 | Method and apparatus for cycle-based computation | Thomas M. McWilliams, Jeffrey B. Rubin, Derek Pappas, Oyekunle A. Olukotun, Jeffrey M. Broughton +5 more | 2006-04-25 |
| 7017150 | Method and apparatus for automatically isolating minimal distinguishing stimuli in design verification and software development | Victor A. Chang | 2006-03-21 |
| 6988266 | Method of transforming variable loops into constant loops | David Allison | 2006-01-17 |
| 6775810 | Boosting simulation performance by dynamically customizing segmented object codes based on stimulus coverage | Victor A. Chang, Deepankar Bairagi, Mohamed Soufi | 2004-08-10 |