qwerty Posted September 10, 2018 Report Share Posted September 10, 2018 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. Quote Link to comment Share on other sites More sharing options...
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.