In reply to syed taahir ahmed:
Add a variable “bit busy;”
Upon a successful req, call a function to set busy=1. At the conclusion of the assertion, pass or fail, reset the busy.
Write a 2nd assertion “not (req && busy);”
Given those guidelines, write the assertion.
Ben systemverilog.us