About the Author
William K. Lam has held senior manager and senior staff engineer positions at Sun Microsystems. During his years at Sun and Hewlett-Packard, he has worked on design verification, low power design and analysis, logic synthesis, and ATPG. In addition, he designed ICs and PC boards for HP test and measurement instruments. William received the 2002 Sun Microsystems Chairmanâs Award for Innovation; the 1994 D. J. Sakrison Award for distinguished Ph.D. thesis from the EECS department at the University of California, Berkeley; and a John Hertz foundation doctoral fellowship during graduate study.
He has two books and an extensive collection of publications and U.S. patents to his credit.
Get Hardware Design Verification: Simulation and Formal Method-Based Approaches now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
