篇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)

篇11-$past构造与带时钟门控的$past构造 - 蚕食鲸吞 - 博客园 (cnblogs.com)

篇12-重复运算符(连续重复,跟随重复,非连续重复) - 蚕食鲸吞 - 博客园 (cnblogs.com)

篇13-and构造/intersect构造/or构造 - 蚕食鲸吞 - 博客园 (cnblogs.com)

篇14-first_match构造/throughout构造/within构造 - 蚕食鲸吞 - 博客园 (cnblogs.com)

篇15-内建系统函数与disable iff构造 - 蚕食鲸吞 - 博客园 (cnblogs.com)

篇16-在属性中使用形参以及局部变量 - 蚕食鲸吞 - 博客园 (cnblogs.com)

4.断言/assert的基本语法

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