anchor.diff:      interface AxiethbufferPause     pause;
       interface AxiethbufferPcspma     pcspma;
       interface AxiethbufferPhy     phy;
  -    method Reset     reset2pcspma();
  -    method Reset     reset2temacn();
  +    method Bit#(1) reset2pcspma();
  +    method Bit#(1) reset2temacn();
       interface AxiethbufferRx     rx;
       interface AxiethbufferS_axi_2temac     s_axi_2temac;
       interface AxiethbufferS_axi     s_axi;
  
positive.code:     interface AxiethbufferPhy     phy;
          output_reset rst_n(PHY_RST_N);
      endinterface
      output_reset reset2pcspma(RESET2PCSPMA);
      output_reset reset2temacn(RESET2TEMACn);
      interface AxiethbufferRx     rx;
          method axis_mac_tdata(rx_axis_mac_tdata) clocked_by (rx_mac_aclk) reset_by (rx_reset) enable((*inhigh*) EN_rx_axis_mac_tdata);
          method axis_mac_tlast(rx_axis_mac_tlast) clocked_by (rx_mac_aclk) reset_by (rx_reset) enable((*inhigh*) EN_rx_axis_mac_tlast);
          method axis_mac_tuser(rx_axis_mac_tuser) clocked_by (rx_mac_aclk) reset_by (rx_reset) enable((*inhigh*) EN_rx_axis_mac_tuser);
          method axis_mac_tvalid(rx_axis_mac_tvalid) clocked_by (rx_mac_aclk) reset_by (rx_reset) enable((*inhigh*) EN_rx_axis_mac_tvalid);
          method clk_enable_in(rx_CLK_ENABLE_IN) clocked_by (rx_mac_aclk) reset_by (rx_reset) enable((*inhigh*) EN_rx_CLK_ENABLE_IN);
          method statistics_valid(rx_statistics_valid) clocked_by (rx_mac_aclk) reset_by (rx_reset) enable((*inhigh*) EN_rx_statistics_valid);
          method statistics_vector(rx_statistics_vector) clocked_by (rx_mac_aclk) reset_by (rx_reset) enable((*inhigh*) EN_rx_statistics_vector);
      endinterface
  
negative.code: import DefaultValue::*;
  import XilinxCells::*;
  import GetPut::*;
  import Vector::*;
  import AxiBits::*;
  import AxiStream::*;
  
  interface AxiEthBufferClocks;
     interface Clock axi_str_rxd_aclk;
  