anchor.diff:        tlp.sof = False;
         Vector#(4, Bit#(32)) v = unpack(0);
         Bool sendit = False;
  +      // The MIMO implicit guard only checks for availability of 1 element
  +      // so we explicitly check for the number of elements required
         if (writeDwCount > 4 && writeDataMimo.deqReadyN(4)) begin
   	 v = writeDataMimo.first();
   
  
positive.code: 	    end
  	 endfunction
  	 vec = genWith(f);
  	 //$display($format(fshow("completionMimo.enq vec=")+fshow(vec)));
  	 if (completionMimo.enqReadyN(fromInteger(count))
  	    && completionTagMimo.enqReadyN(fromInteger(count)))
  	    begin
  
negative.code:       end
        else begin
  	 // wait for more data in writeDataMimo
  	 $display("waiting for more data dwCount=%d count=%d writeBurstCount=%d enqReady=%d",
  	    writeDwCount, writeDataMimo.count(), writeBurstCount, writeDataMimo.enqReadyN(fromInteger(valueOf(busWidthWords))));
        end
        if (sendit) begin
  	 for (Integer i = 0; i < 4; i = i + 1)
  