anchor.diff:      method Bit#(1) SPI1_SS_O();
       method Bit#(1) SPI1_SS_T();
       method Action SRAM_INTIN(Bit#(1) v);
  -    method Action S_AXI_ACP_ACLK(Bit#(1) v);
  -    method Action S_AXI_ACP_ARADDR(Bit#(32) v);
  -    method Action S_AXI_ACP_ARBURST(Bit#(2) v);
  -    method Action S_AXI_ACP_ARCACHE(Bit#(4) v);
  -    method Bit#(1) S_AXI_ACP_ARESETN();
  -    method Action S_AXI_ACP_ARID(Bit#(C_S_AXI_ACP_ID_WIDTH) v);
  -    method Action S_AXI_ACP_ARLEN(Bit#(4) v);
  -    method Action S_AXI_ACP_ARLOCK(Bit#(2) v);
  -    method Action S_AXI_ACP_ARPROT(Bit#(3) v);
  -    method Action S_AXI_ACP_ARQOS(Bit#(4) v);
  -    method Bit#(1) S_AXI_ACP_ARREADY();
  -    method Action S_AXI_ACP_ARSIZE(Bit#(3) v);
  -    method Action S_AXI_ACP_ARUSER(Bit#(5) v);
  -    method Action S_AXI_ACP_ARVALID(Bit#(1) v);
  -    method Action S_AXI_ACP_AWADDR(Bit#(32) v);
  -    method Action S_AXI_ACP_AWBURST(Bit#(2) v);
  -    method Action S_AXI_ACP_AWCACHE(Bit#(4) v);
  -    method Action S_AXI_ACP_AWID(Bit#(C_S_AXI_ACP_ID_WIDTH) v);
  -    method Action S_AXI_ACP_AWLEN(Bit#(4) v);
  -    method Action S_AXI_ACP_AWLOCK(Bit#(2) v);
  -    method Action S_AXI_ACP_AWPROT(Bit#(3) v);
  -    method Action S_AXI_ACP_AWQOS(Bit#(4) v);
  -    method Bit#(1) S_AXI_ACP_AWREADY();
  -    method Action S_AXI_ACP_AWSIZE(Bit#(3) v);
  -    method Action S_AXI_ACP_AWUSER(Bit#(5) v);
  -    method Action S_AXI_ACP_AWVALID(Bit#(1) v);
  -    method Bit#(C_S_AXI_ACP_ID_WIDTH) S_AXI_ACP_BID();
  -    method Action S_AXI_ACP_BREADY(Bit#(1) v);
  -    method Bit#(2) S_AXI_ACP_BRESP();
  -    method Bit#(1) S_AXI_ACP_BVALID();
  -    method Bit#(64) S_AXI_ACP_RDATA();
  -    method Bit#(C_S_AXI_ACP_ID_WIDTH) S_AXI_ACP_RID();
  -    method Bit#(1) S_AXI_ACP_RLAST();
  -    method Action S_AXI_ACP_RREADY(Bit#(1) v);
  -    method Bit#(2) S_AXI_ACP_RRESP();
  -    method Bit#(1) S_AXI_ACP_RVALID();
  -    method Action S_AXI_ACP_WDATA(Bit#(64) v);
  -    method Action S_AXI_ACP_WID(Bit#(C_S_AXI_ACP_ID_WIDTH) v);
  -    method Action S_AXI_ACP_WLAST(Bit#(1) v);
  -    method Bit#(1) S_AXI_ACP_WREADY();
  -    method Action S_AXI_ACP_WSTRB(Bit#(8) v);
  -    method Action S_AXI_ACP_WVALID(Bit#(1) v);
  -    method Action S_AXI_GP0_ACLK(Bit#(1) v);
  -    method Action S_AXI_GP0_ARADDR(Bit#(32) v);
  -    method Action S_AXI_GP0_ARBURST(Bit#(2) v);
  -    method Action S_AXI_GP0_ARCACHE(Bit#(4) v);
  -    method Bit#(1) S_AXI_GP0_ARESETN();
  -    method Action S_AXI_GP0_ARID(Bit#(C_S_AXI_GP0_ID_WIDTH) v);
  -    method Action S_AXI_GP0_ARLEN(Bit#(4) v);
  -    method Action S_AXI_GP0_ARLOCK(Bit#(2) v);
  -    method Action S_AXI_GP0_ARPROT(Bit#(3) v);
  -    method Action S_AXI_GP0_ARQOS(Bit#(4) v);
  -    method Bit#(1) S_AXI_GP0_ARREADY();
  -    method Action S_AXI_GP0_ARSIZE(Bit#(3) v);
  -    method Action S_AXI_GP0_ARVALID(Bit#(1) v);
  -    method Action S_AXI_GP0_AWADDR(Bit#(32) v);
  -    method Action S_AXI_GP0_AWBURST(Bit#(2) v);
  -    method Action S_AXI_GP0_AWCACHE(Bit#(4) v);
  -    method Action S_AXI_GP0_AWID(Bit#(C_S_AXI_GP0_ID_WIDTH) v);
  -    method Action S_AXI_GP0_AWLEN(Bit#(4) v);
  -    method Action S_AXI_GP0_AWLOCK(Bit#(2) v);
  -    method Action S_AXI_GP0_AWPROT(Bit#(3) v);
  -    method Action S_AXI_GP0_AWQOS(Bit#(4) v);
  -    method Bit#(1) S_AXI_GP0_AWREADY();
  -    method Action S_AXI_GP0_AWSIZE(Bit#(3) v);
  -    method Action S_AXI_GP0_AWVALID(Bit#(1) v);
  -    method Bit#(C_S_AXI_GP0_ID_WIDTH) S_AXI_GP0_BID();
  -    method Action S_AXI_GP0_BREADY(Bit#(1) v);
  -    method Bit#(2) S_AXI_GP0_BRESP();
  -    method Bit#(1) S_AXI_GP0_BVALID();
  -    method Bit#(32) S_AXI_GP0_RDATA();
  -    method Bit#(C_S_AXI_GP0_ID_WIDTH) S_AXI_GP0_RID();
  -    method Bit#(1) S_AXI_GP0_RLAST();
  -    method Action S_AXI_GP0_RREADY(Bit#(1) v);
  -    method Bit#(2) S_AXI_GP0_RRESP();
  -    method Bit#(1) S_AXI_GP0_RVALID();
  -    method Action S_AXI_GP0_WDATA(Bit#(32) v);
  -    method Action S_AXI_GP0_WID(Bit#(C_S_AXI_GP0_ID_WIDTH) v);
  -    method Action S_AXI_GP0_WLAST(Bit#(1) v);
  -    method Bit#(1) S_AXI_GP0_WREADY();
  -    method Action S_AXI_GP0_WSTRB(Bit#(4) v);
  -    method Action S_AXI_GP0_WVALID(Bit#(1) v);
  -    method Action S_AXI_GP1_ACLK(Bit#(1) v);
  -    method Action S_AXI_GP1_ARADDR(Bit#(32) v);
  -    method Action S_AXI_GP2_ARBURST(Bit#(1) v);
  -    method Action S_AXI_GP1_ARCACHE(Bit#(4) v);
  -    method Bit#(1) S_AXI_GP1_ARESETN();
  -    method Action S_AXI_GP1_ARID(Bit#(C_S_AXI_GP1_ID_WIDTH) v);
  -    method Action S_AXI_GP1_ARLEN(Bit#(4) v);
  -    method Action S_AXI_GP2_ARLOCK(Bit#(1) v);
  -    method Action S_AXI_GP1_ARPROT(Bit#(3) v);
  -    method Action S_AXI_GP1_ARQOS(Bit#(4) v);
  -    method Bit#(1) S_AXI_GP1_ARREADY();
  -    method Action S_AXI_GP1_ARSIZE(Bit#(3) v);
  -    method Action S_AXI_GP1_ARVALID(Bit#(1) v);
  -    method Action S_AXI_GP1_AWADDR(Bit#(32) v);
  -    method Action S_AXI_GP2_AWBURST(Bit#(1) v);
  -    method Action S_AXI_GP1_AWCACHE(Bit#(4) v);
  -    method Action S_AXI_GP1_AWID(Bit#(C_S_AXI_GP1_ID_WIDTH) v);
  -    method Action S_AXI_GP1_AWLEN(Bit#(4) v);
  -    method Action S_AXI_GP2_AWLOCK(Bit#(1) v);
  -    method Action S_AXI_GP1_AWPROT(Bit#(3) v);
  -    method Action S_AXI_GP1_AWQOS(Bit#(4) v);
  -    method Bit#(1) S_AXI_GP1_AWREADY();
  -    method Action S_AXI_GP1_AWSIZE(Bit#(3) v);
  -    method Action S_AXI_GP1_AWVALID(Bit#(1) v);
  -    method Bit#(C_S_AXI_GP1_ID_WIDTH) S_AXI_GP1_BID();
  -    method Action S_AXI_GP1_BREADY(Bit#(1) v);
  -    method Bit#(2) S_AXI_GP1_BRESP();
  -    method Bit#(1) S_AXI_GP1_BVALID();
  -    method Bit#(32) S_AXI_GP1_RDATA();
  -    method Bit#(C_S_AXI_GP1_ID_WIDTH) S_AXI_GP1_RID();
  -    method Bit#(1) S_AXI_GP1_RLAST();
  -    method Action S_AXI_GP1_RREADY(Bit#(1) v);
  -    method Bit#(2) S_AXI_GP1_RRESP();
  -    method Bit#(1) S_AXI_GP1_RVALID();
  -    method Action S_AXI_GP1_WDATA(Bit#(32) v);
  -    method Action S_AXI_GP1_WID(Bit#(C_S_AXI_GP1_ID_WIDTH) v);
  -    method Action S_AXI_GP1_WLAST(Bit#(1) v);
  -    method Bit#(1) S_AXI_GP1_WREADY();
  -    method Action S_AXI_GP1_WSTRB(Bit#(4) v);
  -    method Action S_AXI_GP1_WVALID(Bit#(1) v);
  -    method Action S_AXI_HP0_ACLK(Bit#(1) v);
  -    method Action S_AXI_HP0_ARADDR(Bit#(32) v);
  -    method Action S_AXI_HP0_ARBURST(Bit#(2) v);
  -    method Action S_AXI_HP0_ARCACHE(Bit#(4) v);
  -    method Bit#(1) S_AXI_HP0_ARESETN();
  -    method Action S_AXI_HP0_ARID(Bit#(C_S_AXI_HP0_ID_WIDTH) v);
  -    method Action S_AXI_HP0_ARLEN(Bit#(4) v);
  -    method Action S_AXI_HP0_ARLOCK(Bit#(2) v);
  -    method Action S_AXI_HP0_ARPROT(Bit#(3) v);
  -    method Action S_AXI_HP0_ARQOS(Bit#(4) v);
  -    method Bit#(1) S_AXI_HP0_ARREADY();
  -    method Action S_AXI_HP0_ARSIZE(Bit#(3) v);
  -    method Action S_AXI_HP0_ARVALID(Bit#(1) v);
  -    method Action S_AXI_HP0_AWADDR(Bit#(32) v);
  -    method Action S_AXI_HP0_AWBURST(Bit#(2) v);
  -    method Action S_AXI_HP0_AWCACHE(Bit#(4) v);
  -    method Action S_AXI_HP0_AWID(Bit#(C_S_AXI_HP0_ID_WIDTH) v);
  -    method Action S_AXI_HP0_AWLEN(Bit#(4) v);
  -    method Action S_AXI_HP0_AWLOCK(Bit#(2) v);
  -    method Action S_AXI_HP0_AWPROT(Bit#(3) v);
  -    method Action S_AXI_HP0_AWQOS(Bit#(4) v);
  -    method Bit#(1) S_AXI_HP0_AWREADY();
  -    method Action S_AXI_HP0_AWSIZE(Bit#(3) v);
  -    method Action S_AXI_HP0_AWVALID(Bit#(1) v);
  -    method Bit#(C_S_AXI_HP0_ID_WIDTH) S_AXI_HP0_BID();
  -    method Action S_AXI_HP0_BREADY(Bit#(1) v);
  -    method Bit#(2) S_AXI_HP0_BRESP();
  -    method Bit#(1) S_AXI_HP0_BVALID();
  -    method Bit#(3) S_AXI_HP0_RACOUNT();
  -    method Bit#(8) S_AXI_HP0_RCOUNT();
  -    method Bit#(C_S_AXI_HP0_DATA_WIDTH) S_AXI_HP0_RDATA();
  -    method Action S_AXI_HP0_RDISSUECAP1_EN(Bit#(1) v);
  -    method Bit#(C_S_AXI_HP0_ID_WIDTH) S_AXI_HP0_RID();
  -    method Bit#(1) S_AXI_HP0_RLAST();
  -    method Action S_AXI_HP0_RREADY(Bit#(1) v);
  -    method Bit#(2) S_AXI_HP0_RRESP();
  -    method Bit#(1) S_AXI_HP0_RVALID();
  -    method Bit#(6) S_AXI_HP0_WACOUNT();
  -    method Bit#(8) S_AXI_HP0_WCOUNT();
  -    method Action S_AXI_HP0_WDATA(Bit#(C_S_AXI_HP0_DATA_WIDTH) v);
  -    method Action S_AXI_HP0_WID(Bit#(C_S_AXI_HP0_ID_WIDTH) v);
  -    method Action S_AXI_HP0_WLAST(Bit#(1) v);
  -    method Bit#(1) S_AXI_HP0_WREADY();
  -    method Action S_AXI_HP0_WRISSUECAP1_EN(Bit#(1) v);
  -    method Action S_AXI_HP0_WSTRB(Bit#(C_S_AXI_HP0_DATA_WIDTH/8) v);
  -    method Action S_AXI_HP0_WVALID(Bit#(1) v);
  -    method Action S_AXI_HP1_ACLK(Bit#(1) v);
  -    method Action S_AXI_HP1_ARADDR(Bit#(32) v);
  -    method Action S_AXI_HP2_ARBURST(Bit#(1) v);
  -    method Action S_AXI_HP1_ARCACHE(Bit#(4) v);
  -    method Bit#(1) S_AXI_HP1_ARESETN();
  -    method Action S_AXI_HP1_ARID(Bit#(C_S_AXI_HP1_ID_WIDTH) v);
  -    method Action S_AXI_HP1_ARLEN(Bit#(4) v);
  -    method Action S_AXI_HP2_ARLOCK(Bit#(1) v);
  -    method Action S_AXI_HP1_ARPROT(Bit#(3) v);
  -    method Action S_AXI_HP1_ARQOS(Bit#(4) v);
  -    method Bit#(1) S_AXI_HP1_ARREADY();
  -    method Action S_AXI_HP1_ARSIZE(Bit#(3) v);
  -    method Action S_AXI_HP1_ARVALID(Bit#(1) v);
  -    method Action S_AXI_HP1_AWADDR(Bit#(32) v);
  -    method Action S_AXI_HP2_AWBURST(Bit#(1) v);
  -    method Action S_AXI_HP1_AWCACHE(Bit#(4) v);
  -    method Action S_AXI_HP1_AWID(Bit#(C_S_AXI_HP1_ID_WIDTH) v);
  -    method Action S_AXI_HP1_AWLEN(Bit#(4) v);
  -    method Action S_AXI_HP2_AWLOCK(Bit#(1) v);
  -    method Action S_AXI_HP1_AWPROT(Bit#(3) v);
  -    method Action S_AXI_HP1_AWQOS(Bit#(4) v);
  -    method Bit#(1) S_AXI_HP1_AWREADY();
  -    method Action S_AXI_HP1_AWSIZE(Bit#(3) v);
  -    method Action S_AXI_HP1_AWVALID(Bit#(1) v);
  -    method Bit#(C_S_AXI_HP1_ID_WIDTH) S_AXI_HP1_BID();
  -    method Action S_AXI_HP1_BREADY(Bit#(1) v);
  -    method Bit#(2) S_AXI_HP1_BRESP();
  -    method Bit#(1) S_AXI_HP1_BVALID();
  -    method Bit#(3) S_AXI_HP1_RACOUNT();
  -    method Bit#(8) S_AXI_HP1_RCOUNT();
  -    method Bit#(C_S_AXI_HP1_DATA_WIDTH) S_AXI_HP1_RDATA();
  -    method Action S_AXI_HP1_RDISSUECAP1_EN(Bit#(1) v);
  -    method Bit#(C_S_AXI_HP1_ID_WIDTH) S_AXI_HP1_RID();
  -    method Bit#(1) S_AXI_HP1_RLAST();
  -    method Action S_AXI_HP1_RREADY(Bit#(1) v);
  -    method Bit#(2) S_AXI_HP1_RRESP();
  -    method Bit#(1) S_AXI_HP1_RVALID();
  -    method Bit#(6) S_AXI_HP1_WACOUNT();
  -    method Bit#(8) S_AXI_HP1_WCOUNT();
  -    method Action S_AXI_HP1_WDATA(Bit#(C_S_AXI_HP1_DATA_WIDTH) v);
  -    method Action S_AXI_HP1_WID(Bit#(C_S_AXI_HP1_ID_WIDTH) v);
  -    method Action S_AXI_HP1_WLAST(Bit#(1) v);
  -    method Bit#(1) S_AXI_HP1_WREADY();
  -    method Action S_AXI_HP1_WRISSUECAP1_EN(Bit#(1) v);
  -    method Action S_AXI_HP1_WSTRB(Bit#(C_S_AXI_HP1_DATA_WIDTH) v);
  -    method Action S_AXI_HP1_WVALID(Bit#(1) v);
  -    method Action S_AXI_HP2_ACLK(Bit#(1) v);
  -    method Action S_AXI_HP2_ARADDR(Bit#(32) v);
  -    method Action S_AXI_HP2_ARBURST(Bit#(2) v);
  -    method Action S_AXI_HP2_ARCACHE(Bit#(4) v);
  -    method Bit#(1) S_AXI_HP2_ARESETN();
  -    method Action S_AXI_HP2_ARID(Bit#(C_S_AXI_HP2_ID_WIDTH) v);
  -    method Action S_AXI_HP2_ARLEN(Bit#(4) v);
  -    method Action S_AXI_HP2_ARLOCK(Bit#(2) v);
  -    method Action S_AXI_HP2_ARPROT(Bit#(3) v);
  -    method Action S_AXI_HP2_ARQOS(Bit#(4) v);
  -    method Bit#(1) S_AXI_HP2_ARREADY();
  -    method Action S_AXI_HP2_ARSIZE(Bit#(3) v);
  -    method Action S_AXI_HP2_ARVALID(Bit#(1) v);
  -    method Action S_AXI_HP2_AWADDR(Bit#(32) v);
  -    method Action S_AXI_HP2_AWBURST(Bit#(2) v);
  -    method Action S_AXI_HP2_AWCACHE(Bit#(4) v);
  -    method Action S_AXI_HP2_AWID(Bit#(C_S_AXI_HP2_ID_WIDTH) v);
  -    method Action S_AXI_HP2_AWLEN(Bit#(4) v);
  -    method Action S_AXI_HP2_AWLOCK(Bit#(2) v);
  -    method Action S_AXI_HP2_AWPROT(Bit#(3) v);
  -    method Action S_AXI_HP2_AWQOS(Bit#(4) v);
  -    method Bit#(1) S_AXI_HP2_AWREADY();
  -    method Action S_AXI_HP2_AWSIZE(Bit#(3) v);
  -    method Action S_AXI_HP2_AWVALID(Bit#(1) v);
  -    method Bit#(C_S_AXI_HP2_ID_WIDTH) S_AXI_HP2_BID();
  -    method Action S_AXI_HP2_BREADY(Bit#(1) v);
  -    method Bit#(2) S_AXI_HP2_BRESP();
  -    method Bit#(1) S_AXI_HP2_BVALID();
  -    method Bit#(3) S_AXI_HP2_RACOUNT();
  -    method Bit#(8) S_AXI_HP2_RCOUNT();
  -    method Bit#(C_S_AXI_HP2_DATA_WIDTH) S_AXI_HP2_RDATA();
  -    method Action S_AXI_HP2_RDISSUECAP1_EN(Bit#(1) v);
  -    method Bit#(C_S_AXI_HP2_ID_WIDTH) S_AXI_HP2_RID();
  -    method Bit#(1) S_AXI_HP2_RLAST();
  -    method Action S_AXI_HP2_RREADY(Bit#(1) v);
  -    method Bit#(2) S_AXI_HP2_RRESP();
  -    method Bit#(1) S_AXI_HP2_RVALID();
  -    method Bit#(6) S_AXI_HP2_WACOUNT();
  -    method Bit#(8) S_AXI_HP2_WCOUNT();
  -    method Action S_AXI_HP2_WDATA(Bit#(C_S_AXI_HP2_DATA_WIDTH) v);
  -    method Action S_AXI_HP2_WID(Bit#(C_S_AXI_HP2_ID_WIDTH) v);
  -    method Action S_AXI_HP2_WLAST(Bit#(1) v);
  -    method Bit#(1) S_AXI_HP2_WREADY();
  -    method Action S_AXI_HP2_WRISSUECAP1_EN(Bit#(1) v);
  -    method Action S_AXI_HP2_WSTRB(Bit#(C_S_AXI_HP2_DATA_WIDTH) v);
  -    method Action S_AXI_HP2_WVALID(Bit#(1) v);
  -    method Action S_AXI_HP3_ACLK(Bit#(1) v);
  -    method Action S_AXI_HP3_ARADDR(Bit#(32) v);
  -    method Action S_AXI_HP3_ARBURST(Bit#(2) v);
  -    method Action S_AXI_HP3_ARCACHE(Bit#(4) v);
  -    method Bit#(1) S_AXI_HP3_ARESETN();
  -    method Action S_AXI_HP3_ARID(Bit#(C_S_AXI_HP3_ID_WIDTH) v);
  -    method Action S_AXI_HP3_ARLEN(Bit#(4) v);
  -    method Action S_AXI_HP3_ARLOCK(Bit#(2) v);
  -    method Action S_AXI_HP3_ARPROT(Bit#(3) v);
  -    method Action S_AXI_HP3_ARQOS(Bit#(4) v);
  -    method Bit#(1) S_AXI_HP3_ARREADY();
  -    method Action S_AXI_HP3_ARSIZE(Bit#(3) v);
  -    method Action S_AXI_HP3_ARVALID(Bit#(1) v);
  -    method Action S_AXI_HP3_AWADDR(Bit#(32) v);
  -    method Action S_AXI_HP3_AWBURST(Bit#(2) v);
  -    method Action S_AXI_HP3_AWCACHE(Bit#(4) v);
  -    method Action S_AXI_HP3_AWID(Bit#(C_S_AXI_HP3_ID_WIDTH) v);
  -    method Action S_AXI_HP3_AWLEN(Bit#(4) v);
  -    method Action S_AXI_HP3_AWLOCK(Bit#(2) v);
  -    method Action S_AXI_HP3_AWPROT(Bit#(3) v);
  -    method Action S_AXI_HP3_AWQOS(Bit#(4) v);
  -    method Bit#(1) S_AXI_HP3_AWREADY();
  -    method Action S_AXI_HP3_AWSIZE(Bit#(3) v);
  -    method Action S_AXI_HP3_AWVALID(Bit#(1) v);
  -    method Bit#(C_S_AXI_HP3_ID_WIDTH) S_AXI_HP3_BID();
  -    method Action S_AXI_HP3_BREADY(Bit#(1) v);
  -    method Bit#(2) S_AXI_HP3_BRESP();
  -    method Bit#(1) S_AXI_HP3_BVALID();
  -    method Bit#(3) S_AXI_HP3_RACOUNT();
  -    method Bit#(8) S_AXI_HP3_RCOUNT();
  -    method Bit#(C_S_AXI_HP3_DATA_WIDTH) S_AXI_HP3_RDATA();
  -    method Action S_AXI_HP3_RDISSUECAP1_EN(Bit#(1) v);
  -    method Bit#(C_S_AXI_HP3_ID_WIDTH) S_AXI_HP3_RID();
  -    method Bit#(1) S_AXI_HP3_RLAST();
  -    method Action S_AXI_HP3_RREADY(Bit#(1) v);
  -    method Bit#(2) S_AXI_HP3_RRESP();
  -    method Bit#(1) S_AXI_HP3_RVALID();
  -    method Bit#(6) S_AXI_HP3_WACOUNT();
  -    method Bit#(8) S_AXI_HP3_WCOUNT();
  -    method Action S_AXI_HP3_WDATA(Bit#(C_S_AXI_HP3_DATA_WIDTH) v);
  -    method Action S_AXI_HP3_WID(Bit#(C_S_AXI_HP3_ID_WIDTH) v);
  -    method Action S_AXI_HP3_WLAST(Bit#(1) v);
  -    method Bit#(1) S_AXI_HP3_WREADY();
  -    method Action S_AXI_HP3_WRISSUECAP1_EN(Bit#(1) v);
  -    method Action S_AXI_HP3_WSTRB(Bit#(C_S_AXI_HP3_DATA_WIDTH/8) v);
  -    method Action S_AXI_HP3_WVALID(Bit#(1) v);
       method Action TRACE_CLK(Bit#(1) v);
       method Bit#(1) TRACE_CTL();
       method Bit#(32) TRACE_DATA();
  
positive.code: import Vector       :: *;
  
  (* always_ready, always_enabled *)
  interface Ps7#(numeric type C_EMIO_GPIO_WIDTH);
      method Action CAN0_PHY_RX(Bit#(1) v);
      method Bit#(1) CAN0_PHY_TX();
  
negative.code:     method Bit#(1) IRQ_P2F_USB0();
      method Bit#(1) IRQ_P2F_USB1();
      method Bit#(C_MIO_PRIMITIVE) MIO();
      interface AxiSlaveCommon#(1) s_axi_acp;
  >     method Action ARUSER(Bit#(5) v);
  >     method Action AWUSER(Bit#(5) v);
      interface AxiSlaveCommon#(1) s_axi_gp0;
      interface AxiSlaveCommon#(1) s_axi_gp1;
      interface AxiSlaveHighSpeed#(1) s_axi_hp0;
      interface AxiSlaveHighSpeed#(1) s_axi_hp1;
      interface AxiSlaveHighSpeed#(1) s_axi_hp2;
      interface AxiSlaveHighSpeed#(1) s_axi_hp3;
      interface AxiMasterCommon#(1) m_axi_gp0;
      interface AxiMasterCommon#(1) m_axi_gp1;
      interface AxiMasterHighSpeed#(1) m_axi_hp0;
      interface AxiMasterHighSpeed#(1) m_axi_hp1;
      interface AxiMasterHighSpeed#(1) m_axi_hp2;
      interface AxiMasterHighSpeed#(1) m_axi_hp3;
      method Action PJTAG_TCK(Bit#(1) v);
      method Action PJTAG_TD_I(Bit#(1) v);
      method Bit#(1) PJTAG_TD_O();
  