William K. C. Lam

Publication Activity (10 Years)

Years Active: 1992-1996
Publications (10 Years): 0

Publications

William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Valid clock frequencies and their computation in wavepipelined circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15 (7) (1996)
William K. C. Lam, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Delay fault coverage, test set size, and performance trade-offs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14 (1) (1995)
William K. C. Lam, Robert K. Brayton
Criteria for the Simple Path Property in Timed Automata. CAV (1994)
William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Exact Minimum Cycle Times for Finite State Machines. DAC (1994)
William K. C. Lam, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Delay Fault Coverage and Performance Tradeoffs. DAC (1993)
William K. C. Lam, Robert K. Brayton
Alternating RQ Timed Automata. CAV (1993)
William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions. DAC (1993)
William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Valid clocking in wavepipelined circuits. ICCAD (1992)
William K. C. Lam, Robert K. Brayton
On Relationship Between ITE and BDD. ICCD (1992)