In reply to sruthikrapa:
If there is a clock for this particular check simple way to write this one.
property abcheck ;
@(posedge clk) a |-> a[->4] ##0 b ##1 a ##0 b;
endproperty
In reply to sruthikrapa:
If there is a clock for this particular check simple way to write this one.
property abcheck ;
@(posedge clk) a |-> a[->4] ##0 b ##1 a ##0 b;
endproperty