文章目录
- 一、断言
-
- 1.即时断言
- 2.并发断言
- 3.即时断言和并发断言的区别
- 二、SVA块
-
- 1.序列(sequence)
- 2.属性(property)
- 3.断言(assert)
- 4.两段式断言/三段式断言
-
- （1）三段式断言
- （2）两段式断言
- 三、SVA内嵌函数
- 四、断言的执行块
- 五、蕴含(implication)
-
- 1.SVA检测器的时序窗口
- 2.交叠蕴含(|->)
- 3.非交叠蕴含(|=>)
- 4.后续算子带固定延迟
- 5.使用序列做先行算子/后续算子
- 6.嵌套的蕴含
- 7.在蕴含中使用if/else
- 六、SVA构造
-
- 1.“ended”结构
- 2.“$past”构造
- 3.“and”构造
- 4.“intersect”构造
- 5.“or”构造
- 6.“first_match”构造
- 7.“throughout”构造
- 8."within"构造
- 9.“disable iff”构造
- 10.“matched”构造
- 11.“expect”构造
- 七、重复运算符
-
- 1.连续重复
-
- (1)信号的连续重复
- （2）序列的连续重复
- （3）带延迟窗口的序列重复
- （4）连续运算符和可能性运算符
- 2.跟随重复
- 3.非连续重复
- 八、其他
-
- 1.使用局部变量的SVA
- 2.SVA中的条件表达语句
- 3.在属性中使用形参
- 4.SVA与功能覆盖
- 5.SVA中的多时钟定义
- 九、参加文献
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/58688.html