I am now trying to learn the fundamentals of functional coverage and constrained-random generation of stimuli present at OSVVM. In order to do that I am running the FIFO example which can be downloaded in the web.
As long as I understand, there is no verification of the fact that the written data in the FIFO is the same that the one we later read back. Should there be any kind of assertion to check this or I am missing anything which makes that fact irrelevant for the verification?