anchor.diff:     interface Put resp_write;
         method Action put(Axi3WriteData#(_b,_c) wdata);
   	 ifcs[ws].resp_write.put(wdata);
  +	 req_aw_fifo.deq;
         endmethod
      endinterface
      interface Get resp_b;
  
positive.code: 	    wsv = fromInteger(valueOf(numInputs));
  	 ifcs[wsv].req_aw.put(req);
  	 ws <= wsv;
  	 if (wsv > 0)
  	    latchWriteInterval;
        endmethod
  
negative.code: 
  import Vector::*;
  import GetPut::*;
  import SpecialFIFOs::*;
  import FIFO::*;
  
  import AxiMasterSlave::*;
  import Portal::*;
  