trafic.fit.eqn

使用vhdl语言编写的交通灯控制程序

A1L68_cout_0 = NUM_COUNT[14] & !A1L48;
A1L68 = CARRY(A1L68_cout_0);

--A1L78 is NUM_COUNT[14]~476COUT1_593 at LC_X9_Y7_N5
--operation mode is arithmetic

A1L78_cout_1 = NUM_COUNT[14] & !A1L48;
A1L78 = CARRY(A1L78_cout_1);


--NUM_COUNT[15] is NUM_COUNT[15] at LC_X9_Y7_N6
--operation mode is arithmetic

NUM_COUNT[15]_carry_eqn = (!A1L48 & A1L68) # (A1L48 & A1L78);
NUM_COUNT[15]_lut_out = NUM_COUNT[15] $ (NUM_COUNT[15]_carry_eqn);
NUM_COUNT[15] = DFFEAS(NUM_COUNT[15]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L98 is NUM_COUNT[15]~480 at LC_X9_Y7_N6
--operation mode is arithmetic

A1L98_cout_0 = !A1L68 # !NUM_COUNT[15];
A1L98 = CARRY(A1L98_cout_0);

--A1L09 is NUM_COUNT[15]~480COUT1_595 at LC_X9_Y7_N6
--operation mode is arithmetic

A1L09_cout_1 = !A1L78 # !NUM_COUNT[15];
A1L09 = CARRY(A1L09_cout_1);


--NUM_COUNT[16] is NUM_COUNT[16] at LC_X9_Y7_N7
--operation mode is arithmetic

NUM_COUNT[16]_carry_eqn = (!A1L48 & A1L98) # (A1L48 & A1L09);
NUM_COUNT[16]_lut_out = NUM_COUNT[16] $ (!NUM_COUNT[16]_carry_eqn);
NUM_COUNT[16] = DFFEAS(NUM_COUNT[16]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L29 is NUM_COUNT[16]~484 at LC_X9_Y7_N7
--operation mode is arithmetic

A1L29_cout_0 = NUM_COUNT[16] & (!A1L98);
A1L29 = CARRY(A1L29_cout_0);

--A1L39 is NUM_COUNT[16]~484COUT1_597 at LC_X9_Y7_N7
--operation mode is arithmetic

A1L39_cout_1 = NUM_COUNT[16] & (!A1L09);
A1L39 = CARRY(A1L39_cout_1);


--NUM_COUNT[17] is NUM_COUNT[17] at LC_X9_Y7_N8
--operation mode is arithmetic

NUM_COUNT[17]_carry_eqn = (!A1L48 & A1L29) # (A1L48 & A1L39);
NUM_COUNT[17]_lut_out = NUM_COUNT[17] $ NUM_COUNT[17]_carry_eqn;
NUM_COUNT[17] = DFFEAS(NUM_COUNT[17]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L59 is NUM_COUNT[17]~488 at LC_X9_Y7_N8
--operation mode is arithmetic

A1L59_cout_0 = !A1L29 # !NUM_COUNT[17];
A1L59 = CARRY(A1L59_cout_0);

--A1L69 is NUM_COUNT[17]~488COUT1_599 at LC_X9_Y7_N8
--operation mode is arithmetic

A1L69_cout_1 = !A1L39 # !NUM_COUNT[17];
A1L69 = CARRY(A1L69_cout_1);


--A1L04 is LessThan~557 at LC_X8_Y7_N1
--operation mode is normal

A1L04 = NUM_COUNT[17] # NUM_COUNT[14] # NUM_COUNT[16] # NUM_COUNT[15];


--NUM_COUNT[18] is NUM_COUNT[18] at LC_X9_Y7_N9
--operation mode is arithmetic

NUM_COUNT[18]_carry_eqn = (!A1L48 & A1L59) # (A1L48 & A1L69);
NUM_COUNT[18]_lut_out = NUM_COUNT[18] $ (!NUM_COUNT[18]_carry_eqn);
NUM_COUNT[18] = DFFEAS(NUM_COUNT[18]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L89 is NUM_COUNT[18]~492 at LC_X9_Y7_N9
--operation mode is arithmetic

A1L89 = CARRY(NUM_COUNT[18] & (!A1L69));


--NUM_COUNT[19] is NUM_COUNT[19] at LC_X9_Y6_N0
--operation mode is arithmetic

NUM_COUNT[19]_carry_eqn = A1L89;
NUM_COUNT[19]_lut_out = NUM_COUNT[19] $ NUM_COUNT[19]_carry_eqn;
NUM_COUNT[19] = DFFEAS(NUM_COUNT[19]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L001 is NUM_COUNT[19]~496 at LC_X9_Y6_N0
--operation mode is arithmetic

A1L001_cout_0 = !A1L89 # !NUM_COUNT[19];
A1L001 = CARRY(A1L001_cout_0);

--A1L101 is NUM_COUNT[19]~496COUT1_601 at LC_X9_Y6_N0
--operation mode is arithmetic

A1L101_cout_1 = !A1L89 # !NUM_COUNT[19];
A1L101 = CARRY(A1L101_cout_1);


--NUM_COUNT[20] is NUM_COUNT[20] at LC_X9_Y6_N1
--operation mode is arithmetic

NUM_COUNT[20]_carry_eqn = (!A1L89 & A1L001) # (A1L89 & A1L101);
NUM_COUNT[20]_lut_out = NUM_COUNT[20] $ (!NUM_COUNT[20]_carry_eqn);
NUM_COUNT[20] = DFFEAS(NUM_COUNT[20]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L301 is NUM_COUNT[20]~500 at LC_X9_Y6_N1
--operation mode is arithmetic

A1L301_cout_0 = NUM_COUNT[20] & (!A1L001);
A1L301 = CARRY(A1L301_cout_0);

--A1L401 is NUM_COUNT[20]~500COUT1_603 at LC_X9_Y6_N1
--operation mode is arithmetic

A1L401_cout_1 = NUM_COUNT[20] & (!A1L101);
A1L401 = CARRY(A1L401_cout_1);


--NUM_COUNT[21] is NUM_COUNT[21] at LC_X9_Y6_N2
--operation mode is arithmetic

NUM_COUNT[21]_carry_eqn = (!A1L89 & A1L301) # (A1L89 & A1L401);
NUM_COUNT[21]_lut_out = NUM_COUNT[21] $ (NUM_COUNT[21]_carry_eqn);
NUM_COUNT[21] = DFFEAS(NUM_COUNT[21]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L601 is NUM_COUNT[21]~504 at LC_X9_Y6_N2
--operation mode is arithmetic

A1L601_cout_0 = !A1L301 # !NUM_COUNT[21];
A1L601 = CARRY(A1L601_cout_0);

--A1L701 is NUM_COUNT[21]~504COUT1_605 at LC_X9_Y6_N2
--operation mode is arithmetic

A1L701_cout_1 = !A1L401 # !NUM_COUNT[21];
A1L701 = CARRY(A1L701_cout_1);


--A1L14 is LessThan~558 at LC_X8_Y6_N5
--operation mode is normal

A1L14 = NUM_COUNT[20] # NUM_COUNT[19] # NUM_COUNT[21] # NUM_COUNT[18];


--A1L24 is LessThan~559 at LC_X8_Y6_N3
--operation mode is normal

A1L24 = A1L83 # A1L14 # A1L93 # A1L04;


--NUM_COUNT[22] is NUM_COUNT[22] at LC_X9_Y6_N3
--operation mode is arithmetic

NUM_COUNT[22]_carry_eqn = (!A1L89 & A1L601) # (A1L89 & A1L701);
NUM_COUNT[22]_lut_out = NUM_COUNT[22] $ !NUM_COUNT[22]_carry_eqn;
NUM_COUNT[22] = DFFEAS(NUM_COUNT[22]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L901 is NUM_COUNT[22]~508 at LC_X9_Y6_N3
--operation mode is arithmetic

A1L901_cout_0 = NUM_COUNT[22] & !A1L601;
A1L901 = CARRY(A1L901_cout_0);

--A1L011 is NUM_COUNT[22]~508COUT1_607 at LC_X9_Y6_N3
--operation mode is arithmetic

A1L011_cout_1 = NUM_COUNT[22] & !A1L701;
A1L011 = CARRY(A1L011_cout_1);


--NUM_COUNT[23] is NUM_COUNT[23] at LC_X9_Y6_N4
--operation mode is arithmetic

NUM_COUNT[23]_carry_eqn = (!A1L89 & A1L901) # (A1L89 & A1L011);
NUM_COUNT[23]_lut_out = NUM_COUNT[23] $ NUM_COUNT[23]_carry_eqn;
NUM_COUNT[23] = DFFEAS(NUM_COUNT[23]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L211 is NUM_COUNT[23]~512 at LC_X9_Y6_N4
--operation mode is arithmetic

A1L211 = CARRY(!A1L011 # !NUM_COUNT[23]);


--NUM_COUNT[24] is NUM_COUNT[24] at LC_X9_Y6_N5
--operation mode is arithmetic

NUM_COUNT[24]_carry_eqn = A1L211;
NUM_COUNT[24]_lut_out = NUM_COUNT[24] $ !NUM_COUNT[24]_carry_eqn;
NUM_COUNT[24] = DFFEAS(NUM_COUNT[24]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L411 is NUM_COUNT[24]~516 at LC_X9_Y6_N5
--operation mode is arithmetic

A1L411_cout_0 = NUM_COUNT[24] & !A1L211;
A1L411 = CARRY(A1L411_cout_0);

--A1L511 is NUM_COUNT[24]~516COUT1_609 at LC_X9_Y6_N5
--operation mode is arithmetic

A1L511_cout_1 = NUM_COUNT[24] & !A1L211;
A1L511 = CARRY(A1L511_cout_1);


--NUM_COUNT[25] is NUM_COUNT[25] at LC_X9_Y6_N6
--operation mode is arithmetic

NUM_COUNT[25]_carry_eqn = (!A1L211 & A1L411) # (A1L211 & A1L511);
NUM_COUNT[25]_lut_out = NUM_COUNT[25] $ (NUM_COUNT[25]_carry_eqn);
NUM_COUNT[25] = DFFEAS(NUM_COUNT[25]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L711 is NUM_COUNT[25]~520 at LC_X9_Y6_N6
--operation mode is arithmetic

A1L711_cout_0 = !A1L411 # !NUM_COUNT[25];
A1L711 = CARRY(A1L711_cout_0);

--A1L811 is NUM_COUNT[25]~520COUT1_611 at LC_X9_Y6_N6
--operation mode is arithmetic

A1L811_cout_1 = !A1L511 # !NUM_COUNT[25];
A1L811 = CARRY(A1L811_cout_1);


--A1L34 is LessThan~560 at LC_X9_Y6_N9
--operation mode is normal

A1L34 = NUM_COUNT[25] # NUM_COUNT[22] # NUM_COUNT[23] # NUM_COUNT[24];


--A1L44 is LessThan~561 at LC_X8_Y6_N4
--operation mode is normal

A1L44 = NUM_COUNT[27] # NUM_COUNT[26] # A1L34 # A1L24;


--A1L161 is Select~1333 at LC_X16_Y11_N3
--operation mode is normal

A1L161 = CUR_STATE.c & (SIGNAL_M & SIGNAL_F);


--A1L261 is Select~1334 at LC_X17_Y11_N4
--operation mode is normal

A1L261 = CUR_STATE.d & (A1L161 & A1L941 # !A1L151) # !CUR_STATE.d & A1L161 & A1L941;


--A1L92 is CUR_STATE~323 at LC_X17_Y11_N2
--operation mode is normal

A1L92 = !SIGNAL_F & (SIGNAL_M # A1L941);


--A1L361 is Select~1335 at LC_X16_Y11_N4
--operation mode is normal

A1L361 = CUR_STATE.c & (!SIGNAL_F # !SIGNAL_M);


--A1L461 is Select~1337 at LC_X17_Y11_N7
--operation mode is normal

A1L461 = CUR_STATE.b & (A1L151 # A1L161 & !A1L941) # !CUR_STATE.b & A1L161 & !A1L941;


--A1L671 is S~583 at LC_X20_Y11_N5
--operation mode is normal

A1L671 = CUR_STATE.c & (SIGNAL_M $ !SIGNAL_F) # !CUR_STATE.c & (CUR_STATE.a # SIGNAL_M $ !SIGNAL_F);


--A1L771 is S~584 at LC_X19_Y11_N8
--operation mode is normal

A1L771 = A1L671 & !\COUNT:CLR & (\COUNT:S[2] $ A1L11);


--A1L871 is S~585 at LC_X19_Y11_N5
--operation mode is normal

A1L871 = !\COUNT:CLR & A1L01 & (A1L651 # !A1L22);


--A1L32 is COUNT~86 at LC_X16_Y11_N7
--operation mode is normal

A1L32 = SIGNAL_M & SIGNAL_F;


--A1L251 is reduce_nor~271 at LC_X20_Y11_N8
--operation mode is normal

A1L251 = !\COUNT:CLR & A1L671 & A1L9 & !A1L91;


--A1L971 is S~587 at LC_X19_Y11_N2
--operation mode is normal

A1L971 = A1L31 & !\COUNT:CLR & (A1L651 # !A1L22);


--A1L541 is reduce_nor~1 at LC_X19_Y11_N0
--operation mode is normal

A1L541 = A1L251 & A1L871 & A1L971 & !A1L771;


--A1L641 is reduce_nor~2 at LC_X19_Y11_N9
--operation mode is normal

A1L641 = A1L251 & !A1L871 & !A1L971 & A1L771;


--A1L561 is Select~1339 at LC_X19_Y11_N4
--operation mode is normal

A1L561 = A1L651 & (!A1L641) # !A1L651 & A1L32 & (!A1L541);


--A1L661 is Select~1340 at LC_X16_Y11_N5
--operation mode is normal

A1L661 = CUR_STATE.c & (!SIGNAL_M) # !CUR_STATE.c & !SIGNAL_F & (!CUR_STATE.a);


--A1L03 is CUR_STATE~324 at LC_X19_Y11_N1
--operation mode is normal

A1L03 = !SIGNAL_M & !SIGNAL_F & A1L541;


--A1L761 is Select~1342 at LC_X18_Y11_N7
--operation mode is normal

A1L761 = SIGNAL_M & !SIGNAL_F & CUR_STATE.c # !SIGNAL_M & SIGNAL_F & !CUR_STATE.c & !CUR_STATE.a;


--A1L861 is Select~1343 at LC_X18_Y11_N3
--operation mode is normal

A1L861 = A1L961 # A1L541 & (A1L751 # A1L161);


--NUM_COUNT[5] is NUM_COUNT[5] at LC_X9_Y8_N6
--operation mode is arithmetic

NUM_COUNT[5]_carry_eqn = (!A1L65 & A1L85) # (A1L65 & A1L95);
NUM_COUNT[5]_lut_out = NUM_COUNT[5] $ (NUM_COUNT[5]_carry_eqn);
NUM_COUNT[5] = DFFEAS(NUM_COUNT[5]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L16 is NUM_COUNT[5]~524 at LC_X9_Y8_N6
--operation mode is arithmetic

A1L16_cout_0 = !A1L85 # !NUM_COUNT[5];
A1L16 = CARRY(A1L16_cout_0);

--A1L26 is NUM_COUNT[5]~524COUT1_579 at LC_X9_Y8_N6
--operation mode is arithmetic

A1L26_cout_1 = !A1L95 # !NUM_COUNT[5];
A1L26 = CARRY(A1L26_cout_1);


--NUM_COUNT[4] is NUM_COUNT[4] at LC_X9_Y8_N5
--operation mode is arithmetic

NUM_COUNT[4]_carry_eqn = A1L65;
NUM_COUNT[4]_lut_out = NUM_COUNT[4] $ !NUM_COUNT[4]_carry_eqn;
NUM_COUNT[4] = DFFEAS(NUM_COUNT[4]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L85 is NUM_COUNT[4]~528 at LC_X9_Y8_N5
--operation mode is arithmetic

A1L85_cout_0 = NUM_COUNT[4] & !A1L65;
A1L85 = CARRY(A1L85_cout_0);

--A1L95 is NUM_COUNT[4]~528COUT1_577 at LC_X9_Y8_N5
--operation mode is arithmetic

A1L95_cout_1 = NUM_COUNT[4] & !A1L65;
A1L95 = CARRY(A1L95_cout_1);


--NUM_COUNT[3] is NUM_COUNT[3] at LC_X9_Y8_N4
--operation mode is arithmetic

NUM_COUNT[3]_lut_out = NUM_COUNT[3] $ A1L35;
NUM_COUNT[3] = DFFEAS(NUM_COUNT[3]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L65 is NUM_COUNT[3]~532 at LC_X9_Y8_N4
--operation mode is arithmetic

A1L65 = CARRY(!A1L45 # !NUM_COUNT[3]);


--NUM_COUNT[2] is NUM_COUNT[2] at LC_X9_Y8_N3
--operation mode is arithmetic

NUM_COUNT[2]_lut_out = NUM_COUNT[2] $ !A1L05;
NUM_COUNT[2] = DFFEAS(NUM_COUNT[2]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L35 is NUM_COUNT[2]~536 at LC_X9_Y8_N3
--operation mode is arithmetic

A1L35_cout_0 = NUM_COUNT[2] & !A1L05;
A1L35 = CARRY(A1L35_cout_0);

--A1L45 is NUM_COUNT[2]~536COUT1_575 at LC_X9_Y8_N3
--operation mode is arithmetic

A1L45_cout_1 = NUM_COUNT[2] & !A1L15;
A1L45 = CARRY(A1L45_cout_1);


--NUM_COUNT[1] is NUM_COUNT[1] at LC_X9_Y8_N2
--operation mode is arithmetic

NUM_COUNT[1]_lut_out = NUM_COUNT[1] $ (A1L74);
NUM_COUNT[1] = DFFEAS(NUM_COUNT[1]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L05 is NUM_COUNT[1]~540 at LC_X9_Y8_N2
--operation mode is arithmetic

A1L05_cout_0 = !A1L74 # !NUM_COUNT[1];
A1L05 = CARRY(A1L05_cout_0);

--A1L15 is NUM_COUNT[1]~540COUT1_573 at LC_X9_Y8_N2
--operation mode is arithmetic

A1L15_cout_1 = !A1L84 # !NUM_COUNT[1];
A1L15 = CARRY(A1L15_cout_1);


--NUM_COUNT[0] is NUM_COUNT[0] at LC_X9_Y8_N1
--operation mode is arithmetic

NUM_COUNT[0]_lut_out = !NUM_COUNT[0];
NUM_COUNT[0] = DFFEAS(NUM_COUNT[0]_lut_out, GLOBAL(CLK), VCC, , , , , A1L44, );

--A1L74 is NUM_COUNT[0]~544 at LC_X9_Y8_N1
--operation mode is arithmetic

A1L74_cout_0 = NUM_COUNT[0];
A1L74 = CARRY(A1L74_cout_0);

--A1L84 is NUM_COUNT[0]~544COUT1_571 at LC_X9_Y8_N1
--operation mode is arithmetic

A1L84_cout_1 = NUM_COUNT[0];
A1L84 = CARRY(A1L84_cout_1);


--A1L431 is OUT_L[1]~1516 at LC_X22_Y11_N5
--operation mode is normal

A1L431 = A1L741 & (SIGNAL_M $ SIGNAL_F) # !A1L741 & (A1L141 # SIGNAL_M $ SIGNAL_F);


--A1L961 is Select~1345 at LC_X19_Y11_N7
--operation mode is normal

A1L961 = A1L761 # CUR_STATE.a & A1L641 & !CUR_STATE.c;


--SIGNAL_F is SIGNAL_F at PIN_5
--operation mode is input

SIGNAL_F = INPUT();


--SIGNAL_M is SIGNAL_M at PIN_4
--operation mode is input

SIGNAL_M = INPUT();


--CLK is CLK at PIN_93
--operation mode is input

CLK = INPUT();


--RM is RM at PIN_33
--operation mode is output

RM = OUTPUT(A1L551Q);


--YM is YM at PIN_32
--operation mode is output

YM = OUTPUT(A1L381Q);


--GM is GM at PIN_11
--operation mode is output

GM = OUTPUT(A1L53Q);


--RF is RF at PIN_38
--operation mode is output

RF = OUTPUT(!A1L551Q);


--YF is YF at PIN_37
--operation mode is output

YF = OUTPUT(A1L181Q);


--GF is GF at PIN_36
--operation mode is output

GF = OUTPUT(A1L33Q);


--OUT_H[0] is OUT_H[0] at PIN_73
--operation mode is output

OUT_H[0] = OUTPUT(A1L521Q);


--OUT_H[1] is OUT_H[1] at PIN_74
--operation mode is output

OUT_H[1] = OUTPUT(A1L721Q);


--OUT_H[2] is OUT_H[2] at PIN_75
--operation mode is output

OUT_H[2] = OUTPUT(GND);


--OUT_H[3] is OUT_H[3] at PIN_76
--operation mode is output

OUT_H[3] = OUTPUT(GND);


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

OUT_L[0] = OUTPUT(A1L231Q);


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

OUT_L[1] = OUTPUT(A1L531Q);


--OUT_L[2] is OUT_L[2] at PIN_71
--operation mode is output

OUT_L[2] = OUTPUT(A1L731Q);


--OUT_L[3] is OUT_L[3] at PIN_72
--operation mode is output

OUT_L[3] = OUTPUT(A1L931Q);