Assertion_based_Design_2nd.pdf

上传：asdqwt 浏览： 13 推荐： 0 文件：PDF 大小：4.03MB 上传时间：2020-10-07 13:03:44 版权申诉

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