3_IC验证Systemverilog Assert
SVA
爱吃桃子的ICer
这个作者很懒,什么都没留下…
展开
-
[SVA]1_Assertion_implication符号
每一拍都会看前一个sequence满不满足。(1)assertion和property。(2)property和sequence。(3)基于断言的验证方法学(ABV)(4)implication操作符。(1)什么是assertion。(3)sequences概念。1.Assertion概述。2.assertion类型。(4)并行断言的执行阶段。(5)断言语言的发展。(6)非交叠交错符号。原创 2023-02-21 00:43:57 · 90 阅读 · 0 评论 -
[SVA]2_Sequence_操作符号
a ##1 b:仅表示时序,由于不含蕴含操作符,所有没有如果的含义(如果a=1下一拍b拉高)。6.first_match操作符号。4.sequence基本操作符号。(4)intersect操作符号。7.throughout操作符号。(3)and操作符号_特殊点。(2)and操作符号_示例。(6)or操作符号_示例。(7)and/or应用。(1)and操作符号。原创 2023-02-21 00:46:59 · 110 阅读 · 0 评论