这两个assertion等价么
时间：10-02
整理：3721RD
点击：
property p0;
@(posedge clk)
A ##2 B;
endproperty
property p1;
@(posedge clk)
A |-> ##2 B;
endproperty
p0和p1，我觉得是等价的，在写property时常用p1的写法。
不知道我理解的对不对?
@(posedge clk)
A ##2 B;
endproperty
property p1;
@(posedge clk)
A |-> ##2 B;
endproperty
p0和p1，我觉得是等价的，在写property时常用p1的写法。
不知道我理解的对不对?
不等价
建议看看蕴含的定义
不等价
第一个应该仅仅是assertion的触发