traffic.map.eqn

用verlog语言编的又一个很好的综合实验(交通灯的控制),特别适合于FPGA/CPLD的初学者

-- Copyright (C) 1991-2005 Altera Corporation
-- Your use of Altera Corporation's design tools, logic functions 
-- and other software and tools, and its AMPP partner logic 
-- functions, and any output files any of the foregoing 
-- (including device programming or simulation files), and any 
-- associated documentation or information are expressly subject 
-- to the terms and conditions of the Altera Program License 
-- Subscription Agreement, Altera MegaCore Function License 
-- Agreement, or other applicable license agreement, including, 
-- without limitation, that your use is for the sole purpose of 
-- programming logic devices manufactured by Altera and sold by 
-- Altera or its authorized distributors.  Please refer to the 
-- applicable agreement for further details.
--cnt[0] is cnt[0]
cnt[0]_p1_out = cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0];
cnt[0]_or_out = cnt[0]_p1_out;
cnt[0]_reg_input = !cnt[0]_or_out;
cnt[0] = TFFE(cnt[0]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[0] is lpm_counter:cnt_scan_rtl_0|dffs[0]
C1_dffs[0]_reg_input = VCC;
C1_dffs[0] = TFFE(C1_dffs[0]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[1] is lpm_counter:cnt_scan_rtl_0|dffs[1]
C1_dffs[1]_or_out = C1_dffs[0];
C1_dffs[1]_reg_input = C1_dffs[1]_or_out;
C1_dffs[1] = TFFE(C1_dffs[1]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[1] is cnt[1]
cnt[1]_or_out = cnt[0];
cnt[1]_reg_input = cnt[1] $ cnt[1]_or_out;
cnt[1] = DFFE(cnt[1]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[2] is lpm_counter:cnt_scan_rtl_0|dffs[2]
C1_dffs[2]_p1_out = C1_dffs[1] & C1_dffs[0];
C1_dffs[2]_or_out = C1_dffs[2]_p1_out;
C1_dffs[2]_reg_input = C1_dffs[2]_or_out;
C1_dffs[2] = TFFE(C1_dffs[2]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[3] is lpm_counter:cnt_scan_rtl_0|dffs[3]
C1_dffs[3]_p1_out = C1_dffs[2] & C1_dffs[1] & C1_dffs[0];
C1_dffs[3]_or_out = C1_dffs[3]_p1_out;
C1_dffs[3]_reg_input = C1_dffs[3]_or_out;
C1_dffs[3] = TFFE(C1_dffs[3]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[2] is cnt[2]
cnt[2]_p1_out = cnt[1] & cnt[0];
cnt[2]_or_out = cnt[2];
cnt[2]_reg_input = cnt[2]_p1_out $ cnt[2]_or_out;
cnt[2] = DFFE(cnt[2]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[4] is lpm_counter:cnt_scan_rtl_0|dffs[4]
C1_dffs[4]_p1_out = C1_dffs[3] & C1_dffs[2] & C1_dffs[1] & C1_dffs[0];
C1_dffs[4]_or_out = C1_dffs[4]_p1_out;
C1_dffs[4]_reg_input = C1_dffs[4]_or_out;
C1_dffs[4] = TFFE(C1_dffs[4]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[5] is lpm_counter:cnt_scan_rtl_0|dffs[5]
C1_dffs[5]_p1_out = C1_dffs[4] & C1_dffs[3] & C1_dffs[2] & C1_dffs[1] & C1_dffs[0];
C1_dffs[5]_or_out = C1_dffs[5]_p1_out;
C1_dffs[5]_reg_input = C1_dffs[5]_or_out;
C1_dffs[5] = TFFE(C1_dffs[5]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[3] is cnt[3]
cnt[3]_p1_out = cnt[2] & cnt[1] & cnt[0];
cnt[3]_or_out = cnt[3];
cnt[3]_reg_input = cnt[3]_p1_out $ cnt[3]_or_out;
cnt[3] = DFFE(cnt[3]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[6] is lpm_counter:cnt_scan_rtl_0|dffs[6]
C1_dffs[6]_p1_out = C1_dffs[5] & C1_dffs[4] & C1_dffs[3] & C1_dffs[2] & C1_dffs[1] & C1_dffs[0];
C1_dffs[6]_or_out = C1_dffs[6]_p1_out;
C1_dffs[6]_reg_input = C1_dffs[6]_or_out;
C1_dffs[6] = TFFE(C1_dffs[6]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[7] is lpm_counter:cnt_scan_rtl_0|dffs[7]
C1_dffs[7]_p1_out = C1_dffs[6] & C1_dffs[5] & C1_dffs[4] & C1_dffs[3] & C1_dffs[2] & C1_dffs[1] & C1_dffs[0];
C1_dffs[7]_or_out = C1_dffs[7]_p1_out;
C1_dffs[7]_reg_input = C1_dffs[7]_or_out;
C1_dffs[7] = TFFE(C1_dffs[7]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[4] is cnt[4]
cnt[4]_p1_out = cnt[3] & cnt[2] & cnt[1] & cnt[0];
cnt[4]_or_out = cnt[4];
cnt[4]_reg_input = cnt[4]_p1_out $ cnt[4]_or_out;
cnt[4] = DFFE(cnt[4]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[8] is lpm_counter:cnt_scan_rtl_0|dffs[8]
C1_dffs[8]_p1_out = C1_dffs[7] & C1_dffs[6] & C1_dffs[5] & C1_dffs[4] & C1_dffs[3] & C1_dffs[2] & C1_dffs[1] & C1_dffs[0];
C1_dffs[8]_or_out = C1_dffs[8]_p1_out;
C1_dffs[8]_reg_input = C1_dffs[8]_or_out;
C1_dffs[8] = TFFE(C1_dffs[8]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[5] is cnt[5]
cnt[5]_p1_out = cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0];
cnt[5]_or_out = cnt[5];
cnt[5]_reg_input = cnt[5]_p1_out $ cnt[5]_or_out;
cnt[5] = DFFE(cnt[5]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[9] is lpm_counter:cnt_scan_rtl_0|dffs[9]
C1_dffs[9]_p1_out = C1_dffs[8] & C1_dffs[7] & C1_dffs[6] & C1_dffs[5] & C1_dffs[4] & C1_dffs[3] & C1_dffs[2] & C1_dffs[1] & C1_dffs[0];
C1_dffs[9]_or_out = C1_dffs[9]_p1_out;
C1_dffs[9]_reg_input = C1_dffs[9]_or_out;
C1_dffs[9] = TFFE(C1_dffs[9]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[10] is lpm_counter:cnt_scan_rtl_0|dffs[10]
C1_dffs[10]_p1_out = C1_dffs[9] & C1_dffs[8] & C1_dffs[7] & C1_dffs[6] & C1_dffs[5] & C1_dffs[4] & C1_dffs[3] & C1_dffs[2] & C1_dffs[1] & C1_dffs[0];
C1_dffs[10]_or_out = C1_dffs[10]_p1_out;
C1_dffs[10]_reg_input = C1_dffs[10]_or_out;
C1_dffs[10] = TFFE(C1_dffs[10]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[6] is cnt[6]
cnt[6]_p1_out = cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0];
cnt[6]_or_out = cnt[6];
cnt[6]_reg_input = cnt[6]_p1_out $ cnt[6]_or_out;
cnt[6] = DFFE(cnt[6]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[11] is lpm_counter:cnt_scan_rtl_0|dffs[11]
C1_dffs[11]_p1_out = C1_dffs[10] & C1_dffs[9] & C1_dffs[8] & C1_dffs[7] & C1_dffs[6] & C1_dffs[5] & C1_dffs[4] & C1_dffs[3] & C1_dffs[2] & C1_dffs[1] & C1_dffs[0];
C1_dffs[11]_or_out = C1_dffs[11]_p1_out;
C1_dffs[11]_reg_input = C1_dffs[11]_or_out;
C1_dffs[11] = TFFE(C1_dffs[11]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[12] is lpm_counter:cnt_scan_rtl_0|dffs[12]
C1_dffs[12]_p1_out = C1_dffs[11] & C1_dffs[10] & C1_dffs[9] & C1_dffs[8] & C1_dffs[7] & C1_dffs[6] & C1_dffs[5] & C1_dffs[4] & C1_dffs[3] & C1_dffs[2] & C1_dffs[1] & C1_dffs[0];
C1_dffs[12]_or_out = C1_dffs[12]_p1_out;
C1_dffs[12]_reg_input = C1_dffs[12]_or_out;
C1_dffs[12] = TFFE(C1_dffs[12]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[7] is cnt[7]
cnt[7]_p1_out = cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0];
cnt[7]_or_out = cnt[7];
cnt[7]_reg_input = cnt[7]_p1_out $ cnt[7]_or_out;
cnt[7] = DFFE(cnt[7]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[13] is lpm_counter:cnt_scan_rtl_0|dffs[13]
C1_dffs[13]_p1_out = C1_dffs[12] & C1_dffs[11] & C1_dffs[10] & C1_dffs[9] & C1_dffs[8] & C1_dffs[7] & C1_dffs[6] & C1_dffs[5] & C1_dffs[4] & C1_dffs[3] & C1_dffs[2] & C1_dffs[1] & C1_dffs[0];
C1_dffs[13]_or_out = C1_dffs[13]_p1_out;
C1_dffs[13]_reg_input = C1_dffs[13]_or_out;
C1_dffs[13] = TFFE(C1_dffs[13]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[14] is lpm_counter:cnt_scan_rtl_0|dffs[14]
C1_dffs[14]_p1_out = C1_dffs[13] & C1_dffs[12] & C1_dffs[11] & C1_dffs[10] & C1_dffs[9] & C1_dffs[8] & C1_dffs[7] & C1_dffs[6] & C1_dffs[5] & C1_dffs[4] & C1_dffs[3] & C1_dffs[2] & C1_dffs[1] & C1_dffs[0];
C1_dffs[14]_or_out = C1_dffs[14]_p1_out;
C1_dffs[14]_reg_input = C1_dffs[14]_or_out;
C1_dffs[14] = TFFE(C1_dffs[14]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[8] is cnt[8]
cnt[8]_p1_out = cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0];
cnt[8]_or_out = cnt[8]_p1_out;
cnt[8]_reg_input = cnt[8]_or_out;
cnt[8] = TFFE(cnt[8]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--C1_dffs[15] is lpm_counter:cnt_scan_rtl_0|dffs[15]
C1_dffs[15]_p1_out = C1_dffs[14] & C1_dffs[13] & C1_dffs[12] & C1_dffs[11] & C1_dffs[10] & C1_dffs[9] & C1_dffs[8] & C1_dffs[7] & C1_dffs[6] & C1_dffs[5] & C1_dffs[4] & C1_dffs[3] & C1_dffs[2] & C1_dffs[1] & C1_dffs[0];
C1_dffs[15]_or_out = C1_dffs[15]_p1_out;
C1_dffs[15]_reg_input = C1_dffs[15]_or_out;
C1_dffs[15] = TFFE(C1_dffs[15]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--A1L44Q is en[0]~reg0
A1L44Q_p1_out = C1_dffs[15] & C1_dffs[14] & C1_dffs[13] & C1_dffs[12] & C1_dffs[11] & C1_dffs[10] & C1_dffs[9] & C1_dffs[8] & C1_dffs[7] & C1_dffs[6] & C1_dffs[5] & C1_dffs[4] & C1_dffs[3] & C1_dffs[2] & C1_dffs[1] & C1_dffs[0];
A1L44Q_or_out = A1L44Q_p1_out;
A1L44Q_reg_input = A1L44Q_or_out;
A1L44Q = TFFE(A1L44Q_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--A1L64Q is en[1]~reg0
A1L64Q_p1_out = C1_dffs[15] & C1_dffs[14] & C1_dffs[13] & C1_dffs[12] & C1_dffs[11] & C1_dffs[10] & C1_dffs[9] & C1_dffs[8] & C1_dffs[7] & C1_dffs[6] & C1_dffs[5] & C1_dffs[4] & C1_dffs[3] & C1_dffs[2] & C1_dffs[1] & C1_dffs[0];
A1L64Q_or_out = A1L64Q_p1_out;
A1L64Q_reg_input = A1L64Q_or_out;
A1L64Q = TFFE(A1L64Q_reg_input, GLOBAL(clk), , rst, );


--cnt[9] is cnt[9]
cnt[9]_p1_out = cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0] & A1L65;
cnt[9]_p2_out = !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & cnt[9] & cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10];
cnt[9]_or_out = cnt[9]_p1_out # cnt[9]_p2_out;
cnt[9]_reg_input = cnt[9]_or_out;
cnt[9] = TFFE(cnt[9]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[10] is cnt[10]
cnt[10]_p1_out = cnt[9] & cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0];
cnt[10]_or_out = cnt[10];
cnt[10]_reg_input = cnt[10]_p1_out $ cnt[10]_or_out;
cnt[10] = DFFE(cnt[10]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[11] is cnt[11]
cnt[11]_p1_out = cnt[10] & cnt[9] & cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0] & A1L65;
cnt[11]_p2_out = !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & cnt[11] & cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12];
cnt[11]_or_out = cnt[11]_p1_out # cnt[11]_p2_out;
cnt[11]_reg_input = cnt[11]_or_out;
cnt[11] = TFFE(cnt[11]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[12] is cnt[12]
cnt[12]_p1_out = cnt[11] & cnt[10] & cnt[9] & cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0] & A1L65;