anchor.diff:      interface AxiethbviUserclk     userclk;
   endinterface
   import "BVI" axi_ethernet_0 =
  -module mkAxiEthBvi#(Clock s_axi_clk, Reset s_axi_reset, Clock axis_clk)(AxiEthBvi);
  +module mkAxiEthBvi#(Clock s_axi_clk, Reset s_axi_reset, Clock axis_clk,
  +		    Reset m_axis_rxd_reset, Reset m_axis_rxs_reset,
  +		    Reset s_axis_txd_reset, Reset s_axis_txc_reset)(AxiEthBvi);
       default_clock clk();
       default_reset rst();
       input_clock (s_axi_lite_clk) = s_axi_clk;
       input_reset (s_axi_lite_resetn) = s_axi_reset;
       input_clock (axis_clk) = axis_clk;
  -    interface AxiethbviAxi     axi;
  -        method rxd_arstn(axi_rxd_arstn) enable((*inhigh*) EN_axi_rxd_arstn) clocked_by (axis_clk);
  -        method rxs_arstn(axi_rxs_arstn) enable((*inhigh*) EN_axi_rxs_arstn) clocked_by (axis_clk);
  -        method txc_arstn(axi_txc_arstn) enable((*inhigh*) EN_axi_txc_arstn) clocked_by (axis_clk);
  -        method txd_arstn(axi_txd_arstn) enable((*inhigh*) EN_axi_txd_arstn) clocked_by (axis_clk);
  -    endinterface
  +   input_reset (axi_rxd_arstn) = m_axis_rxd_reset;
  +   input_reset (axi_rxs_arstn) = m_axis_rxs_reset;
  +   input_reset (axi_txd_arstn) = s_axis_txd_reset;
  +   input_reset (axi_txc_arstn) = s_axis_txc_reset;
       interface AxiethbviGt     gt0;
           method gt0_qplloutclk_out qplloutclk_out();
           method gt0_qplloutrefclk_out qplloutrefclk_out();
  
positive.code:         method wvalid(s_axi_wvalid) enable((*inhigh*) EN_s_axi_wvalid) clocked_by (s_axi_clk) reset_by (s_axi_reset);
      endinterface
      interface AxiStreamSlave     s_axis_txc;
          method tdata(s_axis_txc_tdata) enable((*inhigh*) EN_s_axis_txc_tdata);
          method tkeep(s_axis_txc_tkeep) enable((*inhigh*) EN_s_axis_txc_tkeep);
          method tlast(s_axis_txc_tlast) enable((*inhigh*) EN_s_axis_txc_tlast);
          method s_axis_txc_tready tready();
          method tvalid(s_axis_txc_tvalid) enable((*inhigh*) EN_s_axis_txc_tvalid);
      endinterface
      interface AxiStreamSlave     s_axis_txd;
          method tdata(s_axis_txd_tdata) enable((*inhigh*) EN_s_axis_txd_tdata);
          method tkeep(s_axis_txd_tkeep) enable((*inhigh*) EN_s_axis_txd_tkeep);
          method tlast(s_axis_txd_tlast) enable((*inhigh*) EN_s_axis_txd_tlast);
          method s_axis_txd_tready tready();
          method tvalid(s_axis_txd_tvalid) enable((*inhigh*) EN_s_axis_txd_tvalid);
      endinterface
      interface AxiethbviSgmii     sgmii;
          method rxn(sgmii_rxn) enable((*inhigh*) EN_sgmii_rxn);
  
negative.code: endinterface
  (* always_ready, always_enabled *)
  interface AxiEthBvi;
      interface AxiethbviGt     gt0;
      interface AxiethbviGtref     gtref;
      method Bit#(1)     interrupt();
  