| 7447621 |
PLI-less co-simulation of ISS-based verification systems in hardware simulators |
William Lam, Victor A. Chang |
2008-11-04 |
| 7424418 |
Method for simulation with optimized kernels and debugging with unoptimized kernels |
William Lam |
2008-09-09 |
| 7246053 |
Method for transforming behavioral architectural and verification specifications into cycle-based compliant specifications |
William Lam, Victor A. Chang |
2007-07-17 |
| 7162403 |
System and method for efficiently tracing simulation data in hardware acceleration simulation systems |
Nasser Nouri, Ping-Chih Wu, David Allison |
2007-01-09 |
| 7051303 |
Method and apparatus for detection and isolation during large scale circuit verification |
William Lam |
2006-05-23 |
| 6775810 |
Boosting simulation performance by dynamically customizing segmented object codes based on stimulus coverage |
Victor A. Chang, William Lam, Deepankar Bairagi |
2004-08-10 |
