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 AxiStreamMaster#(32)     m_axis_rxd;
      interface AxiStreamMaster#(32)     m_axis_rxs;
      interface AxiethbviMac     mac;
      interface AxiethbviMdio     mdio;
      interface AxiethbviMgt     mgt;
      interface AxiethbviMmcm     mmcm;
      interface AxiethbviPhy     phy;
      interface AxiethbviPma     pma;
      interface AxiethbviRef     reff;
      interface AxiethbviRxuserclk     rxuserclk2;
  
negative.code:     interface AxiethbviMac     mac;
          method mac_irq irq();
      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 AxiethbviPma     pma;
          method pma_reset_out reset_out();
  