SVA内嵌了三个检测边沿敏感信号的函数,可以很方便的监测从一个时钟周期到另一个时钟周期,信号的变化。
sequence s1;
@(posedge clk) $rose(fish);
endsequence
序列s1检查,在每一个时钟上升沿,信号fish都要跳变为高电平,即1,才返回真,断言成功,否则,断言失败。
注意:
sequence s2;
@ (posedge clk) $fell(fish);
endsequence
序列s2检查,在每一个时钟上升沿,信号fish都要跳变为低电平,即0,才返回真,断言成功,否则,断言失败。
sequence s3;
@ (posedge clk) $stable (fish);
endsequence
序列s3检查,在每一个时钟上升沿,信号fish保持不变,才返回真,断言成功,否则,断言失败.
好了,今天的学习分享就到这里了,个人愚见,希望对你的学习有一点帮助,如有错误也欢迎批评指正。持续更新,欢迎关注。觉得有帮助的朋友,希望能够点个赞鼓励一下!!你的每个鼓励都是我持续创作的动力!