SVA学习|03. 断言“三步法”
2023-02-19 12:29:09 时间
并发断言有几个关键字,sequence,property以及assert,也可归结为写一个断言的三步。
第一步:sequence,序列。在芯片的仿真过程中,序列是组成一个断言的基本组成单位,表示要进行求值的事件,或者说布尔表达式,基本语法:
实例:
多个序列可以进行有机组合,形成更复杂的序列组合-property,即属性,基本语法为:
序列是断言的基本组成单位,属性是一系列序列的组合,如果断言要发生,还必须用“assert”进行检查,基本语法:
总结来说,要写一个复杂断言,分为三步走,sequence →property → assert。
对于简单的断言,可以两步走,将sequence和property合二为一,property →assert ,或者property和assert合二为一,sequence → assert。
好了,今天的学习分享就到这里了,个人愚见,希望对你的学习有一点帮助,如有错误也欢迎批评指正。持续更新,欢迎关注。觉得有帮助的朋友,希望能够点个赞鼓励一下!!你的每个鼓励都是我持续创作的动力!
相关文章
- mysql 根据出生日期计算年龄
- 自定义Oauth2.0返回值、及异常处理格式切面类
- 【译】我们对 2023 年核心页面指标的建议
- Node.js躬行记(26)——接口拦截和页面回放实验
- 【译】2022 年回顾:Web 性能有哪些新变化?
- 稳中求进的2022年
- 数据化运营初探
- HTML躬行记(4)——Web音视频基础
- HTML躬行记(3)——WebRTC视频通话
- HTML躬行记(2)——WebRTC基础实践
- 前端稳定性建设
- 前端利器躬行记(8)——VSCode插件研发
- 带团队后的日常思考(十)
- 性能参数和优化手段
- Web优化躬行记(6)——优化闭环实践
- 量化日常工作指标
- 记录两次多端排查问题的过程
- IE让我首次遭受了社会的毒打
- 带团队后的日常思考(九)
- 从几次事故引起的对项目质量保障的思考