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


--count[25] is count[25]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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
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
temp_p1_out = temp & !A1L62Q & !A1L51Q & !A1L48Q & !A1L43Q & !A1L45Q & !A1L60Q & !A1L54Q & !A1L57Q;
temp_or_out = temp_p1_out # !GLOBAL(EN);
temp_reg_input = !(temp_or_out);
temp = DFFE(temp_reg_input, CLK2, , , );


--A1L43Q is count_down[0]~reg0
A1L43Q_p0_out = !A1L43Q & !GLOBAL(EN);
A1L43Q_p1_out = !A1L62Q & !A1L51Q & !A1L48Q & !A1L45Q & !A1L60Q & !A1L54Q & !A1L57Q & !A1L43Q & temp;
A1L43Q_p2_out = !temp & !A1L69Q & !A1L70Q & GLOBAL(EN);
A1L43Q_p4_out = A1L43Q & temp & GLOBAL(EN);
A1L43Q_or_out = A1L43Q_p0_out # A1L43Q_p1_out # A1L43Q_p2_out # A1L43Q_p4_out;
A1L43Q_reg_input = !(A1L43Q_or_out);
A1L43Q = DFFE(A1L43Q_reg_input, CLK2, , , );


--A1L45Q is count_down[1]~reg0
A1L45Q_p0_out = A1L45Q & !GLOBAL(EN);
A1L45Q_p1_out = A1L51Q & !A1L43Q & temp & !A1L45Q & GLOBAL(EN);
A1L45Q_p2_out = !A1L43Q & temp & !A1L45Q & GLOBAL(EN) & A1L48Q;
A1L45Q_p4_out = A1L43Q & temp & A1L45Q;
A1L45Q_or_out = A1L45Q_p0_out # A1L45Q_p1_out # A1L45Q_p2_out # A1L45Q_p4_out;
A1L45Q_reg_input = A1L45Q_or_out;
A1L45Q = DFFE(A1L45Q_reg_input, CLK2, , , );


--A1L48Q is count_down[2]~reg0
A1L48Q_p0_out = temp & GLOBAL(EN) & A1L48Q & !A1L43Q & !A1L45Q;
A1L48Q_p1_out = A1L70Q & !temp & GLOBAL(EN) & !A1L48Q;
A1L48Q_p2_out = temp & GLOBAL(EN) & A1L51Q & !A1L43Q & !A1L45Q;
A1L48Q_p4_out = !A1L70Q & !temp & GLOBAL(EN) & A1L48Q & !A1L69Q;
A1L48Q_or_out = A1L47 # A1L48Q_p0_out # A1L48Q_p1_out # A1L48Q_p2_out # A1L48Q_p4_out;
A1L48Q_reg_input = A1L48Q_or_out;
A1L48Q = TFFE(A1L48Q_reg_input, CLK2, , , );


--A1L51Q is count_down[3]~reg0
A1L51Q_p0_out = !A1L48Q & !A1L43Q & !A1L45Q & GLOBAL(EN) & A1L51Q;
A1L51Q_p1_out = A1L54Q & temp & !A1L48Q & !A1L43Q & !A1L45Q & GLOBAL(EN);
A1L51Q_p2_out = temp & !A1L48Q & !A1L43Q & !A1L45Q & GLOBAL(EN) & A1L57Q;
A1L51Q_p4_out = !temp & GLOBAL(EN) & A1L51Q;
A1L51Q_or_out = A1L50 # A1L51Q_p0_out # A1L51Q_p1_out # A1L51Q_p2_out # A1L51Q_p4_out;
A1L51Q_reg_input = A1L51Q_or_out;
A1L51Q = TFFE(A1L51Q_reg_input, CLK2, , , );