Always property in assertions

In reply to nipradee:

Yes, it’ meaningless in that it can never pass. If request rose on the 10th clock cycle and simulation ended just before the 100th clock cycle, you would get 90 failures. But also meaningless in that even if you removed the ‘always’, it would mean only one grant is needed for any number of requests.