Assertion-based design
By: Harry Foster, Adam Krolnik, David Lacey.
Contributors: Krolnik, Adam.; Lacey, David.
Publisher: Kluwer Academic; Springer
Published: 2003
Place of publication: Boston, MA
Language: eng
Number of pages: 363
Subjects: Integrated circuits -- Very large scale integration -- Design and construction.; Integrated circuits -- Verification.; Verilog (Computer hardware description language)
Notes: Includes bibliographical references (p. 353-357) and index.