Assertion_based_Design_2nd.pdf

这是一本关于 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 ...