In reply to chr_sue:
Okay . Thanks you so much for your time. So my way of using the assertion is correct. Right ? I also wanted to ask you that in my code I am verifying for 1) write only
2) read only cases
Basically I am writing continuously for 10 times and then reading continuously . What if I want to do both the operations(wr/rd) simultaneously ? Do I need 2 agents ?