Verification of ASYNCHRONOUS FIFO

In reply to MLearner:

There are more questions to answer. Considering your port list only 1 agent is needed. And I believe your FIFO is not able to do an read and a write at the same time. It has to happen exclusively.

In reply to chr_sue:

Hi chr_sue,

In case if the FIFO design supports simultaneous reads and writes. Does having one agent work? We can use fork join_non in the driver to drive rd pins and wr pins in i/f simultaneously but was wondering what is the best way to code an agent. I have two transaction items one for reads and one for writes but a single interface.

How do we implement the scoreboard. We have two txn types sen to SB via analysis port. then we maintain a local queue and do a comparison? I was trying to use the analysis FIFO as a structure to replicate the FIFO design on the tb side.

Thanks!