篇3-【IMP】建立SVA块 (system verilog assertion)

1.建立SVA块的步骤如下图所示:

注:序列/属性必须被断言,才能发挥作用;

2.序列/sequence的基本语法

篇4-sva中序列的构建(1) - 蚕食鲸吞 - 博客园 (cnblogs.com)

篇5-sva中序列的构建(2) - 蚕食鲸吞 - 博客园 (cnblogs.com)

3.属性/property的基本语法

篇6-禁止属性not,蕴含操作符(交叠蕴含与非交叠蕴含) - 蚕食鲸吞 - 博客园 (cnblogs.com)

篇8-sva/system verilog assertion检验器的时序窗口 - 蚕食鲸吞 - 博客园 (cnblogs.com)

篇9-ended结构 - 蚕食鲸吞 - 博客园 (cnblogs.com)

篇10-使用参数/选择运算符/true表达式的sva/system verilog assertion检验器 - 蚕食鲸吞 - 博客园 (cnblogs.com)

4.断言/assert的基本语法

篇7-断言中的执行块(action block) - 蚕食鲸吞 - 博客园 (cnblogs.com)