anchor.diff:      method Bit#(data_width)   o();
       method Bit#(data_width)   t();
   endinterface
  +interface Can;
  +    method Action             phy_rx(Bit#(1) v);
  +    method Bit#(1)            phy_tx();
  +endinterface
  +interface Core;
  +    method Action             n_fiq(Bit#(1) v);
  +    method Action             n_irq(Bit#(1) v);
  +endinterface
   interface Ddr#(numeric type dm_width, numeric type dq_width, numeric type dqs_width);
       method Action             arb(Bit#(4) v);
       method Bit#(15)           addr();
  
positive.code: //    parameter C_TRACE_BUFFER_CLOCK_DELAY = 0;
  //    parameter C_TRACE_BUFFER_FIFO_SIZE = 0;
  //    parameter C_USE_DEFAULT_ACP_USER_VAL = 0;
      //interface can;
      //method phy_rx(PHY_RX)  enable((*inhigh*) en26);
      //method   PHY_TX phy_tx();
      //endinterface
      //interface core;
      //endinterface
      //interface ddr;
      //interface Ddr#(10,1,1)    ddr;
      interface Ddr    ddr;
      method arb(ARB)  enable((*inhigh*) en25);
      method DDR_ADDR     addr();
  
negative.code:     //interface m_axi_gp1;
      //endinterface
      method pjtag_tck(PJTAG_TCK)  enable((*inhigh*) en08);
      interface Bidir       pjtag_td;
          method i(PJTAG_TD_CMD_I) enable((*inhigh*) en175);
          method PJTAG_TD_CMD_O o();
          method PJTAG_TD_CMD_T t();
      endinterface
      method pjtag_tms(PJTAG_TMS)  enable((*inhigh*) en07);
      method ps_clk(PS_CLK)  enable((*inhigh*) en06);
      method ps_porb(PS_PORB)  enable((*inhigh*) en05);
      method ps_srstb(PS_SRTSB)  enable((*inhigh*) en04);
      interface Sdio sdio0;
      method SDIO0_BUSPOW buspow();
      method SDIO0_BUSVOLT busvolt();
      method cdn(SDIO0_CDN) enable((*inhigh*) en141);
      method SDIO0_CLK clk();
      method clk_fb(SDIO0_CLK_FB) enable((*inhigh*) en142);
      interface Bidir       cmd;
          method i(SDIO0_CMD_I) enable((*inhigh*) en176);
          method SDIO0_CMD_O o();
          method SDIO0_CMD_T t();
      endinterface
      interface Bidir       data;
          method i(SDIO0_DATA_I) enable((*inhigh*) en177);
          method SDIO0_DATA_O o();
          method SDIO0_DATA_T t();
      endinterface
      method SDIO0_LED led();
      method wp(SDIO0_WP) enable((*inhigh*) en143);
      endinterface
      interface Sdio sdio1;
      method SDIO1_BUSPOW buspow();
      method SDIO1_BUSVOLT busvolt();
      method cdn(SDIO1_CDN) enable((*inhigh*) en144);
      method SDIO1_CLK clk();
      method clk_fb(SDIO1_CLK_FB) enable((*inhigh*) en145);
      interface Bidir       cmd;
          method i(SDIO1_CMD_I) enable((*inhigh*) en178);
          method SDIO1_CMD_O o();
          method SDIO1_CMD_T t();
      endinterface
      interface Bidir       data;
          method i(SDIO1_DATA_I) enable((*inhigh*) en179);
          method SDIO1_DATA_O o();
          method SDIO1_DATA_T t();
      endinterface
      method SDIO1_LED led();
      method wp(SDIO1_WP) enable((*inhigh*) en146);
      endinterface
      interface Spi spi0;
      interface Bidir       miso;
          method i(SPI0_MISO_I) enable((*inhigh*) en180);
          method SPI0_MISO_O o();
          method SPI0_MISO_T t();
      endinterface
      interface Bidir       mosi;
          method i(SPI0_MOSI_I) enable((*inhigh*) en181);
          method SPI0_MOSI_O o();
          method SPI0_MOSI_T t();
      endinterface
      interface Bidir       sclk;
          method i(SPI0_SCLK_I) enable((*inhigh*) en182);
          method SPI0_SCLK_O o();
          method SPI0_SCLK_T t();
      endinterface
      method SPI0_SS1_O ss1_o();
      method SPI0_SS2_O ss2_o();
      interface Bidir       ss;
          method i(SPI0_SS_I) enable((*inhigh*) en183);
          method SPI0_SS_O o();
          method SPI0_SS_T t();
      endinterface
      endinterface
      interface Spi spi1;
      interface Bidir       miso;
          method i(SPI1_MISO_I) enable((*inhigh*) en184);
          method SPI1_MISO_O o();
          method SPI1_MISO_T t();
      endinterface
      interface Bidir       mosi;
          method i(SPI1_MOSI_I) enable((*inhigh*) en185);
          method SPI1_MOSI_O o();
          method SPI1_MOSI_T t();
      endinterface
      interface Bidir       sclk;
          method i(SPI1_SCLK_I) enable((*inhigh*) en186);
          method SPI1_SCLK_O o();
          method SPI1_SCLK_T t();
      endinterface
      method SPI1_SS1_O ss1_o();
      method SPI1_SS2_O ss2_o();
      interface Bidir       ss;
          method i(SPI1_SS_I) enable((*inhigh*) en187);
          method SPI1_SS_O o();
          method SPI1_SS_T t();
      endinterface
      endinterface
      method sram_intin(SRAM_INTIN)  enable((*inhigh*) en03);
      method trace_clk(TRACE_CLK)  enable((*inhigh*) en02);
      method   TRACE_CTL trace_ctl();
      method   TRACE_DATA trace_data();
      interface Ttc ttc0;
      method clk0_in(TTC0_CLK0_IN) enable((*inhigh*) en147);
      method clk1_in(TTC0_CLK1_IN) enable((*inhigh*) en148);
      method clk2_in(TTC0_CLK2_IN) enable((*inhigh*) en149);
      method TTC0_WAVE0_OUT wave0_out();
      method TTC0_WAVE1_OUT wave1_out();
      method TTC0_WAVE2_OUT wave2_out();
      endinterface
      interface Ttc ttc1;
      method clk0_in(TTC1_CLK0_IN) enable((*inhigh*) en150);
      method clk1_in(TTC1_CLK1_IN) enable((*inhigh*) en151);
      method clk2_in(TTC1_CLK2_IN) enable((*inhigh*) en152);
      method TTC1_WAVE0_OUT wave0_out();
      method TTC1_WAVE1_OUT wave1_out();
      method TTC1_WAVE2_OUT wave2_out();
      endinterface
      interface Uart uart0;
      method ctsn(UART0_CTSN) enable((*inhigh*) en153);
      method dcdn(UART0_DCDN) enable((*inhigh*) en154);
      method dsrn(UART0_DSRN) enable((*inhigh*) en155);
      method UART0_DTRN dtrn();
      method rin(UART0_RIN) enable((*inhigh*) en156);
      method UART0_RTSN rtsn();
      method rx(UART0_RX) enable((*inhigh*) en157);
      method UART0_TX tx();
      endinterface
      interface Uart uart1;
      method ctsn(UART1_CTSN) enable((*inhigh*) en158);
      method dcdn(UART1_DCDN) enable((*inhigh*) en159);
      method dsrn(UART1_DSRN) enable((*inhigh*) en160);
      method UART1_DTRN dtrn();
      method rin(UART1_RIN) enable((*inhigh*) en161);
      method UART1_RTSN rtsn();
      method rx(UART1_RX) enable((*inhigh*) en162);
      method UART1_TX tx();
      endinterface
      interface Usb usb0;
          method vbus_pwrfault(VBUS_PWRFAULT) enable((*inhigh*) en00);
          method VBUS_PWRSELECT vbus_pwrselect();
          method PORT_INDCTL port_indctl();
      endinterface
      interface Usb usb1;
          method vbus_pwrfault(VBUS_PWRFAULT1) enable((*inhigh*) en99);
          method VBUS_PWRSELECT1 vbus_pwrselect();
          method PORT_INDCTL1 port_indctl();
      endinterface
      method wdt_clk_in(WDT_CLK_IN)  enable((*inhigh*) en01);
      method WDT_RST_OUT wdt_rst_out();
      //schedule (datain, idatain, inc, ce) CF (datain, idatain, inc, ce);
  