| 8860433 |
Method and system for self-contained timing and jitter measurement |
Bozidar Krsnik |
2014-10-14 |
| 7606695 |
Self-checking simulations using dynamic data loading |
Nasser Nouri |
2009-10-20 |
| 7447621 |
PLI-less co-simulation of ISS-based verification systems in hardware simulators |
William Lam, Mohamed Soufi |
2008-11-04 |
| 7246053 |
Method for transforming behavioral architectural and verification specifications into cycle-based compliant specifications |
Mohamed Soufi, William Lam |
2007-07-17 |
| 7017150 |
Method and apparatus for automatically isolating minimal distinguishing stimuli in design verification and software development |
William Lam |
2006-03-21 |
| 6775810 |
Boosting simulation performance by dynamically customizing segmented object codes based on stimulus coverage |
William Lam, Deepankar Bairagi, Mohamed Soufi |
2004-08-10 |
| 6715134 |
Method and apparatus to facilitate generating simulation modules for testing system designs |
William Lam |
2004-03-30 |
