anchor.diff:         let v <- toGet(readReqFifo).get;
          rdata_t rdata  <- mem_read(mem_ptr, v);
          readDataFifo.enq(rdata);
  -       $display("%s %d: read data from %x with index %x = %x", name, cntr, mem_ptr, v, rdata);
  +       if (verbose) $display("%s %d: read data from %x with index %x = %x", name, cntr, mem_ptr, v, rdata);
       endrule
   
       rule do_write (isInitialized);
  
positive.code:        isInitialized <= True;
  
         if (valueOf(raddr_sz) > 64) begin
           $display("raddr_sz larger than 64 is not supported");
         end
      endrule
  
  
negative.code:         Add#(raddr_sz,offset_sz,waddr_sz),
          Bits#(Vector#(ratio, wdata_t), rdata_sz)
      );
      let verbose = False;
      FIFO#(Tuple2#(waddr_t, wdata_t)) writeReqFifo <- mkFIFO;
      FIFO#(raddr_t) readReqFifo <- mkFIFO;
      FIFO#(rdata_t) readDataFifo <- mkFIFO;
  