anchor.diff:  	 axiSlave.awsize(axireq.size);
   	 axiSlave.awlen(axireq.len);
   	 axiSlave.awburst(2'b01);     // burst: INCR
  -	 axiSlave.awcache(4'b0011);   //FIXME
  +	 axiSlave.awcache(4'b0011);   // FIXME: 0011? 1111?
   	 axiSlave.awlock(2'b0);       // normal access 
   	 axiSlave.awprot(3'b0);       // unprevileged, protedted, data access
   	 axiSlave.awqos(4'b0);        // unused - default 0
   	 axiSlave.extra.awuser(1'b0); // unused
  -	 wtagfifo.enq(req.tag);
  +	 awInFlight.enq(True);
         endrule
         rule rl_wvalid;
   	 axiSlave.wvalid(pack(wfifo.notEmpty));
  
positive.code:       FIFOF#(MemData#(DataBusWidth)) wfifo <- mkAxiFifoF();
        FIFOF#(Bit#(MemTagSize)) bfifo <- mkAxiFifoF();
  
        FIFOF#(Bit#(MemTagSize)) wtagfifo <- mkAxiFifoF();
  
        FIFOF#(Bool) arInFlight <- mkSizedFIFOF(valueOf(TExp#(MemTagSize)));
  
  	Probe#(Bit#(1)) arNF <- mkProbe();
  	Probe#(Bit#(1)) arNE <- mkProbe();
  
negative.code: 	Probe#(Bit#(1)) bNE <- mkProbe();
  	Probe#(Bit#(1)) arInFlightNF <- mkProbe();
  	Probe#(Bit#(1)) arInFlightNE <- mkProbe();
  	Probe#(Bit#(1)) awInFlightNF <- mkProbe();
  	Probe#(Bit#(1)) awInFlightNE <- mkProbe();
  
  	rule probe_val;
  		arNF <= pack(arfifo.notFull());
  