disable iff and ended construct

 disable iff  

In certain design conditions, we don't want to proceed with the check if some condition is true. this can be achieved by using disable iff.

Below property checks that, if the signal “a” is high on given posedge of clock, then signal “b” should be high for 3 clock cycles followed by “c” should be high after ”b” is high for third time. During this entire sequence, if reset is detected high at any point, the checker will stop.

property p;
  @(posedge clk)
  disable iff (reset) a |-> ##1 b[->3] ##1 c;
a: assert property(p);

Execute the above code on 


while concatenating the sequences, ending point of the sequence can used as a synchronization point.
This is expressed by attaching the keyword "ended" to a sequence name.

sequence seq_1;
 (a && b) ##1 c;

sequence seq_2;
  d ##[4:6] e;

property p;
  @(posedge clk) seq_1.ended |-> ##2 seq_2.ended;
a: assert property(p);

Above  property checks that, sequence seq_1 and SEQ_2 match with a delay of 2 clock cycle in between them. the end point of the sequences does the synchronization.