jiaotongdeng.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.
--J1_dffs[0] is xianshi:inst1|lpm_counter:count_rtl_0|dffs[0]
J1_dffs[0]_reg_input = VCC;
J1_dffs[0] = TFFE(J1_dffs[0]_reg_input, GLOBAL(CLK), , , );


--J1_dffs[1] is xianshi:inst1|lpm_counter:count_rtl_0|dffs[1]
J1_dffs[1]_or_out = J1_dffs[0];
J1_dffs[1]_reg_input = J1_dffs[1]_or_out;
J1_dffs[1] = TFFE(J1_dffs[1]_reg_input, GLOBAL(CLK), , , );


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


--B1L50Q is jiaotongdeng:inst|current_state~15
B1L50Q_or_out = !B1L49Q;
B1L50Q_reg_input = !B1L50Q_or_out;
B1L50Q = TFFE(B1L50Q_reg_input, B1_CLK1, GLOBAL(ST), , );


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


--B1L43 is jiaotongdeng:inst|current_state.state0~27
B1L43_p1_out = !B1L50Q & !B1L51Q & !B1L49Q;
B1L43_or_out = B1L43_p1_out;
B1L43 = B1L43_or_out;


--B1L47 is jiaotongdeng:inst|current_state.state6~40
B1L47_p1_out = B1L50Q & B1L51Q & !B1L49Q;
B1L47_or_out = B1L47_p1_out;
B1L47 = B1L47_or_out;


--B1L46 is jiaotongdeng:inst|current_state.state4~31
B1L46_p1_out = !B1L50Q & B1L51Q & !B1L49Q;
B1L46_or_out = B1L46_p1_out;
B1L46 = B1L46_or_out;


--B1L44 is jiaotongdeng:inst|current_state.state2~37
B1L44_p1_out = B1L50Q & !B1L51Q & !B1L49Q;
B1L44_or_out = B1L44_p1_out;
B1L44 = B1L44_or_out;


--J1_dffs[2] is xianshi:inst1|lpm_counter:count_rtl_0|dffs[2]
J1_dffs[2]_p1_out = J1_dffs[1] & J1_dffs[0];
J1_dffs[2]_or_out = J1_dffs[2]_p1_out;
J1_dffs[2]_reg_input = J1_dffs[2]_or_out;
J1_dffs[2] = TFFE(J1_dffs[2]_reg_input, GLOBAL(CLK), , , );


--J1_dffs[3] is xianshi:inst1|lpm_counter:count_rtl_0|dffs[3]
J1_dffs[3]_p1_out = J1_dffs[2] & J1_dffs[1] & J1_dffs[0];
J1_dffs[3]_or_out = J1_dffs[3]_p1_out;
J1_dffs[3]_reg_input = J1_dffs[3]_or_out;
J1_dffs[3] = TFFE(J1_dffs[3]_reg_input, GLOBAL(CLK), , , );


--B1_count[2] is jiaotongdeng:inst|count[2]
B1_count[2]_p1_out = J1_dffs[0] & B1_count[1];
B1_count[2]_or_out = B1_count[2];
B1_count[2]_reg_input = B1_count[2]_p1_out $ B1_count[2]_or_out;
B1_count[2] = DFFE(B1_count[2]_reg_input, GLOBAL(CLK), , , );


--J1_dffs[4] is xianshi:inst1|lpm_counter:count_rtl_0|dffs[4]
J1_dffs[4]_p1_out = J1_dffs[3] & J1_dffs[2] & J1_dffs[1] & J1_dffs[0];
J1_dffs[4]_or_out = J1_dffs[4]_p1_out;
J1_dffs[4]_reg_input = J1_dffs[4]_or_out;
J1_dffs[4] = TFFE(J1_dffs[4]_reg_input, GLOBAL(CLK), , , );


--J1_dffs[5] is xianshi:inst1|lpm_counter:count_rtl_0|dffs[5]
J1_dffs[5]_p1_out = J1_dffs[4] & J1_dffs[3] & J1_dffs[2] & J1_dffs[1] & J1_dffs[0];
J1_dffs[5]_or_out = J1_dffs[5]_p1_out;
J1_dffs[5]_reg_input = J1_dffs[5]_or_out;
J1_dffs[5] = TFFE(J1_dffs[5]_reg_input, GLOBAL(CLK), , , );


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


--J1_dffs[6] is xianshi:inst1|lpm_counter:count_rtl_0|dffs[6]
J1_dffs[6]_p1_out = J1_dffs[5] & J1_dffs[4] & J1_dffs[3] & J1_dffs[2] & J1_dffs[1] & J1_dffs[0];
J1_dffs[6]_or_out = J1_dffs[6]_p1_out;
J1_dffs[6]_reg_input = J1_dffs[6]_or_out;
J1_dffs[6] = TFFE(J1_dffs[6]_reg_input, GLOBAL(CLK), , , );


--J1_dffs[7] is xianshi:inst1|lpm_counter:count_rtl_0|dffs[7]
J1_dffs[7]_p1_out = J1_dffs[6] & J1_dffs[5] & J1_dffs[4] & J1_dffs[3] & J1_dffs[2] & J1_dffs[1] & J1_dffs[0];
J1_dffs[7]_or_out = J1_dffs[7]_p1_out;
J1_dffs[7]_reg_input = J1_dffs[7]_or_out;
J1_dffs[7] = TFFE(J1_dffs[7]_reg_input, GLOBAL(CLK), , , );


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


--J1_dffs[8] is xianshi:inst1|lpm_counter:count_rtl_0|dffs[8]
J1_dffs[8]_p1_out = J1_dffs[7] & J1_dffs[6] & J1_dffs[5] & J1_dffs[4] & J1_dffs[3] & J1_dffs[2] & J1_dffs[1] & J1_dffs[0];
J1_dffs[8]_or_out = J1_dffs[8]_p1_out;
J1_dffs[8]_reg_input = J1_dffs[8]_or_out;
J1_dffs[8] = TFFE(J1_dffs[8]_reg_input, GLOBAL(CLK), , , );


--B1_count[5] is jiaotongdeng:inst|count[5]
B1_count[5]_p1_out = B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[5]_or_out = B1_count[5];
B1_count[5]_reg_input = B1_count[5]_p1_out $ B1_count[5]_or_out;
B1_count[5] = DFFE(B1_count[5]_reg_input, GLOBAL(CLK), , , );


--J1_dffs[9] is xianshi:inst1|lpm_counter:count_rtl_0|dffs[9]
J1_dffs[9]_p1_out = J1_dffs[8] & J1_dffs[7] & J1_dffs[6] & J1_dffs[5] & J1_dffs[4] & J1_dffs[3] & J1_dffs[2] & J1_dffs[1] & J1_dffs[0];
J1_dffs[9]_or_out = J1_dffs[9]_p1_out;
J1_dffs[9]_reg_input = J1_dffs[9]_or_out;
J1_dffs[9] = TFFE(J1_dffs[9]_reg_input, GLOBAL(CLK), , , );


--J1_dffs[10] is xianshi:inst1|lpm_counter:count_rtl_0|dffs[10]
J1_dffs[10]_p1_out = J1_dffs[9] & J1_dffs[8] & J1_dffs[7] & J1_dffs[6] & J1_dffs[5] & J1_dffs[4] & J1_dffs[3] & J1_dffs[2] & J1_dffs[1] & J1_dffs[0];
J1_dffs[10]_or_out = J1_dffs[10]_p1_out;
J1_dffs[10]_reg_input = J1_dffs[10]_or_out;
J1_dffs[10] = TFFE(J1_dffs[10]_reg_input, GLOBAL(CLK), , , );


--B1_count[6] is jiaotongdeng:inst|count[6]
B1_count[6]_p1_out = B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[6]_or_out = B1_count[6];
B1_count[6]_reg_input = B1_count[6]_p1_out $ B1_count[6]_or_out;
B1_count[6] = DFFE(B1_count[6]_reg_input, GLOBAL(CLK), , , );


--J1_dffs[11] is xianshi:inst1|lpm_counter:count_rtl_0|dffs[11]
J1_dffs[11]_p1_out = J1_dffs[10] & J1_dffs[9] & J1_dffs[8] & J1_dffs[7] & J1_dffs[6] & J1_dffs[5] & J1_dffs[4] & J1_dffs[3] & J1_dffs[2] & J1_dffs[1] & J1_dffs[0];
J1_dffs[11]_or_out = J1_dffs[11]_p1_out;
J1_dffs[11]_reg_input = J1_dffs[11]_or_out;
J1_dffs[11] = TFFE(J1_dffs[11]_reg_input, GLOBAL(CLK), , , );


--J1_dffs[12] is xianshi:inst1|lpm_counter:count_rtl_0|dffs[12]
J1_dffs[12]_p1_out = J1_dffs[11] & J1_dffs[10] & J1_dffs[9] & J1_dffs[8] & J1_dffs[7] & J1_dffs[6] & J1_dffs[5] & J1_dffs[4] & J1_dffs[3] & J1_dffs[2] & J1_dffs[1] & J1_dffs[0];
J1_dffs[12]_or_out = J1_dffs[12]_p1_out;
J1_dffs[12]_reg_input = J1_dffs[12]_or_out;
J1_dffs[12] = TFFE(J1_dffs[12]_reg_input, GLOBAL(CLK), , , );


--B1_count[7] is jiaotongdeng:inst|count[7]
B1_count[7]_p1_out = B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[7]_or_out = B1_count[7];
B1_count[7]_reg_input = B1_count[7]_p1_out $ B1_count[7]_or_out;
B1_count[7] = DFFE(B1_count[7]_reg_input, GLOBAL(CLK), , , );


--J1L15 is xianshi:inst1|lpm_counter:count_rtl_0|dffs[12]~19
J1L15_or_out = !J1_dffs[12];
J1L15 = J1L15_or_out;


--B1_count[8] is jiaotongdeng:inst|count[8]
B1_count[8]_p1_out = B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[8]_or_out = B1_count[8]_p1_out;
B1_count[8]_reg_input = B1_count[8]_or_out;
B1_count[8] = TFFE(B1_count[8]_reg_input, GLOBAL(CLK), , , );


--B1_count[9] is jiaotongdeng:inst|count[9]
B1_count[9]_p1_out = B1_count[8] & B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[9]_or_out = B1_count[9];
B1_count[9]_reg_input = B1_count[9]_p1_out $ B1_count[9]_or_out;
B1_count[9] = DFFE(B1_count[9]_reg_input, GLOBAL(CLK), , , );


--B1_count[10] is jiaotongdeng:inst|count[10]
B1_count[10]_p1_out = B1_count[9] & B1_count[8] & B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[10]_or_out = B1_count[10];
B1_count[10]_reg_input = B1_count[10]_p1_out $ B1_count[10]_or_out;
B1_count[10] = DFFE(B1_count[10]_reg_input, GLOBAL(CLK), , , );


--B1_count[11] is jiaotongdeng:inst|count[11]
B1_count[11]_p1_out = B1_count[10] & B1_count[9] & B1_count[8] & B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[11]_or_out = B1_count[11];
B1_count[11]_reg_input = B1_count[11]_p1_out $ B1_count[11]_or_out;
B1_count[11] = DFFE(B1_count[11]_reg_input, GLOBAL(CLK), , , );


--B1_count[12] is jiaotongdeng:inst|count[12]
B1_count[12]_p1_out = B1_count[11] & B1_count[10] & B1_count[9] & B1_count[8] & B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[12]_or_out = B1_count[12];
B1_count[12]_reg_input = B1_count[12]_p1_out $ B1_count[12]_or_out;
B1_count[12] = DFFE(B1_count[12]_reg_input, GLOBAL(CLK), , , );


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


--B1_count[14] is jiaotongdeng:inst|count[14]
B1_count[14]_p1_out = B1_count[13] & B1_count[12] & B1_count[11] & B1_count[10] & B1_count[9] & B1_count[8] & B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[14]_or_out = B1_count[14];
B1_count[14]_reg_input = B1_count[14]_p1_out $ B1_count[14]_or_out;