anchor.diff:      method Bit#(1)            wdt_rst_out();
   endinterface
   
  -import "BVI" processing_system7 =
   module mkPS7#(int data_width, int id_width, int gpio_width, int mio_width)(PS7#(data_width, id_width, gpio_width, mio_width));
  -   default_clock clk(C);
  -   no_reset;
  -//    parameter USE_TRACE_DATA_EDGE_DETECTOR = 0;
  -//    parameter C_DM_WIDTH = 0;
  -//    parameter C_DQS_WIDTH = 0;
  -//    parameter C_DQ_WIDTH = 0;
  -//    parameter C_EMIO_GPIO_WIDTH = 0;
  -//    parameter C_EN_EMIO_ENET0 = 0;
  -//    parameter C_EN_EMIO_ENET1 = 0;
  -//    parameter C_EN_EMIO_TRACE = 0;
  -//    parameter C_FCLK_CLK0_BUF = 0;
  -//    parameter C_FCLK_CLK1_BUF = 0;
  -//    parameter C_FCLK_CLK2_BUF = 0;
  -//    parameter C_FCLK_CLK3_BUF = 0;
  -//    parameter C_INCLUDE_ACP_TRANS_CHECK = 0;
  -//    parameter C_INCLUDE_TRACE_BUFFER = 0;
  -//    parameter C_MIO_PRIMITIVE = 0;
  -//    parameter C_M_AXI_GP0_ENABLE_STATIC_REMAP = 0;
  -//    parameter C_M_AXI_GP0_ID_WIDTH = 0;
  -//    parameter C_M_AXI_GP0_THREAD_ID_WIDTH = 0;
  -//    parameter C_M_AXI_GP1_ENABLE_STATIC_REMAP = 0;
  -//    parameter C_M_AXI_GP1_ID_WIDTH = 0;
  -//    parameter C_M_AXI_GP1_THREAD_ID_WIDTH = 0;
  -    parameter C_NUM_F2P_INTR_INPUTS = 16;
  -//    parameter C_PACKAGE_NAME = 0;
  -//    parameter C_PS7_SI_REV = 0;
  -//    parameter C_S_AXI_ACP_ARUSER_VAL = 0;
  -//    parameter C_S_AXI_ACP_AWUSER_VAL = 0;
  -//    parameter C_S_AXI_ACP_ID_WIDTH = 0;
  -//    parameter C_S_AXI_GP0_ID_WIDTH = 0;
  -//    parameter C_S_AXI_GP1_ID_WIDTH = 0;
  -//    parameter C_S_AXI_HP0_DATA_WIDTH = 0;
  -//    parameter C_S_AXI_HP0_ID_WIDTH = 0;
  -//    parameter C_S_AXI_HP1_DATA_WIDTH = 0;
  -//    parameter C_S_AXI_HP1_ID_WIDTH = 0;
  -//    parameter C_S_AXI_HP2_DATA_WIDTH = 0;
  -//    parameter C_S_AXI_HP2_ID_WIDTH = 0;
  -//    parameter C_S_AXI_HP3_DATA_WIDTH = 0;
  -//    parameter C_S_AXI_HP3_ID_WIDTH = 0;
  -//    parameter C_TRACE_BUFFER_CLOCK_DELAY = 0;
  -//    parameter C_TRACE_BUFFER_FIFO_SIZE = 0;
  -//    parameter C_USE_DEFAULT_ACP_USER_VAL = 0;
  +    PPS7#(4, 4, 4, 32, 70, 12, 50)foo <- mkPPS7(4, 4, 4, 32, 70, 12, 50);
  +
       interface Can can0;
  -    method phy_rx(CAN0_PHY_RX)  enable((*inhigh*) en26);
  -    method CAN0_PHY_TX phy_tx();
  +    //method phy_rx(CAN0_PHY_RX) ;
  +    //method CAN0_PHY_TX phy_tx();
       endinterface
       interface Can can1;
  -    method phy_rx(CAN1_PHY_RX)  enable((*inhigh*) en26b);
  -    method CAN1_PHY_TX phy_tx();
  +    //method phy_rx(CAN1_PHY_RX) ;
  +    //method CAN1_PHY_TX phy_tx();
       endinterface
       interface Core core0;
  -    method n_fiq(CORE0_N_FIQ) enable((*inhigh*) en101);
  -    method n_irq(CORE0_N_IRQ) enable((*inhigh*) en102);
  +    //method n_fiq(CORE0_N_FIQ);
  +    //method n_irq(CORE0_N_IRQ);
       endinterface
       interface Core core1;
  -    method n_fiq(CORE1_N_FIQ) enable((*inhigh*) en103);
  -    method n_irq(CORE1_N_IRQ) enable((*inhigh*) en104);
  +    //method n_fiq(CORE1_N_FIQ);
  +    //method n_irq(CORE1_N_IRQ);
       endinterface
       interface Ddr    ddr;
  -    method arb(ARB)  enable((*inhigh*) en25);
  -    method DDR_ADDR     addr();
  -    method DDR_BANKADDR bankaddr();
  -    method DDR_CAS_N    cas_n();
  -    method DDR_CKE      cke();
  -    method DDR_CS_N     cs_n();
  -    method DDR_CLK      clk();
  -    method DDR_CLK_N    clk_n();
  -    method DDR_DM       dm();
  -    method DDR_DQ       dq();
  -    method DDR_DQS      dqs();
  -    method DDR_DQS_N    dqs_n();
  -    method DDR_DRSTB    drstb();
  -    method DDR_ODT      odt();
  -    method DDR_RAS_N    ras_n();
  -    method DDR_VRN      vrn();
  -    method DDR_VRP      vrp();
  -    method DDR_WEB      web();
  +    //method arb(ARB) ;
  +    //method DDR_ADDR     addr();
  +    //method DDR_BANKADDR bankaddr();
  +    //method DDR_CAS_N    cas_n();
  +    //method DDR_CKE      cke();
  +    //method DDR_CS_N     cs_n();
  +    //method DDR_CLK      clk();
  +    //method DDR_CLK_N    clk_n();
  +    //method DDR_DM       dm();
  +    //method DDR_DQ       dq();
  +    //method DDR_DQS      dqs();
  +    //method DDR_DQS_N    dqs_n();
  +    //method DDR_DRSTB    drstb();
  +    //method DDR_ODT      odt();
  +    //method DDR_RAS_N    ras_n();
  +    //method DDR_VRN      vrn();
  +    //method DDR_VRP      vrp();
  +    //method DDR_WEB      web();
       endinterface
       interface Dma dma0;
  -    method aclk(DMA0_ACLK) enable((*inhigh*) en105);
  -    method daready(DMA0_DAREADY) enable((*inhigh*) en106);
  -    method DMA0_DATYPE datype();
  -    method DMA0_DAVALID davalid();
  -    method drlast(DMA0_DRLAST) enable((*inhigh*) en107);
  -    method DMA0_DRREADY drready();
  -    method drtype(DMA0_DRTYPE) enable((*inhigh*) en108);
  -    method drvalid(DMA0_DRVALID) enable((*inhigh*) en109);
  -    method DMA0_RSTN rstn();
  +    //method aclk(DMA0_ACLK);
  +    //method daready(DMA0_DAREADY);
  +    //method DMA0_DATYPE datype();
  +    //method DMA0_DAVALID davalid();
  +    //method drlast(DMA0_DRLAST);
  +    //method DMA0_DRREADY drready();
  +    //method drtype(DMA0_DRTYPE);
  +    //method drvalid(DMA0_DRVALID);
  +    //method DMA0_RSTN rstn();
       endinterface
       interface Dma dma1;
  -    method aclk(DMA1_ACLK) enable((*inhigh*) en110);
  -    method daready(DMA1_DAREADY) enable((*inhigh*) en111);
  -    method DMA1_DATYPE datype();
  -    method DMA1_DAVALID davalid();
  -    method drlast(DMA1_DRLAST) enable((*inhigh*) en112);
  -    method DMA1_DRREADY drready();
  -    method drtype(DMA1_DRTYPE) enable((*inhigh*) en113);
  -    method drvalid(DMA1_DRVALID) enable((*inhigh*) en114);
  -    method DMA1_RSTN rstn();
  +    //method aclk(DMA1_ACLK);
  +    //method daready(DMA1_DAREADY);
  +    //method DMA1_DATYPE datype();
  +    //method DMA1_DAVALID davalid();
  +    //method drlast(DMA1_DRLAST);
  +    //method DMA1_DRREADY drready();
  +    //method drtype(DMA1_DRTYPE);
  +    //method drvalid(DMA1_DRVALID);
  +    //method DMA1_RSTN rstn();
       endinterface
       interface Dma dma2;
  -    method aclk(DMA2_ACLK) enable((*inhigh*) en115);
  -    method daready(DMA2_DAREADY) enable((*inhigh*) en116);
  -    method DMA2_DATYPE datype();
  -    method DMA2_DAVALID davalid();
  -    method drlast(DMA2_DRLAST) enable((*inhigh*) en117);
  -    method DMA2_DRREADY drready();
  -    method drtype(DMA2_DRTYPE) enable((*inhigh*) en118);
  -    method drvalid(DMA2_DRVALID) enable((*inhigh*) en119);
  -    method DMA2_RSTN rstn();
  +    //method aclk(DMA2_ACLK);
  +    //method daready(DMA2_DAREADY);
  +    //method DMA2_DATYPE datype();
  +    //method DMA2_DAVALID davalid();
  +    //method drlast(DMA2_DRLAST);
  +    //method DMA2_DRREADY drready();
  +    //method drtype(DMA2_DRTYPE);
  +    //method drvalid(DMA2_DRVALID);
  +    //method DMA2_RSTN rstn();
       endinterface
       interface Dma dma3;
  -    method aclk(DMA3_ACLK) enable((*inhigh*) en120);
  -    method daready(DMA3_DAREADY) enable((*inhigh*) en121);
  -    method DMA3_DATYPE datype();
  -    method DMA3_DAVALID davalid();
  -    method drlast(DMA3_DRLAST) enable((*inhigh*) en122);
  -    method DMA3_DRREADY drready();
  -    method drtype(DMA3_DRTYPE) enable((*inhigh*) en123);
  -    method drvalid(DMA3_DRVALID) enable((*inhigh*) en124);
  -    method DMA3_RSTN rstn();
  +    //method aclk(DMA3_ACLK);
  +    //method daready(DMA3_DAREADY);
  +    //method DMA3_DATYPE datype();
  +    //method DMA3_DAVALID davalid();
  +    //method drlast(DMA3_DRLAST);
  +    //method DMA3_DRREADY drready();
  +    //method drtype(DMA3_DRTYPE);
  +    //method drvalid(DMA3_DRVALID);
  +    //method DMA3_RSTN rstn();
       endinterface
       interface Enet enet0;
  -    method ext_intin(ENET0_EXT_INTIN) enable((*inhigh*) en125);
  -    method gmii_col(ENET0_GMII_COL) enable((*inhigh*) en126);
  -    method gmii_crs(ENET0_GMII_CRS) enable((*inhigh*) en127);
  -    method gmii_rxd(ENET0_GMII_RXD) enable((*inhigh*) en128);
  -    method gmii_rx_clk(ENET0_GMII_RX_CLK) enable((*inhigh*) en129);
  -    method gmii_rx_dv(ENET0_GMII_RX_DV) enable((*inhigh*) en130);
  -    method gmii_rx_er(ENET0_GMII_RX_ER) enable((*inhigh*) en131);
  -    method ENET0_GMII_TXD gmii_txd();
  -    method gmii_tx_clk(ENET0_GMII_TX_CLK) enable((*inhigh*) en132);
  -    method ENET0_GMII_TX_EN gmii_tx_en();
  -    method ENET0_GMII_TX_ER gmii_tx_er();
  -    method ENET0_MDIO_MDC mdio_mdc();
  +    //method ext_intin(ENET0_EXT_INTIN);
  +    //method gmii_col(ENET0_GMII_COL);
  +    //method gmii_crs(ENET0_GMII_CRS);
  +    //method gmii_rxd(ENET0_GMII_RXD);
  +    //method gmii_rx_clk(ENET0_GMII_RX_CLK);
  +    //method gmii_rx_dv(ENET0_GMII_RX_DV);
  +    //method gmii_rx_er(ENET0_GMII_RX_ER);
  +    //method ENET0_GMII_TXD gmii_txd();
  +    //method gmii_tx_clk(ENET0_GMII_TX_CLK);
  +    //method ENET0_GMII_TX_EN gmii_tx_en();
  +    //method ENET0_GMII_TX_ER gmii_tx_er();
  +    //method ENET0_MDIO_MDC mdio_mdc();
       interface Bidir       mdio;
  -        method i(ENET0_MDIO_I) enable((*inhigh*) en170);
  -        method ENET0_MDIO_O o();
  -        method ENET0_MDIO_T t();
  -    endinterface
  -    method ENET0_PTP_DELAY_REQ_RX ptp_delay_req_rx();
  -    method ENET0_PTP_DELAY_REQ_TX ptp_delay_req_tx();
  -    method ENET0_PTP_PDELAY_REQ_RX ptp_pdelay_req_rx();
  -    method ENET0_PTP_PDELAY_REQ_TX ptp_pdelay_req_tx();
  -    method ENET0_PTP_PDELAY_RESP_RX ptp_pdelay_resp_rx();
  -    method ENET0_PTP_PDELAY_RESP_TX ptp_pdelay_resp_tx();
  -    method ENET0_PTP_SYNC_FRAME_RX ptp_sync_frame_rx();
  -    method ENET0_PTP_SYNC_FRAME_TX ptp_sync_frame_tx();
  -    method ENET0_SOF_RX sof_rx();
  -    method ENET0_SOF_TX sof_tx();
  +        //method i(ENET0_MDIO_I);
  +        //method ENET0_MDIO_O o();
  +        //method ENET0_MDIO_T t();
  +    endinterface
  +    //method ENET0_PTP_DELAY_REQ_RX ptp_delay_req_rx();
  +    //method ENET0_PTP_DELAY_REQ_TX ptp_delay_req_tx();
  +    //method ENET0_PTP_PDELAY_REQ_RX ptp_pdelay_req_rx();
  +    //method ENET0_PTP_PDELAY_REQ_TX ptp_pdelay_req_tx();
  +    //method ENET0_PTP_PDELAY_RESP_RX ptp_pdelay_resp_rx();
  +    //method ENET0_PTP_PDELAY_RESP_TX ptp_pdelay_resp_tx();
  +    //method ENET0_PTP_SYNC_FRAME_RX ptp_sync_frame_rx();
  +    //method ENET0_PTP_SYNC_FRAME_TX ptp_sync_frame_tx();
  +    //method ENET0_SOF_RX sof_rx();
  +    //method ENET0_SOF_TX sof_tx();
       endinterface
       interface Enet enet1;
  -    method ext_intin(ENET1_EXT_INTIN) enable((*inhigh*) en133);
  -    method gmii_col(ENET1_GMII_COL) enable((*inhigh*) en134);
  -    method gmii_crs(ENET1_GMII_CRS) enable((*inhigh*) en135);
  -    method gmii_rxd(ENET1_GMII_RXD) enable((*inhigh*) en136);
  -    method gmii_rx_clk(ENET1_GMII_RX_CLK) enable((*inhigh*) en137);
  -    method gmii_rx_dv(ENET1_GMII_RX_DV) enable((*inhigh*) en138);
  -    method gmii_rx_er(ENET1_GMII_RX_ER) enable((*inhigh*) en139);
  -    method ENET1_GMII_TXD gmii_txd();
  -    method gmii_tx_clk(ENET1_GMII_TX_CLK) enable((*inhigh*) en140);
  -    method ENET1_GMII_TX_EN gmii_tx_en();
  -    method ENET1_GMII_TX_ER gmii_tx_er();
  -    method ENET1_MDIO_MDC mdio_mdc();
  +    //method ext_intin(ENET1_EXT_INTIN);
  +    //method gmii_col(ENET1_GMII_COL);
  +    //method gmii_crs(ENET1_GMII_CRS);
  +    //method gmii_rxd(ENET1_GMII_RXD);
  +    //method gmii_rx_clk(ENET1_GMII_RX_CLK);
  +    //method gmii_rx_dv(ENET1_GMII_RX_DV);
  +    //method gmii_rx_er(ENET1_GMII_RX_ER);
  +    //method ENET1_GMII_TXD gmii_txd();
  +    //method gmii_tx_clk(ENET1_GMII_TX_CLK);
  +    //method ENET1_GMII_TX_EN gmii_tx_en();
  +    //method ENET1_GMII_TX_ER gmii_tx_er();
  +    //method ENET1_MDIO_MDC mdio_mdc();
       interface Bidir       mdio;
  -        method i(ENET1_MDIO_I) enable((*inhigh*) en171);
  -        method ENET1_MDIO_O o();
  -        method ENET1_MDIO_T t();
  -    endinterface
  -    method ENET1_PTP_DELAY_REQ_RX ptp_delay_req_rx();
  -    method ENET1_PTP_DELAY_REQ_TX ptp_delay_req_tx();
  -    method ENET1_PTP_PDELAY_REQ_RX ptp_pdelay_req_rx();
  -    method ENET1_PTP_PDELAY_REQ_TX ptp_pdelay_req_tx();
  -    method ENET1_PTP_PDELAY_RESP_RX ptp_pdelay_resp_rx();
  -    method ENET1_PTP_PDELAY_RESP_TX ptp_pdelay_resp_tx();
  -    method ENET1_PTP_SYNC_FRAME_RX ptp_sync_frame_rx();
  -    method ENET1_PTP_SYNC_FRAME_TX ptp_sync_frame_tx();
  -    method ENET1_SOF_RX sof_rx();
  -    method ENET1_SOF_TX sof_tx();
  -    endinterface
  -    method event_eventi(EVENT_EVENTI)  enable((*inhigh*) en24);
  -    method EVENT_EVENTO event_evento();
  -    method EVENT_STANDBYWFE event_standbywfe();
  -    method EVENT_STANDBYWFI event_standbywfi();
  -    method FCLK_CLK0 fclk_clk0();
  -    method FCLK_CLK1 fclk_clk1();
  -    method FCLK_CLK2 fclk_clk2();
  -    method FCLK_CLK3 fclk_clk3();
  -    method fclk_clktrig0_n(FCLK_CLKTRIG0_N)  enable((*inhigh*) en23);
  -    method fclk_clktrig1_n(FCLK_CLKTRIG1_N)  enable((*inhigh*) en22);
  -    method fclk_clktrig2_n(FCLK_CLKTRIG2_N)  enable((*inhigh*) en21);
  -    method fclk_clktrig3_n(FCLK_CLKTRIG3_N)  enable((*inhigh*) en20);
  -    method FCLK_RESET0_N fclk_reset0_n();
  -    method FCLK_RESET1_N fclk_reset1_n();
  -    method FCLK_RESET2_N fclk_reset2_n();
  -    method FCLK_RESET3_N fclk_reset3_n();
  -    method fpga_idle_n(FPGA_IDLE_N)  enable((*inhigh*) en19);
  -    method ftmd_tracein_atid(FTMD_TRACEIN_ATID)  enable((*inhigh*) en18);
  -    method ftmd_tracein_clk(FTMD_TRACEIN_CLK)  enable((*inhigh*) en17);
  -    method ftmd_tracein_data(FTMD_TRACEIN_DATA)  enable((*inhigh*) en16);
  -    method ftmd_tracein_valid(FTMD_TRACEIN_VALID)  enable((*inhigh*) en15);
  -    method ftmt_f2p_debug(FTMT_F2P_DEBUG)  enable((*inhigh*) en14);
  -    method ftmt_f2p_trig(FTMT_F2P_TRIG)  enable((*inhigh*) en13);
  -    method FTMT_F2P_TRIGACK ftmt_f2p_trigack();
  -    method FTMT_P2F_DEBUG ftmt_p2f_debug();
  -    method FTMT_P2F_TRIG ftmt_p2f_trig();
  -    method ftmt_p2f_trigack(FTMT_P2F_TRIGACK)  enable((*inhigh*) en12);
  +        //method i(ENET1_MDIO_I);
  +        //method ENET1_MDIO_O o();
  +        //method ENET1_MDIO_T t();
  +    endinterface
  +    //method ENET1_PTP_DELAY_REQ_RX ptp_delay_req_rx();
  +    //method ENET1_PTP_DELAY_REQ_TX ptp_delay_req_tx();
  +    //method ENET1_PTP_PDELAY_REQ_RX ptp_pdelay_req_rx();
  +    //method ENET1_PTP_PDELAY_REQ_TX ptp_pdelay_req_tx();
  +    //method ENET1_PTP_PDELAY_RESP_RX ptp_pdelay_resp_rx();
  +    //method ENET1_PTP_PDELAY_RESP_TX ptp_pdelay_resp_tx();
  +    //method ENET1_PTP_SYNC_FRAME_RX ptp_sync_frame_rx();
  +    //method ENET1_PTP_SYNC_FRAME_TX ptp_sync_frame_tx();
  +    //method ENET1_SOF_RX sof_rx();
  +    //method ENET1_SOF_TX sof_tx();
  +    endinterface
  +    //method event_eventi(EVENT_EVENTI) ;
  +    //method EVENT_EVENTO event_evento();
  +    //method EVENT_STANDBYWFE event_standbywfe();
  +    //method EVENT_STANDBYWFI event_standbywfi();
  +    //method FCLK_CLK0 fclk_clk0();
  +    //method FCLK_CLK1 fclk_clk1();
  +    //method FCLK_CLK2 fclk_clk2();
  +    //method FCLK_CLK3 fclk_clk3();
  +    //method fclk_clktrig0_n(FCLK_CLKTRIG0_N) ;
  +    //method fclk_clktrig1_n(FCLK_CLKTRIG1_N) ;
  +    //method fclk_clktrig2_n(FCLK_CLKTRIG2_N) ;
  +    //method fclk_clktrig3_n(FCLK_CLKTRIG3_N) ;
  +    //method FCLK_RESET0_N fclk_reset0_n();
  +    //method FCLK_RESET1_N fclk_reset1_n();
  +    //method FCLK_RESET2_N fclk_reset2_n();
  +    //method FCLK_RESET3_N fclk_reset3_n();
  +    //method fpga_idle_n(FPGA_IDLE_N) ;
  +    //method ftmd_tracein_atid(FTMD_TRACEIN_ATID) ;
  +    //method ftmd_tracein_clk(FTMD_TRACEIN_CLK) ;
  +    //method ftmd_tracein_data(FTMD_TRACEIN_DATA) ;
  +    //method ftmd_tracein_valid(FTMD_TRACEIN_VALID) ;
  +    //method ftmt_f2p_debug(FTMT_F2P_DEBUG) ;
  +    //method ftmt_f2p_trig(FTMT_F2P_TRIG) ;
  +    //method FTMT_F2P_TRIGACK ftmt_f2p_trigack();
  +    //method FTMT_P2F_DEBUG ftmt_p2f_debug();
  +    //method FTMT_P2F_TRIG ftmt_p2f_trig();
  +    //method ftmt_p2f_trigack(FTMT_P2F_TRIGACK) ;
       interface Bidir gpio;
  -        method i(GPIO_SCL_I) enable((*inhigh*) en172);
  -        method GPIO_SCL_O o();
  -        method GPIO_SCL_T t();
  +        //method i(GPIO_SCL_I);
  +        //method GPIO_SCL_O o();
  +        //method GPIO_SCL_T t();
       endinterface
       interface I2c i2c0;
       interface Bidir       scl;
  -        method i(I2C0_SCL_I) enable((*inhigh*) en173);
  -        method I2C0_SCL_O o();
  -        method I2C0_SCL_T t();
  +        //method i(I2C0_SCL_I);
  +        //method I2C0_SCL_O o();
  +        //method I2C0_SCL_T t();
       endinterface
       interface Bidir       sda;
  -        method i(I2C0_SDA_I) enable((*inhigh*) en174);
  -        method I2C0_SDA_O o();
  -        method I2C0_SDA_T t();
  +        //method i(I2C0_SDA_I);
  +        //method I2C0_SDA_O o();
  +        //method I2C0_SDA_T t();
       endinterface
       endinterface
       interface I2c i2c1;
       interface Bidir       scl;
  -        method i(I2C1_SCL_I) enable((*inhigh*) en173a);
  -        method I2C1_SCL_O o();
  -        method I2C1_SCL_T t();
  +        //method i(I2C1_SCL_I);
  +        //method I2C1_SCL_O o();
  +        //method I2C1_SCL_T t();
       endinterface
       interface Bidir       sda;
  -        method i(I2C1_SDA_I) enable((*inhigh*) en174a);
  -        method I2C1_SDA_O o();
  -        method I2C1_SDA_T t();
  -    endinterface
  -    endinterface
  -    method irq_f2p(IRQ_F2P)  enable((*inhigh*) en11);
  -    method IRQ_P2F_CAN0 irq_p2f_can0();
  -    method IRQ_P2F_CAN1 irq_p2f_can1();
  -    method IRQ_P2F_CTI irq_p2f_cti();
  -    method IRQ_P2F_DMAC0 irq_p2f_dmac0();
  -    method IRQ_P2F_DMAC1 irq_p2f_dmac1();
  -    method IRQ_P2F_DMAC2 irq_p2f_dmac2();
  -    method IRQ_P2F_DMAC3 irq_p2f_dmac3();
  -    method IRQ_P2F_DMAC4 irq_p2f_dmac4();
  -    method IRQ_P2F_DMAC5 irq_p2f_dmac5();
  -    method IRQ_P2F_DMAC6 irq_p2f_dmac6();
  -    method IRQ_P2F_DMAC7 irq_p2f_dmac7();
  -    method IRQ_P2F_DMAC_ABORT irq_p2f_dmac_abort();
  -    method IRQ_P2F_ENET0 irq_p2f_enet0();
  -    method IRQ_P2F_ENET1 irq_p2f_enet1();
  -    method IRQ_P2F_ENET_WAKE0 irq_p2f_enet_wake0();
  -    method IRQ_P2F_ENET_WAKE1 irq_p2f_enet_wake1();
  -    method IRQ_P2F_GPIO irq_p2f_gpio();
  -    method IRQ_P2F_I2C0 irq_p2f_i2c0();
  -    method IRQ_P2F_I2C1 irq_p2f_i2c1();
  -    method IRQ_P2F_QSPI irq_p2f_qspi();
  -    method IRQ_P2F_SDIO0 irq_p2f_sdio0();
  -    method IRQ_P2F_SDIO1 irq_p2f_sdio1();
  -    method IRQ_P2F_SMC irq_p2f_smc();
  -    method IRQ_P2F_SPI0 irq_p2f_spi0();
  -    method IRQ_P2F_SPI1 irq_p2f_spi1();
  -    method IRQ_P2F_UART0 irq_p2f_uart0();
  -    method IRQ_P2F_UART1 irq_p2f_uart1();
  -    method IRQ_P2F_USB0 irq_p2f_usb0();
  -    method IRQ_P2F_USB1 irq_p2f_usb1();
  -    method MIO mio();
  -    method pjtag_tck(PJTAG_TCK)  enable((*inhigh*) en08);
  +        //method i(I2C1_SDA_I);
  +        //method I2C1_SDA_O o();
  +        //method I2C1_SDA_T t();
  +    endinterface
  +    endinterface
  +    //method irq_f2p(IRQ_F2P) ;
  +    //method IRQ_P2F_CAN0 irq_p2f_can0();
  +    //method IRQ_P2F_CAN1 irq_p2f_can1();
  +    //method IRQ_P2F_CTI irq_p2f_cti();
  +    //method IRQ_P2F_DMAC0 irq_p2f_dmac0();
  +    //method IRQ_P2F_DMAC1 irq_p2f_dmac1();
  +    //method IRQ_P2F_DMAC2 irq_p2f_dmac2();
  +    //method IRQ_P2F_DMAC3 irq_p2f_dmac3();
  +    //method IRQ_P2F_DMAC4 irq_p2f_dmac4();
  +    //method IRQ_P2F_DMAC5 irq_p2f_dmac5();
  +    //method IRQ_P2F_DMAC6 irq_p2f_dmac6();
  +    //method IRQ_P2F_DMAC7 irq_p2f_dmac7();
  +    //method IRQ_P2F_DMAC_ABORT irq_p2f_dmac_abort();
  +    //method IRQ_P2F_ENET0 irq_p2f_enet0();
  +    //method IRQ_P2F_ENET1 irq_p2f_enet1();
  +    //method IRQ_P2F_ENET_WAKE0 irq_p2f_enet_wake0();
  +    //method IRQ_P2F_ENET_WAKE1 irq_p2f_enet_wake1();
  +    //method IRQ_P2F_GPIO irq_p2f_gpio();
  +    //method IRQ_P2F_I2C0 irq_p2f_i2c0();
  +    //method IRQ_P2F_I2C1 irq_p2f_i2c1();
  +    //method IRQ_P2F_QSPI irq_p2f_qspi();
  +    //method IRQ_P2F_SDIO0 irq_p2f_sdio0();
  +    //method IRQ_P2F_SDIO1 irq_p2f_sdio1();
  +    //method IRQ_P2F_SMC irq_p2f_smc();
  +    //method IRQ_P2F_SPI0 irq_p2f_spi0();
  +    //method IRQ_P2F_SPI1 irq_p2f_spi1();
  +    //method IRQ_P2F_UART0 irq_p2f_uart0();
  +    //method IRQ_P2F_UART1 irq_p2f_uart1();
  +    //method IRQ_P2F_USB0 irq_p2f_usb0();
  +    //method IRQ_P2F_USB1 irq_p2f_usb1();
  +    //method MIO mio();
  +    //method pjtag_tck(PJTAG_TCK) ;
       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);
  +        //method i(PJTAG_TD_CMD_I);
  +        //method PJTAG_TD_CMD_O o();
  +        //method PJTAG_TD_CMD_T t();
  +    endinterface
  +    //method pjtag_tms(PJTAG_TMS) ;
  +    //method ps_clk(PS_CLK) ;
  +    //method ps_porb(PS_PORB) ;
  +    //method ps_srstb(PS_SRTSB) ;
       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);
  +    //method SDIO0_BUSPOW buspow();
  +    //method SDIO0_BUSVOLT busvolt();
  +    //method cdn(SDIO0_CDN);
  +    //method SDIO0_CLK clk();
  +    //method clk_fb(SDIO0_CLK_FB);
       interface Bidir       cmd;
  -        method i(SDIO0_CMD_I) enable((*inhigh*) en176);
  -        method SDIO0_CMD_O o();
  -        method SDIO0_CMD_T t();
  +        //method i(SDIO0_CMD_I);
  +        //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);
  +        //method i(SDIO0_DATA_I);
  +        //method SDIO0_DATA_O o();
  +        //method SDIO0_DATA_T t();
  +    endinterface
  +    //method SDIO0_LED led();
  +    //method wp(SDIO0_WP);
       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);
  +    //method SDIO1_BUSPOW buspow();
  +    //method SDIO1_BUSVOLT busvolt();
  +    //method cdn(SDIO1_CDN);
  +    //method SDIO1_CLK clk();
  +    //method clk_fb(SDIO1_CLK_FB);
       interface Bidir       cmd;
  -        method i(SDIO1_CMD_I) enable((*inhigh*) en178);
  -        method SDIO1_CMD_O o();
  -        method SDIO1_CMD_T t();
  +        //method i(SDIO1_CMD_I);
  +        //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);
  +        //method i(SDIO1_DATA_I);
  +        //method SDIO1_DATA_O o();
  +        //method SDIO1_DATA_T t();
  +    endinterface
  +    //method SDIO1_LED led();
  +    //method wp(SDIO1_WP);
       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();
  +        //method i(SPI0_MISO_I);
  +        //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();
  +        //method i(SPI0_MOSI_I);
  +        //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();
  +        //method i(SPI0_SCLK_I);
  +        //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();
  +        //method i(SPI0_SS_I);
  +        //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();
  +        //method i(SPI1_MISO_I);
  +        //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();
  +        //method i(SPI1_MOSI_I);
  +        //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();
  +        //method i(SPI1_SCLK_I);
  +        //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();
  +        //method i(SPI1_SS_I);
  +        //method SPI1_SS_O o();
  +        //method SPI1_SS_T t();
  +    endinterface
  +    endinterface
  +    //method sram_intin(SRAM_INTIN) ;
  +    //method trace_clk(TRACE_CLK) ;
  +    //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();
  +    //method clk0_in(TTC0_CLK0_IN);
  +    //method clk1_in(TTC0_CLK1_IN);
  +    //method clk2_in(TTC0_CLK2_IN);
  +    //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();
  +    //method clk0_in(TTC1_CLK0_IN);
  +    //method clk1_in(TTC1_CLK1_IN);
  +    //method clk2_in(TTC1_CLK2_IN);
  +    //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();
  +    //method ctsn(UART0_CTSN);
  +    //method dcdn(UART0_DCDN);
  +    //method dsrn(UART0_DSRN);
  +    //method UART0_DTRN dtrn();
  +    //method rin(UART0_RIN);
  +    //method UART0_RTSN rtsn();
  +    //method rx(UART0_RX);
  +    //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();
  +    //method ctsn(UART1_CTSN);
  +    //method dcdn(UART1_DCDN);
  +    //method dsrn(UART1_DSRN);
  +    //method UART1_DTRN dtrn();
  +    //method rin(UART1_RIN);
  +    //method UART1_RTSN rtsn();
  +    //method rx(UART1_RX);
  +    //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();
  +        //method vbus_pwrfault(VBUS_PWRFAULT);
  +        //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();
  +        //method vbus_pwrfault(VBUS_PWRFAULT1);
  +        //method VBUS_PWRSELECT1 vbus_pwrselect();
  +        //method PORT_INDCTL1 port_indctl();
  +    endinterface
  +    //method wdt_clk_in(WDT_CLK_IN) ;
  +    //method WDT_RST_OUT wdt_rst_out();
   
       interface AxiSlaveCommon    s_axi_acp;
  -    method aclk(S_AXI_ACP_ACLK) enable((*inhigh*) en190);
  -    method S_AXI_ACP_ARESETN aresetn();
  -    interface Put req;
  -        method put(M_AXI_ACP_put) enable((*inhigh*) en195b);
  -    endinterface
  -    interface Get resp;
  -        method M_AXI_GP0_get get() enable((*inhigh*) en200);
  -    endinterface
  -    method araddr(S_AXI_ACP_ARADDR) enable((*inhigh*) en191);
  -    method S_AXI_ACP_ARREADY arready();
  -    endinterface
  -    method s_axi_acp_aruser(S_AXI_ACP_ARUSER)  enable((*inhigh*) en10);
  -    method s_axi_acp_awuser(S_AXI_ACP_AWUSER)  enable((*inhigh*) en09);
  +    endinterface
  +    //method s_axi_acp_aruser(S_AXI_ACP_ARUSER) ;
  +    //method s_axi_acp_awuser(S_AXI_ACP_AWUSER) ;
   
       //interface AxiSlaveCommon    s_axi_gp0;
       //endinterface
  
positive.code:     //interface AxiSlaveHighSpeed s_axi_hp0;
      //interface AxiSlaveCommon axi;
      //endinterface
      //method S_AXI_HP0_RACOUNT racount();
      //method S_AXI_HP0_RCOUNT rcount();
      //method rdissuecap1_en(S_AXI_HP0_RDISSUECAP1_EN) enable((*inhigh*) en192);
      //method S_AXI_HP0_WACOUNT wacount();
      //method S_AXI_HP0_WCOUNT wcount();
      //method wrissuecap1_en(S_AXI_HP0_WRISSUECAP1_EN) enable((*inhigh*) en193);
      //endinterface
      //interface AxiSlaveHighSpeed s_axi_hp1;
      //endinterface
  
negative.code:     Bit#(4)                   qos;
      Bit#(3)                   size;
  } AxiREQ#(numeric type id_width);
  typedef struct {
      Bit#(id_width)            id;
      Bit#(2)                   resp;
  } AxiRESP#(numeric type id_width);
  typedef struct {
      Bit#(data_width)          data;
      Bit#(1)                   last;
  } AxiDATA#(numeric type data_width);
  typedef struct {
      Bit#(id_width)            wid;
      AxiDATA#(data_width)      wd;
      Bit#(TDiv#(data_width, 8))wstrb;
  } AxiWrite#(numeric type data_width, numeric type id_width);
  typedef struct {
      AxiRESP#(id_width)        r;
      AxiDATA#(data_width)      rd;
  } AxiRead#(numeric type data_width, numeric type id_width);
  
  interface AxiMasterCommon#(numeric type data_width, numeric type id_width);
      method Action             aclk(Bit#(1) v); // common
      method Bit#(1)            aresetn();      // common
  
      method Bit#(1)            arvalid();
      interface Get#(AxiREQ#(id_width)) req_ar;
      method Action             arready(Bit#(1) v);
  
      method Bit#(1)            awvalid();
      interface Get#(AxiREQ#(id_width)) req_aw;
      method Action             awready(Bit#(1) v);
  
      method Action             rvalid(Bit#(1) v);
      interface Put#(AxiRead#(data_width, id_width)) resp_read;
      method Bit#(1)            rready();
  
      method Bit#(1)            wvalid();
      interface Get#(AxiWrite#(data_width, id_width)) resp_write;
      method Action             wready(Bit#(1) v);
  
      method Action             bvalid(Bit#(1) v);
      interface Put#(AxiRESP#(id_width)) resp_b;
      method Bit#(1)            bready();
  endinterface
  
  interface AxiSlaveCommon#(numeric type data_width, numeric type id_width);
      method Action             aclk(Bit#(1) v); // common
      method Bit#(1)            aresetn();      // common
  
      method Action             arvalid(Bit#(1) v);
      interface Put#(AxiREQ#(id_width)) req_ar;
      method Bit#(1)            arready();
  
      method Action             awvalid(Bit#(1) v);
      interface Put#(AxiREQ#(id_width)) req_aw;
      method Bit#(1)            awready();
  
      method Action             wvalid(Bit#(1) v);
      interface Put#(AxiWrite#(data_width, id_width)) resp_write;
      method Bit#(1)            wready();
  
      method Bit#(1)            rvalid();
      interface Get#(AxiRead#(data_width, id_width)) resp_read;
      method Action             rready(Bit#(1) v);
  
      method Bit#(1)            bvalid();
      interface Get#(AxiRESP#(id_width)) resp_b;
      method Action             bready(Bit#(1) v);
  endinterface
  
  interface AxiSlaveHighSpeed#(numeric type data_width, numeric type id_width);
  