Hardware design verification : simulation and formal method-based approaches /
Lam, William K. C., 1962-
Hardware design verification : simulation and formal method-based approaches / William K. Lam - Upper Saddle River, NJ : Prentice Hall Professional Technical Reference, 2005 - xxv, 585 p. : ill. ; 24 cm. - Prentice Hall modern semiconductor design series .
Includes bibliographical references (p. 539-559) and index
0131433474 (alk. paper) RM355.20
Integrated circuits--Verification
Hardware design verification : simulation and formal method-based approaches / William K. Lam - Upper Saddle River, NJ : Prentice Hall Professional Technical Reference, 2005 - xxv, 585 p. : ill. ; 24 cm. - Prentice Hall modern semiconductor design series .
Includes bibliographical references (p. 539-559) and index
0131433474 (alk. paper) RM355.20
Integrated circuits--Verification