Assertion-based design
By: Harry Foster, Adam Krolnik, David Lacey.
Contributors: Krolnik, Adam.; Lacey, David.
Edition: 2nd ed.
Publisher: Kluwer Academic Publishers; Kluwer Academic
Published: 2004
Place of publication: Boston
Language: eng
Number of pages: 390
Subjects: Integrated circuits -- Very large scale integration -- Design and construction; Integrated circuits -- Verification; Verilog (Computer hardware description language)
Notes: Includes bibliographical references (p. 379-383) and index.