anchor.diff:      method Action GPIO_I(Bit#(C_EMIO_GPIO_WIDTH) v);
       method Bit#(C_EMIO_GPIO_WIDTH) GPIO_O();
       method Bit#(C_EMIO_GPIO_WIDTH) GPIO_T();
  -    method Action I2C0_SCL_I(Bit#(1) v);
  -    method Bit#(1) I2C0_SCL_O();
  -    method Bit#(1) I2C0_SCL_T();
  -    method Action I2C0_SDA_I(Bit#(1) v);
  -    method Bit#(1) I2C0_SDA_O();
  -    method Bit#(1) I2C0_SDA_T();
  -    method Action I2C1_SCL_I(Bit#(1) v);
  -    method Bit#(1) I2C1_SCL_O();
  -    method Bit#(1) I2C1_SCL_T();
  -    method Action I2C1_SDA_I(Bit#(1) v);
  -    method Bit#(1) I2C1_SDA_O();
  -    method Bit#(1) I2C1_SDA_T();
  +    interface I2c I2C0;
  +    interface I2c I2C1;
       method Action IRQ_F2P(Bit#(16) v);
       method Bit#(1) IRQ_P2F_CAN0();
       method Bit#(1) IRQ_P2F_CAN1();
  
positive.code:     method Bit#(1) ENET0_PTP_SYNC_FRAME_TX();
      method Bit#(1) ENET0_SOF_RX();
      method Bit#(1) ENET0_SOF_TX();
      method Action ENET1_EXT_INTIN(Bit#(1) v);
      method Action ENET1_GMII_COL(Bit#(1) v);
      method Action ENET1_GMII_CRS(Bit#(1) v);
      method Action ENET1_GMII_RXD(Bit#(8) v);
      method Action ENET1_GMII_RX_CLK(Bit#(1) v);
      method Action ENET1_GMII_RX_DV(Bit#(1) v);
      method Action ENET1_GMII_RX_ER(Bit#(1) v);
      method Bit#(8) ENET1_GMII_TXD();
      method Action ENET1_GMII_TX_CLK(Bit#(1) v);
      method Bit#(1) ENET1_GMII_TX_EN();
      method Bit#(1) ENET1_GMII_TX_ER();
      method Action ENET1_MDIO_I(Bit#(1) v);
      method Bit#(1) ENET1_MDIO_MDC();
      method Bit#(1) ENET1_MDIO_O();
      method Bit#(1) ENET1_MDIO_T();
      method Bit#(1) ENET1_PTP_DELAY_REQ_RX();
      method Bit#(1) ENET1_PTP_DELAY_REQ_TX();
      method Bit#(1) ENET1_PTP_PDELAY_REQ_RX();
      method Bit#(1) ENET1_PTP_PDELAY_REQ_TX();
      method Bit#(1) ENET1_PTP_PDELAY_RESP_RX();
      method Bit#(1) ENET1_PTP_PDELAY_RESP_TX();
      method Bit#(1) ENET1_PTP_SYNC_FRAME_RX();
      method Bit#(1) ENET1_PTP_SYNC_FRAME_TX();
      method Bit#(1) ENET1_SOF_RX();
      method Bit#(1) ENET1_SOF_TX();
      method Action EVENT_EVENTI(Bit#(1) v);
      method Bit#(1) EVENT_EVENTO();
      method Bit#(2) EVENT_STANDBYWFE();
  
negative.code:     method Action PS_CLK(Bit#(1) v);
      method Action PS_PORB(Bit#(1) v);
      method Action PS_SRSTB(Bit#(1) v);
      interface Sdio SDIO0;
      interface Sdio SDIO1;
      interface Spi SPI0;
      interface Spi SPI1;
      method Action SRAM_INTIN(Bit#(1) v);
      method Action TRACE_CLK(Bit#(1) v);
      method Bit#(1) TRACE_CTL();
      method Bit#(32) TRACE_DATA();
      interface Ttc TTC0;
      interface Ttc TTC1;
      interface Uart UART0;
      interface Uart UART1;
      interface Usb USB0;
      interface Usb USB1;
      method Action WDT_CLK_IN(Bit#(1) v);
      method Bit#(1) WDT_RST_OUT();
  
     schedule (datain, idatain, inc, ce) CF (datain, idatain, inc, ce);
  endmodule
  