William K. Lam

City:

Newark, California

Country:

United States

Published Applications:

Last publication date:

2009-01-06

Top Assignees for applications by William K. Lam

The entities that hold a legal rights for patent applications filed by inventor Lam William K.:

William K. Lam from Newark, US has applied for patents for these inventions. The list has both pending applications and granted patents:

Eliminate false passing of circuit verification through automatic detecting of over-constraining in formal verification

PLI-less co-simulation of ISS-based verification systems in hardware simulators

Method for simulation with optimized kernels and debugging with unoptimized kernels

Technique for generating input stimulus to cover properties not covered in random simulation

Method for transforming behavioral architectural and verification specifications into cycle-based compliant specifications

Method and apparatus for generating minimal node data and dynamic assertions for a simulation

Method and apparatus for detection and isolation during large scale circuit verification

Method and apparatus for automatically isolating minimal distinguishing stimuli in design verification and software development

Method of transforming variable loops into constant loops

InventorID:

4472749 ⎘