assertion with delay values from array

[qwerty]

Hi,

I want to add an assertion in which i have to check Op=IP after certain delay.

but the delay values comes from an array. Delay value can also be 0.

The below assertion is not failing when end_sig is asserted before the delay.

property var_delay;
 int v_cnt;

($rose(start_sig), v_cnt = var_del + 1'b1) |-> (((v_cnt > 0 && $stable(end_sig)), v_cnt = v_cnt - 1)[*0:$] ##1 ((end_sig==1) )) ;     

endproperty : var_delay

  as_var_delay : assert property (var_delay);

 

Any help is appreciated.