这两个assertion等价么

飞扬紫百合 · 发表于 2014-7-8 16:27:55

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

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

×

property p0;
@(posedge clk)
A ##2 B;
endproperty

property p1;
@(posedge clk)
A |-> ##2 B;
endproperty

p0和p1，我觉得是等价的，在写property时常用p1的写法。

不知道我理解的对不对？

hbhbts · 发表于 2014-7-8 18:57:44

不等价
建议看看蕴含的定义

tianch · 发表于 2014-7-10 17:05:37

不等价
第一个应该仅仅是assertion的触发

wei_wilson · 发表于 2018-6-7 13:53:24

p0和p1的根本区别在于：
p0：每个时钟的上升沿，都会触发assertion p0；
而p1是只有a为high level的时候才会触发assertion p1.

zqq624723237 · 发表于 2018-8-7 15:24:06

第一个仅仅是个sequence,第二个包含了因果的关系

diamondpp · 发表于 2018-8-13 23:08:09

回复 4# wei_wilson

p0和p1的根本区别在于：
p0：每个时钟的上升沿，都会触发assertion p0；
而p1是只有a为high level的时候才会触发assertion p1.

正解！

irina · 发表于 2018-8-16 15:45:18

回复 wei_wilson

正解！
diamondpp 发表于 2018-8-13 23:08

登录/注册后可看大图

是的！！！！！

lovehere33 · 发表于 2018-8-16 19:42:59

第一个在上升沿检查到A是低电平就是失败了，第二个不会。

Marlbe_Yang · 发表于 2018-8-18 13:22:01

不等价，|->相当于一个if的意思。

账号		自动登录	找回密码
密码			注册

[求助] 这两个assertion等价么

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

相关帖子

站长推荐 /1