Assertion-Based Design

出版者:Springer

作者:Harry D. Foster

页数:392

出版时间:2003-06-01

价格:USD 130.00

装帧:Hardcover

isbn号码:9781402074981

图书标签:EECS

The focus of <STRONG>Assertion-Based Design</STRONG> is three-fold:

*How to specify assertions;

*How to create and adopt a methodology that supports assertion-based design (predominately for RTL design);

*What to do with the assertions and methodology once you have them. </P>

To support these three over-arching goals, the authors showcase multiple forms of assertion specification: Accellera Open Verification Library (OVL), Accellera Property Specification Language (PSL), and Accellera SystemVerilog. </P>

The recommendations and claims the authors make in this book are based on their combined actual experiences in applying an assertion-based methodology to real design and verification as well as their work in developing industry assertion standards. </P>