In reply to verif_learner:
I do not know your application, but in most casess a reactive agent is reacting with a certain sequence on the request from the DUT.
How does your reaction look like?
In reply to verif_learner:
I do not know your application, but in most casess a reactive agent is reacting with a certain sequence on the request from the DUT.
How does your reaction look like?