In reply to Maitri@07:
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
- 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 ?
The driver object in the interface where you are implementing the assertions makes your life complicated. I’d avoid such a combination, adding simply an additional signal count to the fifo_interface and assigning this in the driver object.
But the best solution would be to have all your properties/assertions in a seperate ‘assertion module’ you can connect to your testbenc or DUT using the bind construct.
WRT to your question about the numbers of agents. I assume your DUT is not able to write and to read at exactly the same time. What you are cuttently doing is running WR and RD in parallel using a fork/join. But this selects always 1 operation followed by the next one.