Assertion-Based Design 在线电子书 图书标签: EECS
发表于2024-11-05
Assertion-Based Design 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 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 下载 txt下载 epub 下载 mobi 下载 2024