圖書標籤: EECS
发表于2024-11-24
Assertion-Based Design pdf epub mobi txt 電子書 下載 2024
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>
評分
評分
評分
評分
Assertion-Based Design pdf epub mobi txt 電子書 下載 2024