anchor.diff:  import AxiStream::*;
   
   (* always_ready, always_enabled *)
  -interface AxidmabviAxi;
  -    method Bit#(32)     dma_tstvec();
  -    method Action      resetn(Bit#(1) v);
  +interface AxidmabviAxiDma;
  +    method Bit#(32)     tstvec();
   endinterface
   (* always_ready, always_enabled *)
   interface AxidmabviM_axi_mm2s;
  
positive.code:       method araddr = m.araddr;
  	   method arburst = m.arburst;
  	   method arcache = m.arcache;
  	 //method aresetn = no_reset;
  	   method Bit#(tagWidth)     arid(); return 0; endmethod
  	   method arlen = m.arlen;
  	 //method arlock = m.arlock;
  
negative.code:     method araddr = m.araddr;
        method arburst = m.arburst;
        method arcache = m.arcache;
        method Bit#(1) aresetn(); return 0; endmethod
        method Bit#(tagWidth)     arid(); return 0; endmethod
        method arlen = m.arlen;
        //method arlock = m.arlock;
  