- 博客(0)
- 资源 (5)
- 收藏
- 关注
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
...
2020-10-06
SNUG2009SJ_SVA_Bind-by_Cummings.pdf
一份非常好的 SVA 资料,详细介绍怎样写出好的 assertion。资料的最后部分以 sync_fifo 为例子,详细介绍了 assertion 的写法
2020-10-06
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人