traffic.fit.eqn

一个简单的交通灯程序(包括验证,主程序,和译码程序),在ALTER DE2板上实现

-- 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.
--A1L83Q is east_west[0]~reg0 at LCFF_X41_Y26_N15
A1L83Q = DFFEAS(A1L76, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L14Q is east_west[1]~reg0 at LCFF_X41_Y26_N1
A1L14Q = DFFEAS(A1L86, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L34Q is east_west[2]~reg0 at LCFF_X41_Y26_N9
A1L34Q = DFFEAS(A1L96, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L54Q is east_west[3]~reg0 at LCFF_X40_Y26_N15
A1L54Q = DFFEAS(A1L07, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L74Q is east_west[4]~reg0 at LCFF_X40_Y26_N23
A1L74Q = DFFEAS(A1L17, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L94Q is east_west[5]~reg0 at LCFF_X40_Y26_N17
A1L94Q = DFFEAS(A1L27, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L15Q is east_west[6]~reg0 at LCFF_X40_Y26_N7
A1L15Q = DFFEAS(A1L47, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L65Q is east_west[7]~reg0 at LCFF_X41_Y26_N13
A1L65Q = DFFEAS(A1L57, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L011Q is south_north[0]~reg0 at LCFF_X43_Y26_N23
A1L011Q = DFFEAS(A1L531, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L211Q is south_north[1]~reg0 at LCFF_X43_Y26_N1
A1L211Q = DFFEAS(A1L631, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L411Q is south_north[2]~reg0 at LCFF_X43_Y26_N5
A1L411Q = DFFEAS(A1L731, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L611Q is south_north[3]~reg0 at LCFF_X43_Y26_N3
A1L611Q = DFFEAS(A1L831, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L811Q is south_north[4]~reg0 at LCFF_X43_Y26_N27
A1L811Q = DFFEAS(A1L931, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L021Q is south_north[5]~reg0 at LCFF_X43_Y26_N25
A1L021Q = DFFEAS(A1L041, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L221Q is south_north[6]~reg0 at LCFF_X43_Y26_N29
A1L221Q = DFFEAS(A1L141, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L421Q is south_north[7]~reg0 at LCFF_X42_Y26_N15
A1L421Q = DFFEAS(A1L241, GLOBAL(A1L53),  ,  , !urgency,  ,  ,  ,  );


--A1L87Q is led[0]~reg0 at LCFF_X40_Y26_N25
A1L87Q = DFFEAS(A1L39, GLOBAL(A1L53), GLOBAL(A1L441),  , A1L04,  ,  ,  ,  );


--A1L08Q is led[1]~reg0 at LCFF_X44_Y26_N25
A1L08Q = DFFEAS(A1L49, GLOBAL(A1L53), GLOBAL(A1L441),  ,  ,  ,  ,  ,  );


--A1L28Q is led[2]~reg0 at LCFF_X42_Y26_N9
A1L28Q = DFFEAS(A1L29, GLOBAL(A1L53), GLOBAL(A1L441),  , A1L04,  ,  ,  ,  );


--A1L48Q is led[3]~reg0 at LCFF_X42_Y26_N25
A1L48Q = DFFEAS(A1L001, GLOBAL(A1L53), GLOBAL(A1L441),  , A1L04,  ,  ,  ,  );


--A1L68Q is led[4]~reg0 at LCFF_X42_Y26_N29
A1L68Q = DFFEAS(A1L69, GLOBAL(A1L53), GLOBAL(A1L441),  , A1L04,  ,  ,  ,  );


--A1L09Q is led[5]~reg0 at LCFF_X44_Y26_N9
A1L09Q = DFFEAS(A1L98, GLOBAL(A1L53), GLOBAL(A1L441),  ,  ,  ,  ,  ,  );


--A1L1 is add~489 at LCCOMB_X41_Y26_N16
A1L1 = A1L83Q $ VCC;

--A1L2 is add~490 at LCCOMB_X41_Y26_N16
A1L2 = CARRY(A1L83Q);


--A1L35 is east_west[7]~914 at LCCOMB_X42_Y26_N20
A1L35 = !A1L74Q & !A1L54Q;


--A1L45 is east_west[7]~915 at LCCOMB_X42_Y26_N16
A1L45 = !A1L15Q & !A1L94Q & A1L35 & !A1L65Q;


--A1L201 is reduce_nor~2 at LCCOMB_X42_Y26_N30
A1L201 = A1L14Q # A1L34Q # !A1L83Q # !A1L45;


--A1L89 is process0~227 at LCCOMB_X43_Y26_N30
A1L89 = A1L011Q # !A1L411Q # !A1L211Q;


--A1L501 is reduce_nor~90 at LCCOMB_X42_Y26_N10
A1L501 = !A1L611Q & !A1L021Q & !A1L811Q & !A1L221Q;


--A1L69 is process0~2 at LCCOMB_X42_Y26_N28
A1L69 = A1L501 & !A1L89 & !A1L421Q & !A1L201;


--A1L55 is east_west[7]~916 at LCCOMB_X41_Y26_N4
A1L55 = !A1L14Q & !A1L83Q & !A1L34Q;


--A1L601 is reduce_nor~91 at LCCOMB_X42_Y26_N12
A1L601 = !A1L211Q & !A1L411Q;


--A1L301 is reduce_nor~3 at LCCOMB_X42_Y26_N18
A1L301 = A1L421Q # !A1L501 # !A1L011Q # !A1L601;


--A1L701 is reduce_nor~92 at LCCOMB_X41_Y26_N10
A1L701 = A1L14Q # A1L34Q # !A1L83Q;


--A1L99 is process0~228 at LCCOMB_X42_Y26_N0
A1L99 = !A1L701 & A1L45 & !A1L301;


--A1L79 is process0~5 at LCCOMB_X42_Y26_N6
A1L79 = A1L45 & (A1L55 # !A1L87Q & A1L99) # !A1L45 & (!A1L87Q & A1L99);


--A1L19 is led~572 at LCCOMB_X42_Y26_N2
A1L19 = !A1L69 & !A1L79;


--A1L001 is process0~229 at LCCOMB_X42_Y26_N24
A1L001 = A1L45 & !A1L09Q & !A1L701 & !A1L301;


--A1L101 is process0~230 at LCCOMB_X42_Y27_N16
A1L101 = !A1L14Q # !A1L34Q;


--A1L59 is process0~0 at LCCOMB_X42_Y26_N26
A1L59 = A1L301 # A1L101 # A1L83Q # !A1L45;


--A1L76 is east_west~917 at LCCOMB_X41_Y26_N14
A1L76 = !A1L001 & (A1L1 # !A1L19) # !A1L59;


--A1L401 is reduce_nor~5 at LCCOMB_X41_Y26_N2
A1L401 = A1L54Q # A1L14Q # A1L83Q # A1L34Q;


--A1L3 is add~491 at LCCOMB_X41_Y26_N18
A1L3 = A1L14Q & (A1L401 & A1L2 & VCC # !A1L401 & !A1L2) # !A1L14Q & (A1L401 & !A1L2 # !A1L401 & (A1L2 # GND));

--A1L4 is add~492 at LCCOMB_X41_Y26_N18
A1L4 = CARRY(A1L14Q & !A1L401 & !A1L2 # !A1L14Q & (!A1L2 # !A1L401));


--A1L04 is east_west[1]~918 at LCCOMB_X42_Y26_N4
A1L04 = A1L79 # A1L69 # A1L001 # !A1L59;


--A1L86 is east_west~919 at LCCOMB_X41_Y26_N0
A1L86 = A1L3 & !A1L04;


--A1L5 is add~493 at LCCOMB_X41_Y26_N20
A1L5 = (A1L34Q $ A1L401 $ !A1L4) # GND;

--A1L6 is add~494 at LCCOMB_X41_Y26_N20
A1L6 = CARRY(A1L34Q & (A1L401 # !A1L4) # !A1L34Q & A1L401 & !A1L4);


--A1L96 is east_west~920 at LCCOMB_X41_Y26_N8
A1L96 = !A1L001 & (A1L5 # !A1L19) # !A1L59;


--A1L7 is add~495 at LCCOMB_X41_Y26_N22
A1L7 = A1L54Q & A1L6 & VCC # !A1L54Q & !A1L6;

--A1L8 is add~496 at LCCOMB_X41_Y26_N22
A1L8 = CARRY(!A1L54Q & !A1L6);


--A1L07 is east_west~921 at LCCOMB_X40_Y26_N14
A1L07 = A1L7 & !A1L04;


--A1L9 is add~497 at LCCOMB_X41_Y26_N24
A1L9 = A1L74Q & (GND # !A1L8) # !A1L74Q & (A1L8 $ GND);

--A1L01 is add~498 at LCCOMB_X41_Y26_N24
A1L01 = CARRY(A1L74Q # !A1L8);


--A1L17 is east_west~922 at LCCOMB_X40_Y26_N22
A1L17 = A1L9 & !A1L04;


--A1L11 is add~499 at LCCOMB_X41_Y26_N26
A1L11 = A1L94Q & A1L01 & VCC # !A1L94Q & !A1L01;

--A1L21 is add~500 at LCCOMB_X41_Y26_N26
A1L21 = CARRY(!A1L94Q & !A1L01);


--A1L27 is east_west~923 at LCCOMB_X40_Y26_N16
A1L27 = !A1L04 & A1L11;


--A1L31 is add~501 at LCCOMB_X41_Y26_N28
A1L31 = A1L15Q & (GND # !A1L21) # !A1L15Q & (A1L21 $ GND);

--A1L41 is add~502 at LCCOMB_X41_Y26_N28
A1L41 = CARRY(A1L15Q # !A1L21);


--A1L37 is east_west~924 at LCCOMB_X42_Y26_N22
A1L37 = !A1L001 & (A1L69 # !A1L79) # !A1L59;


--A1L47 is east_west~925 at LCCOMB_X40_Y26_N6
A1L47 = A1L31 & !A1L69 & A1L59 # !A1L37;


--A1L51 is add~503 at LCCOMB_X41_Y26_N30
A1L51 = A1L41 $ !A1L65Q;


--A1L57 is east_west~926 at LCCOMB_X41_Y26_N12
A1L57 = A1L51 & !A1L04;


--A1L71 is add~505 at LCCOMB_X43_Y26_N6
A1L71 = A1L011Q $ VCC;

--A1L81 is add~506 at LCCOMB_X43_Y26_N6
A1L81 = CARRY(A1L011Q);


--A1L29 is led~573 at LCCOMB_X42_Y26_N8
A1L29 = A1L59 & !A1L69 & (A1L09Q # !A1L99);


--A1L531 is south_north~734 at LCCOMB_X43_Y26_N22
A1L531 = A1L71 & !A1L79 # !A1L29;


--A1L91 is add~507 at LCCOMB_X41_Y26_N6
A1L91 = A1L011Q # A1L611Q # !A1L401 # !A1L601;


--A1L02 is add~508 at LCCOMB_X43_Y26_N8
A1L02 = A1L91 & (A1L211Q & A1L81 & VCC # !A1L211Q & !A1L81) # !A1L91 & (A1L211Q & !A1L81 # !A1L211Q & (A1L81 # GND));

--A1L12 is add~509 at LCCOMB_X43_Y26_N8
A1L12 = CARRY(A1L91 & !A1L211Q & !A1L81 # !A1L91 & (!A1L81 # !A1L211Q));


--A1L631 is south_north~735 at LCCOMB_X43_Y26_N0
A1L631 = !A1L04 & A1L02;


--A1L22 is add~510 at LCCOMB_X43_Y26_N10
A1L22 = (A1L91 $ A1L411Q $ !A1L12) # GND;

--A1L32 is add~511 at LCCOMB_X43_Y26_N10
A1L32 = CARRY(A1L91 & (A1L411Q # !A1L12) # !A1L91 & A1L411Q & !A1L12);


--A1L731 is south_north~736 at LCCOMB_X43_Y26_N4
A1L731 = A1L22 & !A1L79 # !A1L29;


--A1L42 is add~512 at LCCOMB_X43_Y26_N12
A1L42 = A1L611Q & A1L32 & VCC # !A1L611Q & !A1L32;

--A1L52 is add~513 at LCCOMB_X43_Y26_N12
A1L52 = CARRY(!A1L611Q & !A1L32);


--A1L831 is south_north~737 at LCCOMB_X43_Y26_N2
A1L831 = A1L42 & !A1L04;


--A1L62 is add~514 at LCCOMB_X43_Y26_N14
A1L62 = A1L811Q & (GND # !A1L52) # !A1L811Q & (A1L52 $ GND);

--A1L72 is add~515 at LCCOMB_X43_Y26_N14
A1L72 = CARRY(A1L811Q # !A1L52);


--A1L931 is south_north~738 at LCCOMB_X43_Y26_N26
A1L931 = !A1L04 & A1L62;


--A1L82 is add~516 at LCCOMB_X43_Y26_N16
A1L82 = A1L021Q & A1L72 & VCC # !A1L021Q & !A1L72;

--A1L92 is add~517 at LCCOMB_X43_Y26_N16
A1L92 = CARRY(!A1L021Q & !A1L72);


--A1L041 is south_north~739 at LCCOMB_X43_Y26_N24
A1L041 = !A1L04 & A1L82;


--A1L03 is add~518 at LCCOMB_X43_Y26_N18
A1L03 = A1L221Q & (GND # !A1L92) # !A1L221Q & (A1L92 $ GND);

--A1L13 is add~519 at LCCOMB_X43_Y26_N18
A1L13 = CARRY(A1L221Q # !A1L92);


--A1L141 is south_north~740 at LCCOMB_X43_Y26_N28
A1L141 = A1L59 & !A1L69 & A1L03 # !A1L37;


--A1L23 is add~520 at LCCOMB_X43_Y26_N20
A1L23 = A1L13 $ !A1L421Q;


--A1L241 is south_north~741 at LCCOMB_X42_Y26_N14
A1L241 = A1L23 & !A1L04;


--A1L39 is led~574 at LCCOMB_X40_Y26_N24
A1L39 = !A1L001 & !A1L69;


--A1L49 is led~575 at LCCOMB_X44_Y26_N24
A1L49 = !A1L001 & A1L19 & A1L08Q # !A1L59;


--A1L88 is led[5]~576 at LCCOMB_X40_Y26_N0
A1L88 = !A1L69 & (A1L09Q & A1L79 # !A1L09Q & (!A1L99));


--A1L98 is led[5]~577 at LCCOMB_X44_Y26_N8
A1L98 = !A1L88 & A1L59;


--clk is clk at PIN_P2
--operation mode is input

clk = INPUT();


--urgency is urgency at PIN_P1
--operation mode is input

urgency = INPUT();


--east_west[0] is east_west[0] at PIN_G13
--operation mode is output

east_west[0] = OUTPUT(A1L83Q);


--east_west[1] is east_west[1] at PIN_H2
--operation mode is output

east_west[1] = OUTPUT(A1L14Q);


--east_west[2] is east_west[2] at PIN_B16
--operation mode is output

east_west[2] = OUTPUT(A1L34Q);


--east_west[3] is east_west[3] at PIN_A14
--operation mode is output

east_west[3] = OUTPUT(A1L54Q);


--east_west[4] is east_west[4] at PIN_Y14
--operation mode is output

east_west[4] = OUTPUT(A1L74Q);


--east_west[5] is east_west[5] at PIN_H26
--operation mode is output

east_west[5] = OUTPUT(A1L94Q);


--east_west[6] is east_west[6] at PIN_AC14
--operation mode is output

east_west[6] = OUTPUT(A1L15Q);


--east_west[7] is east_west[7] at PIN_J17
--operation mode is output

east_west[7] = OUTPUT(A1L65Q);


--south_north[0] is south_north[0] at PIN_AC15
--operation mode is output

south_north[0] = OUTPUT(A1L011Q);


--south_north[1] is south_north[1] at PIN_AF18
--operation mode is output

south_north[1] = OUTPUT(A1L211Q);


--south_north[2] is south_north[2] at PIN_AC17
--operation mode is output

south_north[2] = OUTPUT(A1L411Q);


--south_north[3] is south_north[3] at PIN_J24
--operation mode is output

south_north[3] = OUTPUT(A1L611Q);


--south_north[4] is south_north[4] at PIN_C17
--operation mode is output

south_north[4] = OUTPUT(A1L811Q);


--south_north[5] is south_north[5] at PIN_K19
--operation mode is output

south_north[5] = OUTPUT(A1L021Q);


--south_north[6] is south_north[6] at PIN_F16
--operation mode is output

south_north[6] = OUTPUT(A1L221Q);


--south_north[7] is south_north[7] at PIN_W15
--operation mode is output

south_north[7] = OUTPUT(A1L421Q);


--led[0] is led[0] at PIN_E15
--operation mode is output

led[0] = OUTPUT(!A1L87Q);


--led[1] is led[1] at PIN_H19
--operation mode is output

led[1] = OUTPUT(A1L08Q);


--led[2] is led[2] at PIN_A17
--operation mode is output

led[2] = OUTPUT(A1L28Q);


--led[3] is led[3] at PIN_B17
--operation mode is output

led[3] = OUTPUT(A1L48Q);


--led[4] is led[4] at PIN_D18
--operation mode is output

led[4] = OUTPUT(A1L68Q);


--led[5] is led[5] at PIN_D16
--operation mode is output

led[5] = OUTPUT(!A1L09Q);


--east_westa[0] is east_westa[0] at PIN_F13
--operation mode is output

east_westa[0] = OUTPUT(A1L83Q);


--east_westa[1] is east_westa[1] at PIN_K4
--operation mode is output

east_westa[1] = OUTPUT(A1L14Q);


--east_westa[2] is east_westa[2] at PIN_C16
--operation mode is output

east_westa[2] = OUTPUT(A1L34Q);


--east_westa[3] is east_westa[3] at PIN_D14
--operation mode is output

east_westa[3] = OUTPUT(A1L54Q);


--east_westb[0] is east_westb[0] at PIN_Y15
--operation mode is output

east_westb[0] = OUTPUT(A1L74Q);


--east_westb[1] is east_westb[1] at PIN_J23
--operation mode is output

east_westb[1] = OUTPUT(A1L94Q);


--east_westb[2] is east_westb[2] at PIN_AA13
--operation mode is output

east_westb[2] = OUTPUT(A1L15Q);


--east_westb[3] is east_westb[3] at PIN_H17
--operation mode is output

east_westb[3] = OUTPUT(A1L65Q);


--south_northa[0] is south_northa[0] at PIN_AE16
--operation mode is output

south_northa[0] = OUTPUT(A1L011Q);


--south_northa[1] is south_northa[1] at PIN_AE18
--operation mode is output

south_northa[1] = OUTPUT(A1L211Q);


--south_northa[2] is south_northa[2] at PIN_AD17
--operation mode is output

south_northa[2] = OUTPUT(A1L411Q);


--south_northa[3] is south_northa[3] at PIN_H25
--operation mode is output

south_northa[3] = OUTPUT(A1L611Q);


--south_northb[0] is south_northb[0] at PIN_D17
--operation mode is output

south_northb[0] = OUTPUT(A1L811Q);


--south_northb[1] is south_northb[1] at PIN_K23
--operation mode is output

south_northb[1] = OUTPUT(A1L021Q);


--south_northb[2] is south_northb[2] at PIN_G16
--operation mode is output

south_northb[2] = OUTPUT(A1L221Q);


--south_northb[3] is south_northb[3] at PIN_W16
--operation mode is output

south_northb[3] = OUTPUT(A1L421Q);





--A1L53 is clk~clkctrl at CLKCTRL_G3
A1L53 = cycloneii_clkctrl(.INCLK[0] = clk) WITH (clock_type = "Global Clock");


--A1L441 is urgency~clkctrl at CLKCTRL_G1
A1L441 = cycloneii_clkctrl(.INCLK[0] = urgency) WITH (clock_type = "Global Clock");