FIFOs are among the most commonly used design components inside an RTL. Verifying a FIFO requires using the same approach almost all the time. We can see a pattern in how we verify its functionality. Ovidiu, one of my colleagues, has compiled a list of the most common functional coverage aspects we need to think of when dealing with FIFOs: Functional Coverage Patterns – FIFO
Working with registers in e-language requires several steps you need to do. Here is a summary of these steps in order to setup vr_ad (the e-language register model): How to Startup vr_ad e Library