Assertion on req and gnt signals

SystemVerilog
,
7

In reply to ben@SystemVerilog.us:

Thanks Ben for the explanation.I think you there is a typo in the following : -

ap_reqack_unique: assert property(reqack_unique) 
     now_serving =now_serving+1; else now_serving =now_serving+1;

Both the matching and non matching expression is same —> now_serving =now_serving+1