关于时序关系的序列疑惑和分析

ic_xiaosuan · 发表于 2022-7-15 16:41:56

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

本帖最后由 ic_xiaosuan 于 2022-7-24 19:21 编辑

断言应用指南中的时序关系的序列，里面的例子是

文中的解释是

这里的疑惑是如果b在两个时钟后是1，但是a变成了0
这时是否算成功呢？
由此我写了如下两个a、b的时序进行比较

可以看出时序是这样的a为一序列开始，两个周期后b为1，a为1才算成功，而不单单是b为1就能成功。
如果有更多疑惑，欢迎留言讨论！-------------------分割线--------------------------
感谢4楼12楼的建议，特此做出补充和修改，波形上的绿色代表的是a检测成功 ##2 b也检测成功，而*号代表了多种状态。
而序列中我加入了assert success便能看到序列确实在a=1 ##2，b等于1这时不论a=1或者0，都会有success的logo。

gaurson · 发表于 2022-7-16 18:01:20

你的意思是，2个周期以后同一个时钟上升沿，要a=1和b=1才能断言成功？我理解是第一个时钟上升沿a=1，2个时钟周期过后b=1就是断言成功了。看你的波形好像没有断言的特性一直没有提示？

ic_xiaosuan · 发表于 2022-7-22 09:03:49

本帖最后由 ic_xiaosuan 于 2022-7-22 09:08 编辑

gaurson 发表于 2022-7-16 18:01
你的意思是，2个周期以后同一个时钟上升沿，要a=1和b=1才能断言成功？我理解是第一个时钟上升沿a=1，2个时 ...

我从波形图上看却是如此，你指的断言特性是什么，你可以在你的试验环境中测试一下，如果有问题欢迎探讨
正如波形上显示的，我第一个序列断言成功了，图上有绿色的小箭头，而二个序列就是你说a=1，两个时钟后a=0，b=1，断言没有显示成功，我依据波形图推断的

anpengfei · 发表于 2022-7-22 10:06:00

你这个波形没看到有a=1, ##2 a=0, b=1而fail啊
你可以看下IEEE Figure 16-2，##2后只需要b=1，不需要a=1

ic_xiaosuan · 发表于 2022-7-22 11:08:32

anpengfei 发表于 2022-7-22 10:06
你这个波形没看到有a=1, ##2 a=0, b=1而fail啊
你可以看下IEEE Figure 16-2，##2后只需要b=1，不需要a=1 ...

此处我认为已经是a =1 且 2个时钟后 a=0.b=1了
我目前在找这个2018的标准但是未能找到明确说明的章节，若朋友有找到，麻烦说下明确的章节和地方

anpengfei · 发表于 2022-7-22 12:12:36

本帖最后由 anpengfei 于 2022-7-22 12:14 编辑

ic_xiaosuan 发表于 2022-7-22 11:08
此处我认为已经是a =1 且 2个时钟后 a=0.b=1了
我目前在找这个2018的标准但是未能找到明确说明的章节， ...

我了解的是：标注成功/失败应该是序列开始时刻啊，t1 成功的话t2时刻应该b=1，但是波形显然不是
还有t0, t3也应该是序列开始时刻，但是波形显示没有标注
我懵逼了，看不太懂……能否看下你怎么给的激励
IEEE手册：Chapter 16.7

没有的话链接：
最新IEEE SystemVerilog 1800-2012 语法参考手册
https://bbs.eetop.cn/thread-387263-1-1.html
(出处: EETOP 创芯网论坛 (原名：电子顶级开发网))