SVA学习|03. 断言“三步法”

并发断言有几个关键字，sequence，property以及assert，也可归结为写一个断言的三步。

第一步：sequence，序列。在芯片的仿真过程中，序列是组成一个断言的基本组成单位，表示要进行求值的事件，或者说布尔表达式，基本语法：

实例：

多个序列可以进行有机组合，形成更复杂的序列组合-property，即属性，基本语法为：

序列是断言的基本组成单位，属性是一系列序列的组合，如果断言要发生，还必须用“assert”进行检查，基本语法：

总结来说，要写一个复杂断言，分为三步走，sequence →property → assert。

对于简单的断言，可以两步走，将sequence和property合二为一，property →assert ，或者property和assert合二为一，sequence → assert。

好了，今天的学习分享就到这里了，个人愚见，希望对你的学习有一点帮助，如有错误也欢迎批评指正。持续更新，欢迎关注。觉得有帮助的朋友，希望能够点个赞鼓励一下！！你的每个鼓励都是我持续创作的动力！