I would like to understand what kind of design this is to offer efficient comment/suggestion. On the face of it, the verification architecture/approach seems to be not well thought out. For e.g. if this is an image processing system, an offline UNIX diff is a far better choice.
My boss told me to use $readmemh, but it seems waste RAM.
Does Verilog 2001 support buffered read like in C? Where can I find the definition?