A grant must at some time have been preceded by a request

[ashokmehta72]

In reply to ben@SystemVerilog.us:

Thanks, Ben. So, it seems one has to develop ‘satellite’ supporting code to augment the assertion. I understand.