anchor.diff:  
   interface AxiEthTestRequest;
      method Action reset();
  +   method Action setupDma(Bit#(32) memref);
      method Action read(Bit#(32) addr);
      method Action write(Bit#(32) addr, Bit#(32) value);
   endinterface
  
positive.code:    interface AxiEthTestRequest request;
        method Action reset();
        endmethod
        method Action read(Bit#(32) addr);
  	 memSlaveMux.read_server.readReq.put(PhysMemRequest { addr: truncate(addr), burstLen: 4, tag: 0 });
        endmethod
  
negative.code: 	 interface Reset deleteme_unused_reset = reset;
        endinterface
     endinterface
     interface Vector dmaReadClient = map(toMemReadClient(objId), vec(m_axi_mm2s, m_axi_sg));
     interface Vector dmaWriteClient = map(toMemWriteClient(objId), vec(m_axi_s2mm, m_axi_sg));
  endmodule
  