Hello Verification Academy Forum Desk,
My question is that, suppose we are given with a Memory Model, a Register Model and a FIFO. Now let me know how can we verify these 3 models.
Is it by creating Reference Model of these 3 or any other simple methods are there?
Regards,
Partha