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

ic_xiaosuan

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

文中的解释是

这里的疑惑是  如果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

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

ic_xiaosuan

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

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

anpengfei

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

ic_xiaosuan

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

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 创芯网论坛 (原名：电子顶级开发网))

ic_xiaosuan

anpengfei 发表于 2022-7-22 12:12
我了解的是：标注成功/失败应该是序列开始时刻啊，t1 成功的话t2时刻应该b=1，但是波形显然不是
还有t0,  ...

这是激励
按照你说得 把断言成功当成序列判断的开始，我又做了个试验，以下是试验截图，

在你标注的T2点依然没有断言成功标志，你可以在你的环境里测试一下，然后附上截图

anpengfei

ic_xiaosuan 发表于 2022-7-22 13:55
这是激励
按照你说得 把断言成功当成序列判断的开始，我又做了个试验，以下是试验截图，

用你的代码
看报告75,175,325ns 三个序列开始时刻都success了，就是不晓得为啥没有绿箭头
所以序列开始##2时刻不用管a的值
我看的标准和sva书里也是如此

ic_xiaosuan

anpengfei 发表于 2022-7-22 16:08
用你的代码
看报告75,175,325ns 三个序列开始时刻都success了，就是不晓得为啥没有绿箭头
所以序列开始# ...

嗯嗯  你的logo里确实是这样的，我也调用了我的logo  发现全是fail  是我的环境有问题嘛  我用VCS的 波形用的verdi

ic_xiaosuan

anpengfei 发表于 2022-7-22 16:08
用你的代码
看报告75,175,325ns 三个序列开始时刻都success了，就是不晓得为啥没有绿箭头
所以序列开始# ...

附上我的logo