关于断言的一些问题

suosuo0624 · 发表于 2021-11-12 17:40:33

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

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

x

　　sequence s11a;
            @(posedge clk)  (a && b) ##1 c;
   endsequence
　　sequence s11b;
            @(posedge clk)  ##2 !d;
   endsequence
　　property p11;
   s11a |-> s11b；
　　endproperty
a11: assert property (p11);

s11b中@（posedge clk）去掉之后和之前的有啥区别，求各位大佬指点一下？

suosuo0624 · 发表于 2021-11-12 17:41:37

自己顶一下，希望大佬看到

suosuo0624 · 发表于 2021-11-12 17:53:59

本帖最后由 suosuo0624 于 2021-11-12 17:55 编辑

　　sequence s11a;                         @(posedge clk)  (a && b) ##1 c;
   endsequence 　　
   sequence s11b;
         ##2 !d;
   endsequence 　　
   property p11;
   s11a ||-> s11b；　　
   endproperty

   a11: assert property (p11);

ppeezz · 发表于 2021-11-12 19:52:14

从你这个case的情况下，去掉和留着效果应该是一样的。
但是s11b这个sequence会依赖于它在property中的clock。

[求助] 关于断言的一些问题

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

站长推荐 /2