In reply to ben@SystemVerilog.us:
Ben ,
I tried the following based on the 2nd link you shared :: Uniq_ack_for_Each_Request
However in the stimulus although I received 3 ack’s the assertion still fails
In reply to ben@SystemVerilog.us:
Ben ,
I tried the following based on the 2nd link you shared :: Uniq_ack_for_Each_Request
However in the stimulus although I received 3 ack’s the assertion still fails