Concepedia

William K. C. Lam

WK

5

Publications

212

Citations

5

H-Index

1992

Active since

Affiliations

University of California, Berkeley(Current)

Hewlett-Packard (United States)

William K. C. Lam is an author at University of California, Berkeley specializing in computer engineering, engineering, and formal verification.

Top concepts

EngineeringComputer EngineeringFormal VerificationVerificationCircuit DesignFormal MethodsComputer ScienceHardware SecurityAsynchronous CircuitsComputer Architecture

Publications per year

1992–1996

5

Publications

5

Delay fault coverage and performance tradeoffs

William K. C. Lam, Alexander Saldanha, Robert K. Brayton et al. · 1993 · 86 citations · Full text

Delay fault coverage, test set size, and performance trade-offs

William K. C. Lam, A. Saldanha, Robert K. Brayton et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1995 · 60 citations

Engineering, Verification, Test Coverage +17

Circuit delay models and their exact computation using Timed Boolean Functions

William K. C. Lam, Robert K. Brayton, Alberto Sangiovanni‐Vincentelli · 1993 · 27 citations

Circuit Complexity, Hardware Security, Electrical Engineering +15

Valid clocking in wavepipelined circuits

William K. C. Lam, Robert K. Brayton, Alberto Sangiovanni‐Vincentelli · International Conference on Computer Aided Design · 1992 · 21 citations

Engineering, Circuit Design, Clock Recovery +15

Valid clock frequencies and their computation in wavepipelined circuits

William K. C. Lam, Robert K. Brayton, Alberto Sangiovanni‐Vincentelli · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1996 · 18 citations

Valid Clock Frequencies, Engineering, Vlsi Design +12

Rows per page

1–5 of 5