In reply to dave_59:
Hi Dave
Thanks for the input. You are right… it was a PSL assertion, just double checked!
Just out of curiosity, in SVA does this assertion:
property (@posedge clk) disable iff (reset)
always request |=> s_eventually grant
endproperty
mean that at every clock we are starting a new thread checking if request is high forever and whose aftermath is that the consequent will never be evaluated? is that correct?
Additionally, is that the reason you told that this SVA assertion is meaningless?
Thanks for the help