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>
發表於2024-12-27
Assertion-Based Design 2024 pdf epub mobi 電子書 下載
圖書標籤: EECS
Assertion-Based Design 2024 pdf epub mobi 電子書 下載