| 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 |
$4,739,000 |
| 10114659 |
Remote provisioning of hosts in public clouds |
Andrei Warkentin, Harvey Tuch |
2018-10-30 |
$13,669,000 |
| 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 |
$12,641,000 |
| 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 |
$11,120,000 |
| 9134925 |
System and method for distributed computing in non-volatile memory |
— |
2015-09-15 |
$10,877,000 |
| 9003109 |
System and method for distributed computing in non-volatile memory |
— |
2015-04-07 |
$30,541,000 |
| 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 |
$28,308,000 |
| 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 |
$79,413,000 |
| 7475369 |
Eliminate false passing of circuit verification through automatic detecting of over-constraining in formal verification |
Shrenik Mehta |
2009-01-06 |
$3,227,000 |
| 7454726 |
Technique for generating input stimulus to cover properties not covered in random simulation |
Yick Kei Wong, Harihara Ganesan |
2008-11-18 |
$2,804,000 |
| 7447621 |
PLI-less co-simulation of ISS-based verification systems in hardware simulators |
Mohamed Soufi, Victor A. Chang |
2008-11-04 |
$3,913,000 |
| 7424418 |
Method for simulation with optimized kernels and debugging with unoptimized kernels |
Mohamed Soufi |
2008-09-09 |
$6,138,000 |
| 7246053 |
Method for transforming behavioral architectural and verification specifications into cycle-based compliant specifications |
Mohamed Soufi, Victor A. Chang |
2007-07-17 |
$12,921,000 |
| 7236917 |
Method and apparatus for generating minimal node data and dynamic assertions for a simulation |
Nasser Nouri |
2007-06-26 |
$10,484,000 |
| 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 |
$4,169,000 |
| 7076416 |
Method and apparatus for evaluating logic states of design nodes for cycle-based simulation |
Liang T. Chen, Thomas M. McWilliams |
2006-07-11 |
$8,200,000 |
| 7051303 |
Method and apparatus for detection and isolation during large scale circuit verification |
Mohamed Soufi |
2006-05-23 |
$5,078,000 |
| 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 |
$6,899,000 |
| 7017150 |
Method and apparatus for automatically isolating minimal distinguishing stimuli in design verification and software development |
Victor A. Chang |
2006-03-21 |
$4,878,000 |
| 6988266 |
Method of transforming variable loops into constant loops |
David Allison |
2006-01-17 |
$10,134,000 |
| 6775810 |
Boosting simulation performance by dynamically customizing segmented object codes based on stimulus coverage |
Victor A. Chang, Deepankar Bairagi, Mohamed Soufi |
2004-08-10 |
$15,117,000 |
