anchor.diff:         let writeAddr = tpl_1(v);
          let writeData = tpl_2(v);
          mem_write(mem_ptr, writeAddr, writeData);
  -       $display("%s %d: write data to %x with index %x = %x", name, cntr, mem_ptr, writeAddr, writeData);
  +       if (verbose) $display("%s %d: write data to %x with index %x = %x", name, cntr, mem_ptr, writeAddr, writeData);
       endrule
   
       rule do_init (!isInitialized);
  
positive.code:        isInitialized <= True;
  
         if (valueOf(raddr_sz) > 64) begin
           $display("raddr_sz larger than 64 is not supported");
         end
      endrule
  
  
negative.code:        let v <- toGet(readReqFifo).get;
         rdata_t rdata  <- mem_read(mem_ptr, v);
         readDataFifo.enq(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);
  