The power of assertions in SystemVerilog
By: Eduard Cerny ... [et al.].
Publisher: Springer
Published: 2010
Place of publication: New York; London
Language: eng
Number of pages: 544
ISBN-13: 9781441965998; 9781441966001
Subjects: Verilog (Computer hardware description language); Integrated circuits; Data processing; Verification
Notes: Includes bibliographical references and index.
Table of contents: title: Pt. 1. Opening; title: pt. 2. Assertions; title: pt. 3. Checkers and assertion libraries.