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.