276 lines
8.0 KiB
Coq
276 lines
8.0 KiB
Coq
|
// ***************************************************************************
|
||
|
|
// ***************************************************************************
|
||
|
|
// Copyright 2011(c) Analog Devices, Inc.
|
||
|
|
//
|
||
|
|
// All rights reserved.
|
||
|
|
//
|
||
|
|
// Redistribution and use in source and binary forms, with or without modification,
|
||
|
|
// are permitted provided that the following conditions are met:
|
||
|
|
// - Redistributions of source code must retain the above copyright
|
||
|
|
// notice, this list of conditions and the following disclaimer.
|
||
|
|
// - Redistributions in binary form must reproduce the above copyright
|
||
|
|
// notice, this list of conditions and the following disclaimer in
|
||
|
|
// the documentation and/or other materials provided with the
|
||
|
|
// distribution.
|
||
|
|
// - Neither the name of Analog Devices, Inc. nor the names of its
|
||
|
|
// contributors may be used to endorse or promote products derived
|
||
|
|
// from this software without specific prior written permission.
|
||
|
|
// - The use of this software may or may not infringe the patent rights
|
||
|
|
// of one or more patent holders. This license does not release you
|
||
|
|
// from the requirement that you obtain separate licenses from these
|
||
|
|
// patent holders to use this software.
|
||
|
|
// - Use of the software either in source or binary form, must be run
|
||
|
|
// on or directly connected to an Analog Devices Inc. component.
|
||
|
|
//
|
||
|
|
// THIS SOFTWARE IS PROVIDED BY ANALOG DEVICES "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
|
||
|
|
// INCLUDING, BUT NOT LIMITED TO, NON-INFRINGEMENT, MERCHANTABILITY AND FITNESS FOR A
|
||
|
|
// PARTICULAR PURPOSE ARE DISCLAIMED.
|
||
|
|
//
|
||
|
|
// IN NO EVENT SHALL ANALOG DEVICES BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
|
||
|
|
// EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, INTELLECTUAL PROPERTY
|
||
|
|
// RIGHTS, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
|
||
|
|
// BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
|
||
|
|
// STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF
|
||
|
|
// THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
||
|
|
// ***************************************************************************
|
||
|
|
// ***************************************************************************
|
||
|
|
|
||
|
|
`timescale 1ns/100ps
|
||
|
|
|
||
|
|
module system_top (
|
||
|
|
|
||
|
|
// clock and resets
|
||
|
|
|
||
|
|
sys_clk,
|
||
|
|
sys_resetn,
|
||
|
|
|
||
|
|
// ddr3
|
||
|
|
|
||
|
|
ddr3_clk_p,
|
||
|
|
ddr3_clk_n,
|
||
|
|
ddr3_a,
|
||
|
|
ddr3_ba,
|
||
|
|
ddr3_cke,
|
||
|
|
ddr3_cs_n,
|
||
|
|
ddr3_odt,
|
||
|
|
ddr3_reset_n,
|
||
|
|
ddr3_we_n,
|
||
|
|
ddr3_ras_n,
|
||
|
|
ddr3_cas_n,
|
||
|
|
ddr3_dqs_p,
|
||
|
|
ddr3_dqs_n,
|
||
|
|
ddr3_dq,
|
||
|
|
ddr3_dm,
|
||
|
|
ddr3_rzq,
|
||
|
|
ddr3_ref_clk,
|
||
|
|
|
||
|
|
// ethernet
|
||
|
|
|
||
|
|
eth_ref_clk,
|
||
|
|
eth_rxd,
|
||
|
|
eth_txd,
|
||
|
|
eth_mdc,
|
||
|
|
eth_mdio,
|
||
|
|
eth_resetn,
|
||
|
|
eth_intn,
|
||
|
|
|
||
|
|
// board gpio
|
||
|
|
|
||
|
|
gpio_bd_i,
|
||
|
|
gpio_bd_o,
|
||
|
|
|
||
|
|
// lane interface
|
||
|
|
|
||
|
|
ref_clk0,
|
||
|
|
ref_clk1,
|
||
|
|
rx_data,
|
||
|
|
tx_data,
|
||
|
|
rx_sync,
|
||
|
|
rx_os_sync,
|
||
|
|
tx_sync,
|
||
|
|
sysref,
|
||
|
|
|
||
|
|
ad9528_reset_b,
|
||
|
|
ad9528_sysref_req,
|
||
|
|
ad9371_tx1_enable,
|
||
|
|
ad9371_tx2_enable,
|
||
|
|
ad9371_rx1_enable,
|
||
|
|
ad9371_rx2_enable,
|
||
|
|
ad9371_test,
|
||
|
|
ad9371_reset_b,
|
||
|
|
ad9371_gpint,
|
||
|
|
ad9371_gpio,
|
||
|
|
|
||
|
|
spi_csn_ad9528,
|
||
|
|
spi_csn_ad9371,
|
||
|
|
spi_clk,
|
||
|
|
spi_mosi,
|
||
|
|
spi_miso);
|
||
|
|
|
||
|
|
// clock and resets
|
||
|
|
|
||
|
|
input sys_clk;
|
||
|
|
input sys_resetn;
|
||
|
|
|
||
|
|
// ddr3
|
||
|
|
|
||
|
|
output ddr3_clk_p;
|
||
|
|
output ddr3_clk_n;
|
||
|
|
output [ 14:0] ddr3_a;
|
||
|
|
output [ 2:0] ddr3_ba;
|
||
|
|
output ddr3_cke;
|
||
|
|
output ddr3_cs_n;
|
||
|
|
output ddr3_odt;
|
||
|
|
output ddr3_reset_n;
|
||
|
|
output ddr3_we_n;
|
||
|
|
output ddr3_ras_n;
|
||
|
|
output ddr3_cas_n;
|
||
|
|
inout [ 7:0] ddr3_dqs_p;
|
||
|
|
inout [ 7:0] ddr3_dqs_n;
|
||
|
|
inout [ 63:0] ddr3_dq;
|
||
|
|
output [ 7:0] ddr3_dm;
|
||
|
|
input ddr3_rzq;
|
||
|
|
input ddr3_ref_clk;
|
||
|
|
|
||
|
|
// ethernet
|
||
|
|
|
||
|
|
input eth_ref_clk;
|
||
|
|
input eth_rxd;
|
||
|
|
output eth_txd;
|
||
|
|
output eth_mdc;
|
||
|
|
inout eth_mdio;
|
||
|
|
output eth_resetn;
|
||
|
|
input eth_intn;
|
||
|
|
|
||
|
|
// board gpio
|
||
|
|
|
||
|
|
input [ 10:0] gpio_bd_i;
|
||
|
|
output [ 15:0] gpio_bd_o;
|
||
|
|
|
||
|
|
// lane interface
|
||
|
|
|
||
|
|
input ref_clk0;
|
||
|
|
input ref_clk1;
|
||
|
|
input [ 3:0] rx_data;
|
||
|
|
output [ 3:0] tx_data;
|
||
|
|
output rx_sync;
|
||
|
|
output rx_os_sync;
|
||
|
|
input tx_sync;
|
||
|
|
input sysref;
|
||
|
|
|
||
|
|
output ad9528_reset_b;
|
||
|
|
output ad9528_sysref_req;
|
||
|
|
output ad9371_tx1_enable;
|
||
|
|
output ad9371_tx2_enable;
|
||
|
|
output ad9371_rx1_enable;
|
||
|
|
output ad9371_rx2_enable;
|
||
|
|
output ad9371_test;
|
||
|
|
output ad9371_reset_b;
|
||
|
|
input ad9371_gpint;
|
||
|
|
|
||
|
|
inout [ 18:0] ad9371_gpio;
|
||
|
|
|
||
|
|
output spi_csn_ad9528;
|
||
|
|
output spi_csn_ad9371;
|
||
|
|
output spi_clk;
|
||
|
|
output spi_mosi;
|
||
|
|
input spi_miso;
|
||
|
|
|
||
|
|
// internal signals
|
||
|
|
|
||
|
|
wire eth_reset;
|
||
|
|
wire eth_mdio_i;
|
||
|
|
wire eth_mdio_o;
|
||
|
|
wire eth_mdio_t;
|
||
|
|
wire [ 63:0] gpio_i;
|
||
|
|
wire [ 63:0] gpio_o;
|
||
|
|
wire spi_miso_s;
|
||
|
|
wire spi_mosi_s;
|
||
|
|
wire [ 7:0] spi_csn_s;
|
||
|
|
|
||
|
|
assign spi_csn_ad9528 = spi_csn_s[0];
|
||
|
|
assign spi_csn_ad9371 = spi_csn_s[1];
|
||
|
|
|
||
|
|
// gpio (ad9371)
|
||
|
|
|
||
|
|
assign ad9371_tx1_enable = gpio_o[55];
|
||
|
|
assign ad9371_tx2_enable = gpio_o[54];
|
||
|
|
assign ad9371_rx1_enable = gpio_o[53];
|
||
|
|
assign ad9371_rx2_enable = gpio_o[52];
|
||
|
|
assign ad9371_test = gpio_o[51];
|
||
|
|
assign ad9371_reset_b = gpio_o[50];
|
||
|
|
assign ad9528_sysref_req = gpio_o[49];
|
||
|
|
assign ad9528_reset_b = gpio_o[48];
|
||
|
|
|
||
|
|
assign gpio_i[63:57] = gpio_o[63:57];
|
||
|
|
assign gpio_i[56:56] = ad9371_gpint;
|
||
|
|
assign gpio_i[55:32] = gpio_o[55:32];
|
||
|
|
|
||
|
|
// board stuff
|
||
|
|
|
||
|
|
assign eth_resetn = ~eth_reset;
|
||
|
|
assign eth_mdio_i = eth_mdio;
|
||
|
|
assign eth_mdio = (eth_mdio_t == 1'b1) ? 1'bz : eth_mdio_o;
|
||
|
|
|
||
|
|
assign ddr3_a[14:12] = 3'd0;
|
||
|
|
|
||
|
|
assign gpio_i[31:27] = gpio_o[31:27];
|
||
|
|
assign gpio_i[26:16] = gpio_bd_i;
|
||
|
|
assign gpio_i[15: 0] = gpio_o[15:0];
|
||
|
|
|
||
|
|
assign gpio_bd_o = gpio_o[15:0];
|
||
|
|
|
||
|
|
system_bd i_system_bd (
|
||
|
|
.sys_clk_clk (sys_clk),
|
||
|
|
.sys_ddr3_cntrl_mem_mem_ck (ddr3_clk_p),
|
||
|
|
.sys_ddr3_cntrl_mem_mem_ck_n (ddr3_clk_n),
|
||
|
|
.sys_ddr3_cntrl_mem_mem_a (ddr3_a[11:0]),
|
||
|
|
.sys_ddr3_cntrl_mem_mem_ba (ddr3_ba),
|
||
|
|
.sys_ddr3_cntrl_mem_mem_cke (ddr3_cke),
|
||
|
|
.sys_ddr3_cntrl_mem_mem_cs_n (ddr3_cs_n),
|
||
|
|
.sys_ddr3_cntrl_mem_mem_odt (ddr3_odt),
|
||
|
|
.sys_ddr3_cntrl_mem_mem_reset_n (ddr3_reset_n),
|
||
|
|
.sys_ddr3_cntrl_mem_mem_we_n (ddr3_we_n),
|
||
|
|
.sys_ddr3_cntrl_mem_mem_ras_n (ddr3_ras_n),
|
||
|
|
.sys_ddr3_cntrl_mem_mem_cas_n (ddr3_cas_n),
|
||
|
|
.sys_ddr3_cntrl_mem_mem_dqs (ddr3_dqs_p[7:0]),
|
||
|
|
.sys_ddr3_cntrl_mem_mem_dqs_n (ddr3_dqs_n[7:0]),
|
||
|
|
.sys_ddr3_cntrl_mem_mem_dq (ddr3_dq[63:0]),
|
||
|
|
.sys_ddr3_cntrl_mem_mem_dm (ddr3_dm[7:0]),
|
||
|
|
.sys_ddr3_cntrl_oct_oct_rzqin (ddr3_rzq),
|
||
|
|
.sys_ddr3_cntrl_pll_ref_clk_clk (ddr3_ref_clk),
|
||
|
|
.sys_ethernet_mdio_mdc (eth_mdc),
|
||
|
|
.sys_ethernet_mdio_mdio_in (eth_mdio_i),
|
||
|
|
.sys_ethernet_mdio_mdio_out (eth_mdio_o),
|
||
|
|
.sys_ethernet_mdio_mdio_oen (eth_mdio_t),
|
||
|
|
.sys_ethernet_ref_clk_clk (eth_ref_clk),
|
||
|
|
.sys_ethernet_reset_reset (eth_reset),
|
||
|
|
.sys_ethernet_sgmii_rxp_0 (eth_rxd),
|
||
|
|
.sys_ethernet_sgmii_txp_0 (eth_txd),
|
||
|
|
.sys_gpio_bd_in_port (gpio_i[31:0]),
|
||
|
|
.sys_gpio_bd_out_port (gpio_o[31:0]),
|
||
|
|
.sys_gpio_in_export (gpio_i[63:32]),
|
||
|
|
.sys_gpio_out_export (gpio_o[63:32]),
|
||
|
|
.sys_rst_reset_n (sys_resetn),
|
||
|
|
.sys_spi_MISO (spi_miso_s),
|
||
|
|
.sys_spi_MOSI (spi_mosi_s),
|
||
|
|
.sys_spi_SCLK (spi_clk),
|
||
|
|
.sys_spi_SS_n (spi_csn_s),
|
||
|
|
.ad9371_gpio_export(ad9371_gpio),
|
||
|
|
.xcvr_ref_clk_clk(ref_clk1),
|
||
|
|
.rx_data_rx_serial_data (rx_data[1:0]),
|
||
|
|
.rx_os_data_rx_serial_data (rx_data[3:2]),
|
||
|
|
.rx_os_sync_rx_sync (rx_os_sync),
|
||
|
|
.rx_os_sysref_rx_ext_sysref_in (sysref),
|
||
|
|
.rx_sync_rx_sync (rx_sync),
|
||
|
|
.rx_sysref_rx_ext_sysref_in (sysref),
|
||
|
|
.tx_data_tx_serial_data (tx_data),
|
||
|
|
.tx_sync_tx_sync (tx_sync),
|
||
|
|
.tx_sysref_tx_ext_sysref_in (sysref)
|
||
|
|
);
|
||
|
|
|
||
|
|
endmodule
|
||
|
|
|
||
|
|
// ***************************************************************************
|
||
|
|
// ***************************************************************************
|