Hardware design verification
Subtitle: simulation and formal method-based approaches
By: William K. Lam
Series: Prentice Hall modern semiconductor design series
Publisher: Prentice Hall Professional Technical Reference
Published: 2005
Place of publication: Upper Saddle River, NJ
Language: eng
Number of pages: 585
Subjects: Integrated circuits -- Verification
Notes: Includes bibliographical references (p. 539-559) and index