anchor.diff:     endinterface
      interface MemReadServer read_server;
         interface Put readReq;
  -         method Action put(MemRequest#(40) req) if (writeDwCount == 0 && !writeDataMimo.deqReadyN(1));
  +         method Action put(MemRequest#(40) req) if (!writeInProgress && !writeDataMimo.deqReadyN(1));
   	      let burstLen = req.burstLen >> beat_shift;
   	      let addr = req.addr;
   	      let arid = req.tag;
  
positive.code: 	 v = writeDataMimo.first();
  	 writeDataMimo.deq(unpack(truncate(writeDwCount)));
  	 writeDwCount <= 0;
  	 doneTag.enq(writeTag.first());
  	 writeTag.deq();
  	 $display("writeDwCount=%d will be zero", writeDwCount);
  
negative.code: 	  return 0;
      endfunction
  
     rule writeHeaderTlp if (!writeInProgress);
        let tlp = tlpWriteHeaderFifo.first;
  
        TLPMemory4DWHeader hdr_4dw = unpack(tlp.data);
  