83 lines
2.7 KiB
Coq
83 lines
2.7 KiB
Coq
![]() |
//`include "global_define.v"
|
||
|
|
||
|
module TOP(
|
||
|
inout wire [14:0] DDR_addr,
|
||
|
inout wire [2:0] DDR_ba,
|
||
|
inout wire DDR_cas_n,
|
||
|
inout wire DDR_ck_n,
|
||
|
inout wire DDR_ck_p,
|
||
|
inout wire DDR_cke,
|
||
|
inout wire DDR_cs_n,
|
||
|
inout wire [3:0] DDR_dm,
|
||
|
inout wire [31:0] DDR_dq,
|
||
|
inout wire [3:0] DDR_dqs_n,
|
||
|
inout wire [3:0] DDR_dqs_p,
|
||
|
inout wire DDR_odt,
|
||
|
inout wire DDR_ras_n,
|
||
|
inout wire DDR_reset_n,
|
||
|
inout wire DDR_we_n,
|
||
|
inout wire FIXED_IO_ddr_vrn,
|
||
|
inout wire FIXED_IO_ddr_vrp,
|
||
|
inout wire [53:0] FIXED_IO_mio,
|
||
|
inout wire FIXED_IO_ps_clk,
|
||
|
inout wire FIXED_IO_ps_porb,
|
||
|
inout wire FIXED_IO_ps_srstb,
|
||
|
|
||
|
//misc
|
||
|
//input wire key,
|
||
|
output wire led1,
|
||
|
output wire led2,
|
||
|
output wire led3,
|
||
|
|
||
|
input wire uart_rx,
|
||
|
output wire uart_tx
|
||
|
);
|
||
|
|
||
|
// assign led1 = ~vout_lvds_mmcm_locked;
|
||
|
// assign led2 = ~led_b;
|
||
|
wire led_b;
|
||
|
wire clk_axi;
|
||
|
|
||
|
design_1 u_bd(
|
||
|
.DDR_addr (DDR_addr ),
|
||
|
.DDR_ba (DDR_ba ),
|
||
|
.DDR_cas_n (DDR_cas_n ),
|
||
|
.DDR_ck_n (DDR_ck_n ),
|
||
|
.DDR_ck_p (DDR_ck_p ),
|
||
|
.DDR_cke (DDR_cke ),
|
||
|
.DDR_cs_n (DDR_cs_n ),
|
||
|
.DDR_dm (DDR_dm ),
|
||
|
.DDR_dq (DDR_dq ),
|
||
|
.DDR_dqs_n (DDR_dqs_n ),
|
||
|
.DDR_dqs_p (DDR_dqs_p ),
|
||
|
.DDR_odt (DDR_odt ),
|
||
|
.DDR_ras_n (DDR_ras_n ),
|
||
|
.DDR_reset_n (DDR_reset_n ),
|
||
|
.DDR_we_n (DDR_we_n ),
|
||
|
.FIXED_IO_ddr_vrn (FIXED_IO_ddr_vrn ),
|
||
|
.FIXED_IO_ddr_vrp (FIXED_IO_ddr_vrp ),
|
||
|
.FIXED_IO_mio (FIXED_IO_mio ),
|
||
|
.FIXED_IO_ps_clk (FIXED_IO_ps_clk ),
|
||
|
.FIXED_IO_ps_porb (FIXED_IO_ps_porb ),
|
||
|
.FIXED_IO_ps_srstb (FIXED_IO_ps_srstb ),
|
||
|
|
||
|
.UART_rxd (uart_rx ),
|
||
|
.UART_txd (uart_tx ),
|
||
|
|
||
|
.clk_axi (clk_axi ),
|
||
|
.rstn_axi ( )
|
||
|
);
|
||
|
|
||
|
|
||
|
//--------------------------------led----------------------------------
|
||
|
led led_breath(
|
||
|
.clk (clk_axi ),
|
||
|
.led (led_b )
|
||
|
);
|
||
|
|
||
|
assign led1 = led_b;
|
||
|
assign led2 = led_b;
|
||
|
assign led3 = led_b;
|
||
|
|
||
|
endmodule
|