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.



Link to comment
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.

Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

  • Create New...