文件名称：Assertion_based_Design_2nd.pdf
文件大小：4.03MB
文件格式：PDF
更新时间：2023-10-27 12:09:23
assertion systenverilog
这是一本关于 assertion 的资料，目录如下: chapter 2 ASSERTION METHODOLOGY chapter 3 SPECIFYING RTL PROPERTIES chapter 4 PLI-BASED ASSERTIONS chapter 5 FUNCTIONAL COVERAGE chapter 6 ASSERTION PATTERNS chapter 7 ASSERTION COOKBOOK chapter 8 SPECIFYING CORRECT BEHAVIOR Appendix A OPENVERIFICATION LIBRARY ...