anchor.diff:        method bvalid = m.bvalid;
       method Action      rdata(Bit#(dataWidth) v); endmethod
       method Action      rlast(Bit#(1) v); endmethod
  +    method Action      rid(Bit#(tagWidth) tag); endmethod
       method Bit#(1)     rready(); return 0; endmethod
       method Action      rresp(Bit#(2) v); endmethod
       method Action      rvalid(Bit#(1) v); endmethod
  
positive.code:       method awcache = m.awcache;
        method Bit#(tagWidth)     awid(); return 0; endmethod
        method awlen = m.awlen;
        //method awlock = m.awlock;
        method awprot = m.awprot;
        //method awqos = m.awqos;
        method awready = m.awready;
        method awsize = m.awsize;
        method awvalid = m.awvalid;
  
negative.code: 	   method Bit#(1) aresetn(); return 1; endmethod
  	   method Bit#(tagWidth)     arid(); return 0; endmethod
  	   method arlen = m.arlen;
  	   method arlock = 0;
  	   method arprot = m.arprot;
  	   method arqos = 0;
  	   method arready = m.arready;
  	   method arsize = m.arsize;
  	   method arvalid = m.arvalid;
  