anchor.diff:        tlp.sof = True;
         tlp.eof = True;
         tlp.hit = 7'h00;
  -      TLPLength tlplen = fromInteger(valueOf(busWidthWords))*burstLen;
  +      TLPLength tlplen = fromInteger(valueOf(busWidthWords))*extend(burstLen);
         if (addr[39:32] != 0) begin
   	 TLPMemory4DWHeader hdr_4dw = defaultValue;
   	 hdr_4dw.format = MEM_READ_4DW_NO_DATA;
  
positive.code:       tlp.eof = lastTlp;
        if (lastTlp) begin
  	 writeInProgress <= False;
  	 doneTag.enq(writeTag.first());
  	 writeTag.deq();
  	 $display("writeDwCount=%d will be zero", writeDwCount);
        end
  
        for (Integer i = 0; i < 4; i = i + 1)
  
negative.code: 	  return 0;
      endfunction
  
     Wire#(Bool) writeHeaderTlpWire <- mkDWire(False);
     Probe#(Bool) writeHeaderAvailableProbe <- mkProbe;
     Wire#(Bool) writeDataMimoEnqWire <- mkDWire(False);
     Probe#(Bool) writeDataMimoEnqProbe <- mkProbe;
     let    writeDataMimoCountProbe <- mkProbe;
     let writeDataMimoEnqReadyProbe <- mkProbe;
     Probe#(Bool) writeInProgressProbe <- mkProbe;
     Probe#(Bit#(10)) writeBurstCountProbe <- mkProbe;
     rule updateProbe0;
        writeDataMimoCountProbe    <= writeDataMimo.count();
        writeDataMimoEnqReadyProbe <= writeDataMimo.enqReadyN(fromInteger(valueOf(busWidthWords)));
     endrule
     rule updateProbe2;
        writeHeaderAvailableProbe <= writeHeaderTlpWire;
        writeDataMimoEnqProbe <= writeDataMimoEnqWire;
     endrule
  
     rule writeHeaderTlp if (!writeInProgress && (!writeIs3dwFifo.first || writeDataMimo.deqReadyN(1)));
        writeHeaderTlpWire <= True;
        let tlp <- toGet(tlpWriteHeaderFifo).get();
        let dwCount <- toGet(writeDwCountFifo).get();
        let is3dw <- toGet(writeIs3dwFifo).get();
  