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