SVA断言
不二鱼技术分鱼
这个作者很懒,什么都没留下…
展开
-
[SVA学习]03. 断言“三步法”
并发断言有几个关键字,sequence,property以及assert,也可归结为写一个断言的三步。原创 2022-10-28 08:57:57 · 610 阅读 · 1 评论 -
【SVA学习】02. 并发断言和即时断言
SVA中定义了两种断言,即并发断言和即时断言。原创 2022-10-12 09:30:08 · 1628 阅读 · 0 评论 -
【SVA学习】01. 什么是断言(SVA)?
系统学习SVA断言原创 2022-10-11 09:31:46 · 942 阅读 · 0 评论 -
【SVA学习】-蕴含
蕴含(Implication):等效于一个if—then结构,蕴含的左边叫做“先行算子”,右边叫做“后续算子”,先行算子是约束条件,当先行算子成功时后续算子才会被计算,如果先行算子不成功,那么整个属性就默认为成功,叫做“空成功”,蕴含结构只能在属性(property)定义中,不能在序列(sequence)中使用1. 交叠蕴含,符号“|->”,表示如果先行算子匹配,在同一个时钟周期计算后续算子表达式。property p1; @(posedge clk) a |-> b;原创 2022-03-18 08:34:49 · 1330 阅读 · 0 评论