A Practical Guide for SystemVerilog Assertions
Publisher: Springer
Published: June 21, 2005
Language: eng
Number of pages: 334
ISBN-13: 9780387260495
First sentence: An assertion is a description of a property of the design.