关于断言的一些问题

suosuo0624

　　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

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

suosuo0624

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

      a11: assert property (p11);

ppeezz

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