anchor.diff:  	Probe#(Bit#(1)) bNE <- mkProbe();
   	Probe#(Bit#(1)) arInFlightNF <- mkProbe();
   	Probe#(Bit#(1)) arInFlightNE <- mkProbe();
  -	Probe#(Bit#(1)) wtagNF <- mkProbe();
  -	Probe#(Bit#(1)) wtagNE <- mkProbe();
  +	Probe#(Bit#(1)) awInFlightNF <- mkProbe();
  +	Probe#(Bit#(1)) awInFlightNE <- mkProbe();
   
   	rule probe_val;
   		arNF <= pack(arfifo.notFull());
  
positive.code: 	 axiSlave.awsize(axireq.size);
  	 axiSlave.awlen(axireq.len);
  	 axiSlave.awburst(2'b01);     // burst: INCR
  	 axiSlave.awcache(4'b0011);   //FIXME
  	 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);
        endrule
        rule rl_wvalid;
  	 axiSlave.wvalid(pack(wfifo.notEmpty));
  
negative.code:       FIFOF#(MemData#(DataBusWidth)) wfifo <- mkAxiFifoF();
        FIFOF#(Bit#(MemTagSize)) bfifo <- mkAxiFifoF();
  
        FIFOF#(Bool) arInFlight <- mkSizedFIFOF(valueOf(TExp#(MemTagSize)));
        FIFOF#(Bool) awInFlight <- mkSizedFIFOF(valueOf(TExp#(MemTagSize)));
  
  	Probe#(Bit#(1)) arNF <- mkProbe();
  	Probe#(Bit#(1)) arNE <- mkProbe();
  