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 Bit#(1) aresetn(); return 1; endmethod
  	   method Bit#(tagWidth)     arid(); return 0; endmethod
  	   method arlen = m.arlen;
  	 //method arlock = m.arlock;
  	   method arprot = m.arprot;
  	 //method arqos = m.arqos;
  	   method arready = m.arready;
  	   method arsize = m.arsize;
  	   method arvalid = m.arvalid;
  
negative.code:       method Bit#(1) aresetn(); return 0; 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;
  