Assertion on req and gnt signals

In reply to VE:

That depends upon your requirements.
The assertions express that requirement.
Whar does your spec say?
Interesting that the assertion brought up the point of a possible weak set of requirements.
Ben systemverilog.us