traffic_light.map.eqn

CPLD控制交通灯程序

-- Copyright (C) 1991-2006 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.
--L2_7 is frequency:inst4|74390:1|7
L2_7_reg_input = VCC;
L2_7 = TFFE(L2_7_reg_input, !GLOBAL(clk4m), , , );


--L2_6 is frequency:inst4|74390:1|6
L2_6_reg_input = VCC;
L2_6 = TFFE(L2_6_reg_input, L2L5, , , );


--L2L5 is frequency:inst4|74390:1|20~7
L2L5 = EXP(!L2_3 & L2_7);


--L2_5 is frequency:inst4|74390:1|5
L2_5_reg_input = VCC;
L2_5 = TFFE(L2_5_reg_input, !L2_6, , , );


--L2_3 is frequency:inst4|74390:1|3
L2_3_p1_out = !L2_3 & L2_5 & L2_6;
L2_3_or_out = L2_3_p1_out;
L2_3_reg_input = L2_3_or_out;
L2_3 = DFFE(L2_3_reg_input, !L2_7, , , );


--L2_34 is frequency:inst4|74390:1|34
L2_34_reg_input = VCC;
L2_34 = TFFE(L2_34_reg_input, !L2_3, , , );


--L2_33 is frequency:inst4|74390:1|33
L2_33_reg_input = VCC;
L2_33 = TFFE(L2_33_reg_input, L2L6, , , );


--L2L6 is frequency:inst4|74390:1|29~7
L2L6 = EXP(!L2_31 & L2_34);


--L2_32 is frequency:inst4|74390:1|32
L2_32_reg_input = VCC;
L2_32 = TFFE(L2_32_reg_input, !L2_33, , , );


--L2_31 is frequency:inst4|74390:1|31
L2_31_p1_out = !L2_31 & L2_33 & L2_32;
L2_31_or_out = L2_31_p1_out;
L2_31_reg_input = L2_31_or_out;
L2_31 = DFFE(L2_31_reg_input, !L2_34, , , );


--L1_7 is frequency:inst4|74390:2|7
L1_7_reg_input = VCC;
L1_7 = TFFE(L1_7_reg_input, !L2_31, , , );


--L1_6 is frequency:inst4|74390:2|6
L1_6_reg_input = VCC;
L1_6 = TFFE(L1_6_reg_input, L1L5, , , );


--L1L5 is frequency:inst4|74390:2|20~7
L1L5 = EXP(!L1_3 & L1_7);


--L1_5 is frequency:inst4|74390:2|5
L1_5_reg_input = VCC;
L1_5 = TFFE(L1_5_reg_input, !L1_6, , , );


--L1_3 is frequency:inst4|74390:2|3
L1_3_p1_out = !L1_3 & L1_5 & L1_6;
L1_3_or_out = L1_3_p1_out;
L1_3_reg_input = L1_3_or_out;
L1_3 = DFFE(L1_3_reg_input, !L1_7, , , );


--L1_34 is frequency:inst4|74390:2|34
L1_34_reg_input = VCC;
L1_34 = TFFE(L1_34_reg_input, !L1_3, , , );


--F1_4 is frequency:inst4|4
F1_4_reg_input = VCC;
F1_4 = TFFE(F1_4_reg_input, L1_34, , , );


--E1_count[0] is leddongtai:inst3|count[0]
E1_count[0]_p1_out = !E1_count[0] & !E1_count[2] & !B1_flash;
E1_count[0]_or_out = E1_count[0]_p1_out;
E1_count[0]_reg_input = E1_count[0]_or_out;
E1_count[0] = DFFE(E1_count[0]_reg_input, F1_4, , , );


--F1_5 is frequency:inst4|5
F1_5_or_out = F1_4;
F1_5_reg_input = F1_5_or_out;
F1_5 = TFFE(F1_5_reg_input, L1_34, , , );


--L1_33 is frequency:inst4|74390:2|33
L1_33_reg_input = VCC;
L1_33 = TFFE(L1_33_reg_input, L1L6, , , );


--L1L6 is frequency:inst4|74390:2|29~7
L1L6 = EXP(!L1_31 & F1_5);


--L1_32 is frequency:inst4|74390:2|32
L1_32_reg_input = VCC;
L1_32 = TFFE(L1_32_reg_input, !L1_33, , , );


--L1_31 is frequency:inst4|74390:2|31
L1_31_p1_out = !L1_31 & L1_33 & L1_32;
L1_31_or_out = L1_31_p1_out;
L1_31_reg_input = L1_31_or_out;
L1_31 = DFFE(L1_31_reg_input, !F1_5, , , );


--L3_7 is frequency:inst4|74390:3|7
L3_7_reg_input = VCC;
L3_7 = TFFE(L3_7_reg_input, !L1_31, , , );


--L3_6 is frequency:inst4|74390:3|6
L3_6_reg_input = VCC;
L3_6 = TFFE(L3_6_reg_input, L3L5, , , );


--L3L5 is frequency:inst4|74390:3|20~7
L3L5 = EXP(!L3_3 & L3_7);


--L3_5 is frequency:inst4|74390:3|5
L3_5_reg_input = VCC;
L3_5 = TFFE(L3_5_reg_input, !L3_6, , , );


--L3_3 is frequency:inst4|74390:3|3
L3_3_p1_out = !L3_3 & L3_5 & L3_6;
L3_3_or_out = L3_3_p1_out;
L3_3_reg_input = L3_3_or_out;
L3_3 = DFFE(L3_3_reg_input, !L3_7, , , );


--L3_34 is frequency:inst4|74390:3|34
L3_34_reg_input = VCC;
L3_34 = TFFE(L3_34_reg_input, !L3_3, , , );


--L3_33 is frequency:inst4|74390:3|33
L3_33_reg_input = VCC;
L3_33 = TFFE(L3_33_reg_input, L3L6, , , );


--L3L6 is frequency:inst4|74390:3|29~7
L3L6 = EXP(!L3_31 & L3_34);


--L3_32 is frequency:inst4|74390:3|32
L3_32_reg_input = VCC;
L3_32 = TFFE(L3_32_reg_input, !L3_33, , , );


--L3_31 is frequency:inst4|74390:3|31
L3_31_p1_out = !L3_31 & L3_33 & L3_32;
L3_31_or_out = L3_31_p1_out;
L3_31_reg_input = L3_31_or_out;
L3_31 = DFFE(L3_31_reg_input, !L3_34, , , );


--B1_countnum[0] is controller:inst|countnum[0]
B1_countnum[0]_or_out = hold;
B1_countnum[0]_reg_input = B1_countnum[0]_or_out;
B1_countnum[0] = TFFE(B1_countnum[0]_reg_input, L3_31, reset, , );


--B1_flash is controller:inst|flash
B1_flash_p1_out = !hold & reset;
B1_flash_p2_out = !reset & B1_flash;
B1_flash_or_out = B1_flash_p1_out # B1_flash_p2_out;
B1_flash_reg_input = B1_flash_or_out;
B1_flash = DFFE(B1_flash_reg_input, L3_31, , , );


--E1_count[2] is leddongtai:inst3|count[2]
E1_count[2]_or_out = B1_flash;
E1_count[2]_reg_input = E1_count[2]_or_out;
E1_count[2] = DFFE(E1_count[2]_reg_input, F1_4, , , );


--E1_count[1] is leddongtai:inst3|count[1]
E1_count[1]_p1_out = !E1_count[2] & !B1_flash & !E1_count[1] & E1_count[0];
E1_count[1]_p2_out = !E1_count[2] & !B1_flash & E1_count[1] & !E1_count[0];
E1_count[1]_or_out = E1_count[1]_p1_out # E1_count[1]_p2_out;
E1_count[1]_reg_input = E1_count[1]_or_out;
E1_count[1] = DFFE(E1_count[1]_reg_input, F1_4, , , );


--B1_countnum[1] is controller:inst|countnum[1]
B1_countnum[1]_p1_out = B1_countnum[0] & hold;
B1_countnum[1]_p4_out = B1_countnum[5] & B1_countnum[4] & !B1_countnum[3] & !B1_countnum[2] & B1_countnum[0] & hold;
B1_countnum[1]_or_out = B1_countnum[1] # B1_countnum[1]_p4_out;
B1_countnum[1]_reg_input = B1_countnum[1]_p1_out $ B1_countnum[1]_or_out;
B1_countnum[1] = DFFE(B1_countnum[1]_reg_input, L3_31, reset, , );


--E1_sel[3] is leddongtai:inst3|sel[3]
E1_sel[3]_p1_out = E1_count[0] & !E1_count[2] & E1_count[1];
E1_sel[3]_or_out = E1_sel[3]_p1_out;
E1_sel[3]_reg_input = !(E1_sel[3]_or_out);
E1_sel[3] = DFFE(E1_sel[3]_reg_input, F1_4, , , );


--E1_sel[2] is leddongtai:inst3|sel[2]
E1_sel[2]_p1_out = !E1_count[0] & !E1_count[2] & E1_count[1];
E1_sel[2]_or_out = E1_sel[2]_p1_out;
E1_sel[2]_reg_input = !(E1_sel[2]_or_out);
E1_sel[2] = DFFE(E1_sel[2]_reg_input, F1_4, , , );


--E1_sel[1] is leddongtai:inst3|sel[1]
E1_sel[1]_p1_out = E1_count[0] & !E1_count[2] & !E1_count[1];
E1_sel[1]_or_out = E1_sel[1]_p1_out;
E1_sel[1]_reg_input = !(E1_sel[1]_or_out);
E1_sel[1] = DFFE(E1_sel[1]_reg_input, F1_4, , , );


--E1_sel[0] is leddongtai:inst3|sel[0]
E1_sel[0]_p1_out = !E1_count[0] & !E1_count[2] & !E1_count[1];
E1_sel[0]_or_out = E1_sel[0]_p1_out;
E1_sel[0]_reg_input = !(E1_sel[0]_or_out);
E1_sel[0] = DFFE(E1_sel[0]_reg_input, F1_4, , , );


--B1_countnum[2] is controller:inst|countnum[2]
B1_countnum[2]_p1_out = B1_countnum[1] & B1_countnum[0] & hold;
B1_countnum[2]_or_out = B1_countnum[2]_p1_out;
B1_countnum[2]_reg_input = B1_countnum[2]_or_out;
B1_countnum[2] = TFFE(B1_countnum[2]_reg_input, L3_31, reset, , );


--B1_countnum[3] is controller:inst|countnum[3]
B1_countnum[3]_p1_out = B1_countnum[2] & B1_countnum[1] & B1_countnum[0] & hold;
B1_countnum[3]_or_out = B1_countnum[3]_p1_out;
B1_countnum[3]_reg_input = B1_countnum[3]_or_out;
B1_countnum[3] = TFFE(B1_countnum[3]_reg_input, L3_31, reset, , );


--B1_countnum[4] is controller:inst|countnum[4]
B1_countnum[4]_p1_out = B1_countnum[5] & !B1_countnum[3] & !B1_countnum[2] & !B1_countnum[1] & B1_countnum[0] & B1_countnum[4] & hold;
B1_countnum[4]_p4_out = B1_countnum[3] & B1_countnum[2] & B1_countnum[1] & B1_countnum[0] & hold;
B1_countnum[4]_or_out = B1_countnum[4]_p1_out # B1_countnum[4]_p4_out;
B1_countnum[4]_reg_input = B1_countnum[4]_or_out;
B1_countnum[4] = TFFE(B1_countnum[4]_reg_input, L3_31, reset, , );


--B1_countnum[5] is controller:inst|countnum[5]
B1_countnum[5]_p1_out = B1_countnum[4] & B1_countnum[3] & B1_countnum[2] & B1_countnum[1] & B1_countnum[0] & hold;
B1_countnum[5]_p4_out = B1_countnum[4] & !B1_countnum[3] & !B1_countnum[2] & !B1_countnum[1] & B1_countnum[0] & hold & B1_countnum[5];
B1_countnum[5]_or_out = B1_countnum[5]_p1_out # B1_countnum[5]_p4_out;
B1_countnum[5]_reg_input = B1_countnum[5]_or_out;
B1_countnum[5] = TFFE(B1_countnum[5]_reg_input, L3_31, reset, , );


--B1_reda is controller:inst|reda
B1_reda_p1_out = !B1_countnum[2] & !B1_countnum[1] & !B1_countnum[5] & hold & !B1_countnum[0];
B1_reda_p2_out = !B1_countnum[5] & hold & !B1_countnum[4];
B1_reda_p4_out = !B1_countnum[5] & hold & !B1_countnum[3];
B1_reda_or_out = B1_reda_p1_out # B1_reda_p2_out # B1_reda_p4_out;
B1_reda_reg_input = !(B1_reda_or_out);
B1_reda = DFFE(B1_reda_reg_input, L3_31, , , );


--B1_redb is controller:inst|redb
B1_redb_p1_out = !B1_countnum[4] & !B1_countnum[5];
B1_redb_p2_out = !B1_countnum[5] & !B1_countnum[3];
B1_redb_p4_out = !B1_countnum[5] & !B1_countnum[2] & !B1_countnum[1] & !B1_countnum[0];
B1_redb_or_out = !hold # B1_redb_p1_out # B1_redb_p2_out # B1_redb_p4_out;
B1_redb_reg_input = B1_redb_or_out;
B1_redb = DFFE(B1_redb_reg_input, L3_31, , , );


--B1_greena is controller:inst|greena
B1_greena_p1_out = B1_countnum[3] & B1_countnum[4];
B1_greena_p2_out = B1_countnum[4] & B1_countnum[2];
B1_greena_or_out = B1_countnum[5] # B1_greena_p1_out # B1_greena_p2_out # !hold;
B1_greena_reg_input = !(B1_greena_or_out);
B1_greena = DFFE(B1_greena_reg_input, L3_31, , , );


--B1_yellowa is controller:inst|yellowa
B1_yellowa_p1_out = hold & B1_countnum[4] & !B1_countnum[3] & !B1_countnum[5] & B1_countnum[2];
B1_yellowa_p2_out = hold & B1_countnum[4] & B1_countnum[3] & !B1_countnum[5] & !B1_countnum[2] & !B1_countnum[1] & !B1_countnum[0];
B1_yellowa_or_out = B1_yellowa_p1_out # B1_yellowa_p2_out;
B1_yellowa_reg_input = B1_yellowa_or_out;
B1_yellowa = DFFE(B1_yellowa_reg_input, L3_31, , , );


--B1L11 is controller:inst|greenb~41
B1L11 = EXP(!B1_countnum[1] & !B1_countnum[2] & !B1_countnum[0]);


--B1L12 is controller:inst|greenb~42
B1L12 = EXP(B1_countnum[3] & B1_countnum[2]);


--B1_greenb is controller:inst|greenb
B1_greenb_p1_out = !B1_countnum[1] & hold & B1_countnum[5] & !B1_countnum[4] & !B1_countnum[0];
B1_greenb_p2_out = hold & !B1_countnum[5] & B1_countnum[4] & B1L11 & B1_countnum[3];
B1_greenb_p4_out = hold & B1_countnum[5] & !B1_countnum[4] & B1L12;
B1_greenb_or_out = B1_greenb_p1_out # B1_greenb_p2_out # B1_greenb_p4_out;
B1_greenb_reg_input = B1_greenb_or_out;
B1_greenb = DFFE(B1_greenb_reg_input, L3_31, , , );


--B1_yellowb is controller:inst|yellowb
B1_yellowb_p1_out = hold & B1_countnum[4] & B1_countnum[5];
B1_yellowb_p2_out = hold & B1_countnum[5] & B1_countnum[1] & B1_countnum[3] & B1_countnum[2];
B1_yellowb_p4_out = hold & B1_countnum[5] & B1_countnum[3] & B1_countnum[2] & B1_countnum[0];
B1_yellowb_or_out = B1_yellowb_p1_out # B1_yellowb_p2_out # B1_yellowb_p4_out;
B1_yellowb_reg_input = B1_yellowb_or_out;
B1_yellowb = DFFE(B1_yellowb_reg_input, L3_31, , , );


--B1_numb[0] is controller:inst|numb[0]
B1_numb[0]_p0_out = !hold & !B1_numb[0];
B1_numb[0]_p1_out = !B1_countnum[3] & B1_countnum[0] & hold & !B1_countnum[4];
B1_numb[0]_p2_out = B1_countnum[0] & hold & !B1_countnum[4] & !B1_countnum[2];
B1_numb[0]_p4_out = B1_countnum[0] & hold & !B1_countnum[5];
B1_numb[0]_or_out = B1L26 # B1_numb[0]_p0_out # B1_numb[0]_p1_out # B1_numb[0]_p2_out # B1_numb[0]_p4_out;
B1_numb[0]_reg_input = !(B1_numb[0]_or_out);
B1_numb[0] = DFFE(B1_numb[0]_reg_input, L3_31, , , );


--B1_numb[1] is controller:inst|numb[1]
B1_numb[1]_p1_out = hold & B1_countnum[1];
B1_numb[1]_p0_out = hold & !B1_countnum[0] & B1_countnum[5] & B1_countnum[3] & B1_countnum[2] & B1_countnum[1];