Inventor
LAM WILLIAM K
US11 patents
Patents
11 patentsUS7424418B1Sep 9, 2008
Method for simulation with optimized kernels and debugging with unoptimized kernels
SUN MICROSYSTEMS INC10 citations82
US7051303B1May 23, 2006
Method and apparatus for detection and isolation during large scale circuit verification
SUN MICROSYSTEMS INC13 citations82
US6988266B2Jan 17, 2006
Method of transforming variable loops into constant loops
SUN MICROSYSTEMS INC16 citations82
US7447621B1Nov 4, 2008
PLI-less co-simulation of ISS-based verification systems in hardware simulators
SUN MICROSYSTEMS INC12 citations81
US7236917B1Jun 26, 2007
Method and apparatus for generating minimal node data and dynamic assertions for a simulation
SUN MICROSYSTEMS INC12 citations80
US7017150B2Mar 21, 2006
Method and apparatus for automatically isolating minimal distinguishing stimuli in design verification and software development
SUN MICROSYSTEMS INC7 citations72
US6775810B2Aug 10, 2004
Boosting simulation performance by dynamically customizing segmented object codes based on stimulus coverage
SUN MICROSYSTEMS INC8 citations70
US6678868B2Jan 13, 2004
Using Boolean expressions to represent shapes within a layout of an integrated circuit
SUN MICROSYSTEMS INC6 citations61
US7454726B2Nov 18, 2008
Technique for generating input stimulus to cover properties not covered in random simulation
SUN MICROSYSTEMS INC4 citations56
US7475369B1Jan 6, 2009
Eliminate false passing of circuit verification through automatic detecting of over-constraining in formal verification
SUN MICROSYSTEMS INC4 citations53
US7246053B2Jul 17, 2007
Method for transforming behavioral architectural and verification specifications into cycle-based compliant specifications
SUN MICROSYSTEMS INC0 citations49