traffic_light.fit.eqn

CPLD控制交通灯程序

C4_display[0]_p0_out = D2_numb[1] & !D2_numb[3];
C4_display[0]_p1_out = !D2_numb[0] & !D2_numb[2] & !D2_numb[1];
C4_display[0]_p2_out = !D2_numb[2] & !D2_numb[1] & D2_numb[3];
C4_display[0]_p4_out = D2_numb[0] & D2_numb[2] & !D2_numb[3];
C4_display[0]_or_out = C4_display[0]_p0_out # C4_display[0]_p1_out # C4_display[0]_p2_out # C4_display[0]_p4_out;
C4_display[0]_reg_input = !(C4_display[0]_or_out);
C4_display[0] = DFFE(C4_display[0]_reg_input, F1_4, , , );


--C2_display[3] is display:inst5|display[3] at LC102
C2_display[3]_p0_out = !D1_numb[1] & !D1_numb[3] & D1_numb[0];
C2_display[3]_p2_out = !D1_numb[2] & D1_numb[1] & D1_numb[3];
C2_display[3]_p4_out = D1_numb[2] & D1_numb[1] & !D1_numb[3] & !D1_numb[0];
C2_display[3]_or_out = C2_display[3]_p0_out # C2_display[3]_p2_out # C2_display[3]_p4_out;
C2_display[3]_reg_input = D1_numb[2] $ C2_display[3]_or_out;
C2_display[3] = DFFE(C2_display[3]_reg_input, F1_4, , , );


--C4_display[3] is display:inst7|display[3] at LC115
C4_display[3]_p0_out = !D2_numb[1] & !D2_numb[3] & D2_numb[0];
C4_display[3]_p2_out = !D2_numb[2] & D2_numb[1] & D2_numb[3];
C4_display[3]_p4_out = D2_numb[2] & D2_numb[1] & !D2_numb[3] & !D2_numb[0];
C4_display[3]_or_out = C4_display[3]_p0_out # C4_display[3]_p2_out # C4_display[3]_p4_out;
C4_display[3]_reg_input = D2_numb[2] $ C4_display[3]_or_out;
C4_display[3] = DFFE(C4_display[3]_reg_input, F1_4, , , );


--E1_leddisp[5] is leddongtai:inst3|leddisp[5] at LC73
E1_leddisp[5]_p0_out = !E1_count[1] & E1_count[0] & C1_display[5];
E1_leddisp[5]_p1_out = C4_display[5] & E1_count[1] & !E1_count[0];
E1_leddisp[5]_p2_out = E1_count[1] & E1_count[0] & C3_display[5];
E1_leddisp[5]_p4_out = !E1_count[1] & !E1_count[0] & C2_display[5];
E1_leddisp[5]_or_out = E1L13 # E1_leddisp[5]_p0_out # E1_leddisp[5]_p1_out # E1_leddisp[5]_p2_out # E1_leddisp[5]_p4_out;
E1_leddisp[5]_reg_input = E1_leddisp[5]_or_out;
E1_leddisp[5] = DFFE(E1_leddisp[5]_reg_input, F1_4, , , );


--E1_leddisp[4] is leddongtai:inst3|leddisp[4] at LC93
E1_leddisp[4]_p0_out = !E1_count[0] & E1_count[1] & C4_display[4];
E1_leddisp[4]_p1_out = C1_display[4] & E1_count[0] & !E1_count[1];
E1_leddisp[4]_p2_out = E1_count[0] & E1_count[1] & C3_display[4];
E1_leddisp[4]_p4_out = !E1_count[0] & !E1_count[1] & C2_display[4];
E1_leddisp[4]_or_out = E1L14 # E1_leddisp[4]_p0_out # E1_leddisp[4]_p1_out # E1_leddisp[4]_p2_out # E1_leddisp[4]_p4_out;
E1_leddisp[4]_reg_input = E1_leddisp[4]_or_out;
E1_leddisp[4] = DFFE(E1_leddisp[4]_reg_input, F1_4, , , );


--E1_leddisp[2] is leddongtai:inst3|leddisp[2] at LC86
E1_leddisp[2]_p0_out = !E1_count[0] & E1_count[1] & C4_display[2];
E1_leddisp[2]_p1_out = C1_display[2] & E1_count[0] & !E1_count[1];
E1_leddisp[2]_p2_out = E1_count[0] & E1_count[1] & C3_display[2];
E1_leddisp[2]_p4_out = !E1_count[0] & !E1_count[1] & C2_display[2];
E1_leddisp[2]_or_out = E1L15 # E1_leddisp[2]_p0_out # E1_leddisp[2]_p1_out # E1_leddisp[2]_p2_out # E1_leddisp[2]_p4_out;
E1_leddisp[2]_reg_input = E1_leddisp[2]_or_out;
E1_leddisp[2] = DFFE(E1_leddisp[2]_reg_input, F1_4, , , );


--E1_leddisp[6] is leddongtai:inst3|leddisp[6] at LC83
E1_leddisp[6]_p0_out = !E1_count[1] & E1_count[0] & C1_display[6];
E1_leddisp[6]_p1_out = C4_display[6] & E1_count[1] & !E1_count[0];
E1_leddisp[6]_p2_out = E1_count[1] & E1_count[0] & C3_display[6];
E1_leddisp[6]_p4_out = !E1_count[1] & !E1_count[0] & C2_display[6];
E1_leddisp[6]_or_out = E1L16 # E1_leddisp[6]_p0_out # E1_leddisp[6]_p1_out # E1_leddisp[6]_p2_out # E1_leddisp[6]_p4_out;
E1_leddisp[6]_reg_input = E1_leddisp[6]_or_out;
E1_leddisp[6] = DFFE(E1_leddisp[6]_reg_input, F1_4, , , );


--E1_leddisp[1] is leddongtai:inst3|leddisp[1] at LC77
E1_leddisp[1]_p1_out = C4_display[1] & !E1_count[0] & E1_count[1];
E1_leddisp[1]_p2_out = !E1_count[0] & !E1_count[1] & C2_display[1];
E1_leddisp[1]_or_out = E1_leddisp[1]_p1_out # E1_leddisp[1]_p2_out # E1_count[2];
E1_leddisp[1]_reg_input = E1_leddisp[1]_or_out;
E1_leddisp[1] = DFFE(E1_leddisp[1]_reg_input, F1_4, , , );


--E1_leddisp[0] is leddongtai:inst3|leddisp[0] at LC67
E1_leddisp[0]_p0_out = !E1_count[1] & !E1_count[0] & C2_display[0];
E1_leddisp[0]_p1_out = C3_display[3] & E1_count[1] & E1_count[0];
E1_leddisp[0]_p2_out = E1_count[1] & !E1_count[0] & C4_display[0];
E1_leddisp[0]_p4_out = !E1_count[1] & E1_count[0] & C1_display[3];
E1_leddisp[0]_or_out = E1L17 # E1_leddisp[0]_p0_out # E1_leddisp[0]_p1_out # E1_leddisp[0]_p2_out # E1_leddisp[0]_p4_out;
E1_leddisp[0]_reg_input = E1_leddisp[0]_or_out;
E1_leddisp[0] = DFFE(E1_leddisp[0]_reg_input, F1_4, , , );


--E1_leddisp[3] is leddongtai:inst3|leddisp[3] at LC91
E1_leddisp[3]_p0_out = !E1_count[1] & E1_count[0] & C1_display[3];
E1_leddisp[3]_p1_out = C4_display[3] & E1_count[1] & !E1_count[0];
E1_leddisp[3]_p2_out = E1_count[1] & E1_count[0] & C3_display[3];
E1_leddisp[3]_p4_out = !E1_count[1] & !E1_count[0] & C2_display[3];
E1_leddisp[3]_or_out = E1L18 # E1_leddisp[3]_p0_out # E1_leddisp[3]_p1_out # E1_leddisp[3]_p2_out # E1_leddisp[3]_p4_out;
E1_leddisp[3]_reg_input = E1_leddisp[3]_or_out;
E1_leddisp[3] = DFFE(E1_leddisp[3]_reg_input, F1_4, , , );


--B1L26 is controller:inst|numb[0]~2111 at LC4
B1L26_p1_out = B1_countnum[1] & B1_countnum[3] & B1_countnum[2] & !B1_countnum[0] & B1_countnum[5] & hold;
B1L26_p2_out = !B1_countnum[0] & B1_countnum[5] & hold & B1_countnum[4];
B1L26 = B1L26_p1_out # B1L26_p2_out;


--B1L16 is controller:inst|numa[1]~2168 at LC1
B1L16_p1_out = B1_countnum[2] & !B1_countnum[0] & hold & B1_countnum[4] & B1_countnum[3];
B1L16_p2_out = !hold & B1_numa[1] & !B1_countnum[1];
B1L16_p3_out = !B1_countnum[0] & hold & B1_countnum[5];
B1L16_p4_out = B1_countnum[0] & hold & !B1_countnum[4] & !B1_countnum[5];
B1L16 = B1L16_p1_out # B1L16_p2_out # B1L16_p3_out # B1L16_p4_out;


--B1L20 is controller:inst|numa[3]~2173 at LC50
B1L20_p1_out = !B1_countnum[2] & B1_countnum[5] & B1_countnum[3] & !B1_countnum[1] & B1_numa[3];
B1L20_p2_out = !B1_countnum[2] & B1_countnum[3] & B1_countnum[1] & !B1_countnum[0] & hold;
B1L20 = B1L20_p1_out # B1L20_p2_out;


--B1L21 is controller:inst|numa[3]~2176 at LC51
B1L21_p0_out = B1_countnum[2] & !B1_countnum[3] & hold & B1_countnum[1] & !B1_countnum[4];
B1L21_p1_out = !B1_countnum[2] & B1_countnum[3] & B1_countnum[0] & hold & !B1_countnum[1];
B1L21_p2_out = !B1_countnum[2] & B1_countnum[3] & !B1_countnum[0] & hold & B1_countnum[5];
B1L21_p3_out = B1_countnum[2] & !B1_countnum[3] & hold & B1_countnum[5];
B1L21_p4_out = !B1_countnum[3] & B1_countnum[0] & hold & B1_countnum[1] & B1_countnum[5];
B1L21 = B1L20 # B1L21_p0_out # B1L21_p1_out # B1L21_p2_out # B1L21_p3_out # B1L21_p4_out;


--B1L18 is controller:inst|numa[2]~2182 at LC53
B1L18_p1_out = B1_countnum[3] & B1_countnum[4] & B1_countnum[1] & B1_countnum[0] & hold;
B1L18_p2_out = !B1_countnum[3] & !B1_countnum[1] & !B1_countnum[0] & hold & !B1_countnum[5] & !B1_countnum[2];
B1L18_p3_out = !hold & B1_numa[2];
B1L18 = B1L18_p1_out # B1L18_p2_out # B1L18_p3_out;


--B1L35 is controller:inst|numb[4]~2114 at LC33
B1L35_p0_out = !B1_countnum[5] & B1_countnum[4] & hold & !B1_countnum[3];
B1L35_p1_out = B1_countnum[5] & !B1_countnum[4] & hold;
B1L35_p2_out = B1_countnum[5] & hold & !B1_countnum[0] & !B1_countnum[2] & !B1_countnum[3];
B1L35_p3_out = B1_countnum[5] & hold & !B1_countnum[2] & !B1_countnum[3] & !B1_countnum[1];
B1L35_p4_out = !B1_countnum[5] & B1_countnum[4] & hold & !B1_countnum[0] & !B1_countnum[2] & !B1_countnum[1];
B1L35 = B1L35_p0_out # B1L35_p1_out # B1L35_p2_out # B1L35_p3_out # B1L35_p4_out;


--B1L32 is controller:inst|numb[3]~2120 at LC38
B1L32_p1_out = B1_countnum[2] & !B1_countnum[3] & B1_countnum[5] & hold & !B1_countnum[1];
B1L32_p2_out = B1_countnum[2] & B1_countnum[3] & !B1_countnum[5] & hold & !B1_countnum[4];
B1L32 = B1L32_p1_out # B1L32_p2_out;


--B1L33 is controller:inst|numb[3]~2123 at LC39
B1L33_p0_out = !B1_countnum[2] & B1_countnum[3] & B1_countnum[5] & hold & B1_countnum[4] & !B1_countnum[0];
B1L33_p1_out = B1_countnum[2] & B1_countnum[3] & !B1_countnum[5] & hold & B1_countnum[1];
B1L33_p2_out = B1_countnum[3] & !B1_countnum[5] & hold & B1_countnum[1] & !B1_countnum[4];
B1L33_p3_out = !B1_countnum[2] & !B1_countnum[3] & B1_countnum[5] & hold & B1_countnum[1] & B1_countnum[0];
B1L33_p4_out = !B1_countnum[2] & B1_countnum[3] & B1_countnum[5] & hold & !B1_countnum[1] & B1_countnum[4];
B1L33 = B1L32 # B1L33_p0_out # B1L33_p1_out # B1L33_p2_out # B1L33_p3_out # B1L33_p4_out;


--B1L29 is controller:inst|numb[2]~2129 at LC41
B1L29_p0_out = B1_countnum[2] & B1_countnum[1] & B1_countnum[5] & !B1_countnum[0] & hold;
B1L29_p1_out = B1_countnum[2] & !B1_countnum[3] & !B1_countnum[1] & !B1_countnum[5] & B1_numb[2];
B1L29_p2_out = B1_countnum[3] & !B1_countnum[1] & B1_countnum[5] & !B1_countnum[4] & B1_countnum[0] & hold;
B1L29_p3_out = B1_countnum[2] & B1_countnum[3] & B1_countnum[1] & !B1_countnum[5] & B1_countnum[4] & hold;
B1L29_p4_out = B1_countnum[2] & !B1_countnum[3] & B1_countnum[1] & B1_countnum[5] & !B1_countnum[4] & hold;
B1L29 = B1L29_p0_out # B1L29_p1_out # B1L29_p2_out # B1L29_p3_out # B1L29_p4_out;


--B1L30 is controller:inst|numb[2]~2135 at LC42
B1L30_p0_out = !B1_countnum[2] & !B1_countnum[3] & B1_countnum[1] & hold & !B1_countnum[5];
B1L30_p1_out = B1_countnum[2] & B1_countnum[4] & !B1_countnum[3] & !B1_countnum[1] & hold;
B1L30_p2_out = B1_countnum[2] & B1_countnum[4] & !B1_countnum[1] & hold & B1_countnum[5];
B1L30_p3_out = B1_countnum[2] & !B1_countnum[4] & !B1_countnum[1] & hold & !B1_countnum[5];
B1L30_p4_out = !B1_countnum[2] & !B1_countnum[4] & B1_countnum[1] & hold & !B1_countnum[5];
B1L30 = B1L29 # B1L30_p0_out # B1L30_p1_out # B1L30_p2_out # B1L30_p3_out # B1L30_p4_out;


--B1L23 is controller:inst|numa[4]~2186 at LC57
B1L23_p0_out = !B1_countnum[1] & !B1_countnum[0] & !B1_countnum[5] & hold & !B1_countnum[2] & B1_countnum[4];
B1L23_p1_out = !B1_countnum[1] & !B1_countnum[0] & !B1_countnum[3] & !B1_countnum[5] & hold;
B1L23_p2_out = !B1_countnum[3] & !B1_countnum[5] & hold & !B1_countnum[2];
B1L23_p3_out = !hold & B1_numa[4] & !B1_countnum[4];
B1L23_p4_out = !B1_countnum[1] & !B1_countnum[3] & hold & !B1_countnum[2];
B1L23 = B1L23_p0_out # B1L23_p1_out # B1L23_p2_out # B1L23_p3_out # B1L23_p4_out;


--E1L13 is leddongtai:inst3|Mux~1123 at LC72
E1L13 = E1_count[2];


--E1L14 is leddongtai:inst3|Mux~1125 at LC92
E1L14 = E1_count[2];


--E1L15 is leddongtai:inst3|Mux~1127 at LC85
E1L15 = E1_count[2];


--E1L16 is leddongtai:inst3|Mux~1129 at LC82
E1L16 = E1_count[2];


--E1L17 is leddongtai:inst3|Mux~1131 at LC66
E1L17 = E1_count[2];


--E1L18 is leddongtai:inst3|Mux~1133 at LC90
E1L18 = E1_count[2];


--~VCC~0 is ~VCC~0 at LC99
~VCC~0_or_out = GND;
~VCC~0 = !(~VCC~0_or_out);


--clk4m is clk4m at PIN_83
--operation mode is input

clk4m = INPUT();


--reset is reset at PIN_16
--operation mode is input

reset = INPUT();


--hold is hold at PIN_18
--operation mode is input

hold = INPUT();


--dp is dp at PIN_64
--operation mode is output

dp = OUTPUT(~VCC~0);


--clk1k is clk1k at PIN_17
--operation mode is output

clk1k = OUTPUT(F1_4);


--clkl is clkl at PIN_12
--operation mode is output

clkl = OUTPUT(L3_31);


--sel[3] is sel[3] at PIN_75
--operation mode is output

sel[3] = OUTPUT(E1_sel[3]);


--sel[2] is sel[2] at PIN_74
--operation mode is output

sel[2] = OUTPUT(E1_sel[2]);


--sel[1] is sel[1] at PIN_70
--operation mode is output

sel[1] = OUTPUT(E1_sel[1]);


--sel[0] is sel[0] at PIN_69
--operation mode is output

sel[0] = OUTPUT(E1_sel[0]);


--reda is reda at PIN_24
--operation mode is output

reda = OUTPUT(B1_reda);


--greena is greena at PIN_34
--operation mode is output

greena = OUTPUT(B1_greena);


--yellowa is yellowa at PIN_30
--operation mode is output

yellowa = OUTPUT(B1_yellowa);


--redb is redb at PIN_35
--operation mode is output

redb = OUTPUT(B1_redb);


--greenb is greenb at PIN_41
--operation mode is output

greenb = OUTPUT(B1_greenb);


--yellowb is yellowb at PIN_37
--operation mode is output

yellowb = OUTPUT(B1_yellowb);


--leddisp[5] is leddisp[5] at PIN_49
--operation mode is output

leddisp[5] = OUTPUT(E1_leddisp[5]);


--leddisp[4] is leddisp[4] at PIN_60
--operation mode is output

leddisp[4] = OUTPUT(E1_leddisp[4]);


--leddisp[2] is leddisp[2] at PIN_56
--operation mode is output

leddisp[2] = OUTPUT(E1_leddisp[2]);


--leddisp[6] is leddisp[6] at PIN_54
--operation mode is output

leddisp[6] = OUTPUT(E1_leddisp[6]);


--leddisp[1] is leddisp[1] at PIN_51
--operation mode is output

leddisp[1] = OUTPUT(E1_leddisp[1]);


--leddisp[0] is leddisp[0] at PIN_45
--operation mode is output

leddisp[0] = OUTPUT(E1_leddisp[0]);


--leddisp[3] is leddisp[3] at PIN_58
--operation mode is output

leddisp[3] = OUTPUT(E1_leddisp[3]);