Jump to content

assertion with delay values from array

Recommended Posts


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.



Share this post

Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now