dingceng.fit.eqn

用Verilog HDL语言编写的交通灯程序

-- 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.
--count[0] is count[0] at LC110
count[0]_reg_input = VCC;
count[0] = TFFE(count[0]_reg_input, GLOBAL(CLK), , , );


--count[25] is count[25] at LC13
count[25]_p1_out = count[24] & count[23] & count[22] & count[21] & count[20] & count[19] & count[18] & count[17] & count[16] & count[15] & count[14] & count[13] & count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[25]_or_out = count[25];
count[25]_reg_input = count[25]_p1_out $ count[25]_or_out;
count[25] = DFFE(count[25]_reg_input, GLOBAL(CLK), , , );


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


--count[2] is count[2] at LC20
count[2]_p1_out = count[1] & count[0];
count[2]_or_out = count[2];
count[2]_reg_input = count[2]_p1_out $ count[2]_or_out;
count[2] = DFFE(count[2]_reg_input, GLOBAL(CLK), , , );


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


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


--count[5] is count[5] at LC22
count[5]_p1_out = count[4] & count[3] & count[2] & count[1] & count[0];
count[5]_or_out = count[5];
count[5]_reg_input = count[5]_p1_out $ count[5]_or_out;
count[5] = DFFE(count[5]_reg_input, GLOBAL(CLK), , , );


--count[6] is count[6] at LC23
count[6]_p1_out = count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[6]_or_out = count[6];
count[6]_reg_input = count[6]_p1_out $ count[6]_or_out;
count[6] = DFFE(count[6]_reg_input, GLOBAL(CLK), , , );


--count[7] is count[7] at LC24
count[7]_p1_out = count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[7]_or_out = count[7];
count[7]_reg_input = count[7]_p1_out $ count[7]_or_out;
count[7] = DFFE(count[7]_reg_input, GLOBAL(CLK), , , );


--count[8] is count[8] at LC25
count[8]_p1_out = count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[8]_or_out = count[8]_p1_out;
count[8]_reg_input = count[8]_or_out;
count[8] = TFFE(count[8]_reg_input, GLOBAL(CLK), , , );


--count[9] is count[9] at LC26
count[9]_p1_out = count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[9]_or_out = count[9];
count[9]_reg_input = count[9]_p1_out $ count[9]_or_out;
count[9] = DFFE(count[9]_reg_input, GLOBAL(CLK), , , );


--count[10] is count[10] at LC27
count[10]_p1_out = count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[10]_or_out = count[10];
count[10]_reg_input = count[10]_p1_out $ count[10]_or_out;
count[10] = DFFE(count[10]_reg_input, GLOBAL(CLK), , , );


--count[11] is count[11] at LC29
count[11]_p1_out = count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[11]_or_out = count[11];
count[11]_reg_input = count[11]_p1_out $ count[11]_or_out;
count[11] = DFFE(count[11]_reg_input, GLOBAL(CLK), , , );


--count[12] is count[12] at LC30
count[12]_p1_out = count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[12]_or_out = count[12];
count[12]_reg_input = count[12]_p1_out $ count[12]_or_out;
count[12] = DFFE(count[12]_reg_input, GLOBAL(CLK), , , );


--count[13] is count[13] at LC32
count[13]_p1_out = count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[13]_or_out = count[13];
count[13]_reg_input = count[13]_p1_out $ count[13]_or_out;
count[13] = DFFE(count[13]_reg_input, GLOBAL(CLK), , , );


--count[14] is count[14] at LC5
count[14]_p1_out = count[13] & count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[14]_or_out = count[14];
count[14]_reg_input = count[14]_p1_out $ count[14]_or_out;
count[14] = DFFE(count[14]_reg_input, GLOBAL(CLK), , , );


--count[15] is count[15] at LC6
count[15]_p1_out = count[14] & count[13] & count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[15]_or_out = count[15];
count[15]_reg_input = count[15]_p1_out $ count[15]_or_out;
count[15] = DFFE(count[15]_reg_input, GLOBAL(CLK), , , );


--count[16] is count[16] at LC7
count[16]_p1_out = count[15] & count[14] & count[13] & count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[16]_or_out = count[16]_p1_out;
count[16]_reg_input = count[16]_or_out;
count[16] = TFFE(count[16]_reg_input, GLOBAL(CLK), , , );


--count[17] is count[17] at LC8
count[17]_p1_out = count[16] & count[15] & count[14] & count[13] & count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[17]_or_out = count[17];
count[17]_reg_input = count[17]_p1_out $ count[17]_or_out;
count[17] = DFFE(count[17]_reg_input, GLOBAL(CLK), , , );


--count[18] is count[18] at LC9
count[18]_p1_out = count[17] & count[16] & count[15] & count[14] & count[13] & count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[18]_or_out = count[18];
count[18]_reg_input = count[18]_p1_out $ count[18]_or_out;
count[18] = DFFE(count[18]_reg_input, GLOBAL(CLK), , , );


--count[19] is count[19] at LC10
count[19]_p1_out = count[18] & count[17] & count[16] & count[15] & count[14] & count[13] & count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[19]_or_out = count[19];
count[19]_reg_input = count[19]_p1_out $ count[19]_or_out;
count[19] = DFFE(count[19]_reg_input, GLOBAL(CLK), , , );


--count[20] is count[20] at LC11
count[20]_p1_out = count[19] & count[18] & count[17] & count[16] & count[15] & count[14] & count[13] & count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[20]_or_out = count[20];
count[20]_reg_input = count[20]_p1_out $ count[20]_or_out;
count[20] = DFFE(count[20]_reg_input, GLOBAL(CLK), , , );


--count[21] is count[21] at LC12
count[21]_p1_out = count[20] & count[19] & count[18] & count[17] & count[16] & count[15] & count[14] & count[13] & count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[21]_or_out = count[21];
count[21]_reg_input = count[21]_p1_out $ count[21]_or_out;
count[21] = DFFE(count[21]_reg_input, GLOBAL(CLK), , , );


--count[22] is count[22] at LC15
count[22]_p1_out = count[21] & count[20] & count[19] & count[18] & count[17] & count[16] & count[15] & count[14] & count[13] & count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[22]_or_out = count[22];
count[22]_reg_input = count[22]_p1_out $ count[22]_or_out;
count[22] = DFFE(count[22]_reg_input, GLOBAL(CLK), , , );


--count[23] is count[23] at LC16
count[23]_p1_out = count[22] & count[21] & count[20] & count[19] & count[18] & count[17] & count[16] & count[15] & count[14] & count[13] & count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[23]_or_out = count[23];
count[23]_reg_input = count[23]_p1_out $ count[23]_or_out;
count[23] = DFFE(count[23]_reg_input, GLOBAL(CLK), , , );


--count[24] is count[24] at LC14
count[24]_p1_out = count[23] & count[22] & count[21] & count[20] & count[19] & count[18] & count[17] & count[16] & count[15] & count[14] & count[13] & count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[1] & count[0];
count[24]_or_out = count[24]_p1_out;
count[24]_reg_input = count[24]_or_out;
count[24] = TFFE(count[24]_reg_input, GLOBAL(CLK), , , );


--CLK2 is CLK2 at LC4
CLK2_reg_input = VCC;
CLK2_p3_out = !count[24] & !count[23] & !count[22] & !count[21] & !count[20] & !count[19] & !count[18] & !count[17] & !count[16] & !count[15] & !count[14] & !count[13] & !count[12] & !count[11] & !count[10] & !count[9] & !count[8] & !count[7] & !count[6] & !count[5] & count[4] & count[3] & !count[2] & !count[1] & count[0] & !count[25];
CLK2 = TFFE(CLK2_reg_input, GLOBAL(CLK), , , CLK2_p3_out);


--temp is temp at LC111
temp_p1_out = temp & !A1L66Q & !A1L55Q & !A1L52Q & !A1L47Q & !A1L49Q & !A1L64Q & !A1L58Q & !A1L61Q;
temp_or_out = temp_p1_out # !EN;
temp_reg_input = !(temp_or_out);
temp = DFFE(temp_reg_input, CLK2, , , );


--A1L47Q is count_down[0]~reg0 at LC105
A1L47Q_p0_out = !A1L47Q & !EN;
A1L47Q_p1_out = !A1L66Q & !A1L55Q & !A1L52Q & !A1L49Q & !A1L64Q & !A1L58Q & !A1L61Q & !A1L47Q & temp;
A1L47Q_p2_out = !temp & !A1L73Q & !A1L74Q & EN;
A1L47Q_p4_out = A1L47Q & temp & EN;
A1L47Q_or_out = A1L47Q_p0_out # A1L47Q_p1_out # A1L47Q_p2_out # A1L47Q_p4_out;
A1L47Q_reg_input = !(A1L47Q_or_out);
A1L47Q = DFFE(A1L47Q_reg_input, CLK2, , , );


--A1L49Q is count_down[1]~reg0 at LC17
A1L49Q_p0_out = A1L49Q & !EN;
A1L49Q_p1_out = A1L55Q & !A1L47Q & temp & !A1L49Q & EN;
A1L49Q_p2_out = !A1L47Q & temp & !A1L49Q & EN & A1L52Q;
A1L49Q_p4_out = A1L47Q & temp & A1L49Q;
A1L49Q_or_out = A1L49Q_p0_out # A1L49Q_p1_out # A1L49Q_p2_out # A1L49Q_p4_out;
A1L49Q_reg_input = A1L49Q_or_out;
A1L49Q = DFFE(A1L49Q_reg_input, CLK2, , , );


--A1L52Q is count_down[2]~reg0 at LC19
A1L52Q_p0_out = temp & EN & A1L52Q & !A1L47Q & !A1L49Q;
A1L52Q_p1_out = A1L74Q & !temp & EN & !A1L52Q;
A1L52Q_p2_out = temp & EN & A1L55Q & !A1L47Q & !A1L49Q;
A1L52Q_p4_out = !A1L74Q & !temp & EN & A1L52Q & !A1L73Q;
A1L52Q_or_out = A1L51 # A1L52Q_p0_out # A1L52Q_p1_out # A1L52Q_p2_out # A1L52Q_p4_out;
A1L52Q_reg_input = A1L52Q_or_out;
A1L52Q = TFFE(A1L52Q_reg_input, CLK2, , , );


--A1L55Q is count_down[3]~reg0 at LC99
A1L55Q_p0_out = !A1L52Q & !A1L47Q & !A1L49Q & EN & A1L55Q;
A1L55Q_p1_out = A1L58Q & temp & !A1L52Q & !A1L47Q & !A1L49Q & EN;
A1L55Q_p2_out = temp & !A1L52Q & !A1L47Q & !A1L49Q & EN & A1L61Q;
A1L55Q_p4_out = !temp & EN & A1L55Q;
A1L55Q_or_out = A1L54 # A1L55Q_p0_out # A1L55Q_p1_out # A1L55Q_p2_out # A1L55Q_p4_out;
A1L55Q_reg_input = A1L55Q_or_out;
A1L55Q = TFFE(A1L55Q_reg_input, CLK2, , , );


--A1L58Q is count_down[4]~reg0 at LC107
A1L58Q_p0_out = EN & A1L73Q & !temp & A1L58Q;