Hardware design verification :
Lam, William K. C.
Hardware design verification : simulation and formal method-based approaches William K. Lam. - Boston : PHI Learning, ©2005. - xxv, 585 p. : ill. ; 24 cm. - Prentice Hall modern semiconductor design series .
Includes bibliographical references (p. 539-559) and index.
9780137010929
2004026386
Integrated circuits--Verification.
TK7874.58 / .L36 2005
621.392 / LAM-H
Hardware design verification : simulation and formal method-based approaches William K. Lam. - Boston : PHI Learning, ©2005. - xxv, 585 p. : ill. ; 24 cm. - Prentice Hall modern semiconductor design series .
Includes bibliographical references (p. 539-559) and index.
9780137010929
2004026386
Integrated circuits--Verification.
TK7874.58 / .L36 2005
621.392 / LAM-H