anchor.diff:      method Action      wvalid(Bit#(1) v);
   endinterface
   (* always_ready, always_enabled *)
  -interface AxiethbviSgmii;
  -    method Action      rxn(Bit#(1) v);
  -    method Action      rxp(Bit#(1) v);
  -    method Bit#(1)     txn();
  -    method Bit#(1)     txp();
  +interface AxiethbviSfp;
  +     method Action      rxn(Bit#(1) v);
  +     method Action      rxp(Bit#(1) v);
  +     method Bit#(1)     txn();
  +     method Bit#(1)     txp();
   endinterface
   (* always_ready, always_enabled *)
   interface AxiethbviSignal;
  
positive.code:     interface AxiethbviMac     mac;
          method mac_irq irq();
      endinterface
      interface AxiethbviMdio     mdio;
          method mdio_mdc mdc();
          method mdio_i(mdio_mdio_i) enable((*inhigh*) EN_mdio_mdio_i);
          method mdio_mdio_o mdio_o();
          method mdio_mdio_t mdio_t();
      endinterface
      interface AxiethbviMgt     mgt;
          method clk_clk_n(mgt_clk_clk_n) enable((*inhigh*) EN_mgt_clk_clk_n);
          method clk_clk_p(mgt_clk_clk_p) enable((*inhigh*) EN_mgt_clk_clk_p);
      endinterface
      interface AxiethbviMmcm     mmcm;
          method mmcm_locked_out locked_out();
      endinterface
      interface AxiethbviPhy     phy;
          method phy_rst_n rst_n();
      endinterface
      interface AxiethbviPma     pma;
          method pma_reset_out reset_out();
  
negative.code:         method s_axis_txd_tready tready() reset_by (s_axis_txd_reset);
          method tvalid(s_axis_txd_tvalid) enable((*inhigh*) EN_s_axis_txd_tvalid) reset_by (s_axis_txd_reset);
      endinterface
      interface AxiethbviSfp     sfp;
          method rxn(sfp_rxn) enable((*inhigh*) EN_sfp_rxn);
          method rxp(sfp_rxp) enable((*inhigh*) EN_sfp_rxp);
          method sfp_txn txn();
          method sfp_txp txp();
       endinterface
      interface AxiethbviSignal     signal;
          method detect(signal_detect) enable((*inhigh*) EN_signal_detect);
      endinterface
  