traffic.map.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.
--A1L73Q is east_west[0]~reg0
A1L73Q = DFFEAS(A1L66, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L04Q is east_west[1]~reg0
A1L04Q = DFFEAS(A1L76, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L24Q is east_west[2]~reg0
A1L24Q = DFFEAS(A1L86, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L44Q is east_west[3]~reg0
A1L44Q = DFFEAS(A1L96, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L64Q is east_west[4]~reg0
A1L64Q = DFFEAS(A1L07, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L84Q is east_west[5]~reg0
A1L84Q = DFFEAS(A1L17, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L05Q is east_west[6]~reg0
A1L05Q = DFFEAS(A1L37, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L55Q is east_west[7]~reg0
A1L55Q = DFFEAS(A1L47, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L901Q is south_north[0]~reg0
A1L901Q = DFFEAS(A1L431, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L111Q is south_north[1]~reg0
A1L111Q = DFFEAS(A1L531, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L311Q is south_north[2]~reg0
A1L311Q = DFFEAS(A1L631, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L511Q is south_north[3]~reg0
A1L511Q = DFFEAS(A1L731, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L711Q is south_north[4]~reg0
A1L711Q = DFFEAS(A1L831, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L911Q is south_north[5]~reg0
A1L911Q = DFFEAS(A1L931, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L121Q is south_north[6]~reg0
A1L121Q = DFFEAS(A1L041, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L321Q is south_north[7]~reg0
A1L321Q = DFFEAS(A1L141, clk,  ,  , !urgency,  ,  ,  ,  );


--A1L77Q is led[0]~reg0
A1L77Q = DFFEAS(A1L29, clk, urgency,  , A1L93,  ,  ,  ,  );


--A1L97Q is led[1]~reg0
A1L97Q = DFFEAS(A1L39, clk, urgency,  ,  ,  ,  ,  ,  );


--A1L18Q is led[2]~reg0
A1L18Q = DFFEAS(A1L19, clk, urgency,  , A1L93,  ,  ,  ,  );


--A1L38Q is led[3]~reg0
A1L38Q = DFFEAS(A1L99, clk, urgency,  , A1L93,  ,  ,  ,  );


--A1L58Q is led[4]~reg0
A1L58Q = DFFEAS(A1L59, clk, urgency,  , A1L93,  ,  ,  ,  );


--A1L98Q is led[5]~reg0
A1L98Q = DFFEAS(A1L88, clk, urgency,  ,  ,  ,  ,  ,  );


--A1L1 is add~489
A1L1 = A1L73Q $ VCC;

--A1L2 is add~490
A1L2 = CARRY(A1L73Q);


--A1L25 is east_west[7]~914
A1L25 = !A1L44Q & !A1L64Q;


--A1L35 is east_west[7]~915
A1L35 = A1L25 & !A1L84Q & !A1L05Q & !A1L55Q;


--A1L101 is reduce_nor~2
A1L101 = A1L04Q # A1L24Q # !A1L35 # !A1L73Q;


--A1L79 is process0~227
A1L79 = A1L901Q # !A1L311Q # !A1L111Q;


--A1L401 is reduce_nor~90
A1L401 = !A1L511Q & !A1L711Q & !A1L911Q & !A1L121Q;


--A1L59 is process0~2
A1L59 = !A1L321Q & !A1L101 & !A1L79 & A1L401;


--A1L45 is east_west[7]~916
A1L45 = !A1L73Q & !A1L04Q & !A1L24Q;


--A1L501 is reduce_nor~91
A1L501 = !A1L111Q & !A1L311Q;


--A1L201 is reduce_nor~3
A1L201 = A1L321Q # !A1L501 # !A1L401 # !A1L901Q;


--A1L601 is reduce_nor~92
A1L601 = A1L04Q # A1L24Q # !A1L73Q;


--A1L89 is process0~228
A1L89 = A1L35 & !A1L201 & !A1L601;


--A1L69 is process0~5
A1L69 = A1L35 & (A1L45 # A1L89 & !A1L77Q) # !A1L35 & (A1L89 & !A1L77Q);


--A1L09 is led~572
A1L09 = !A1L59 & !A1L69;


--A1L99 is process0~229
A1L99 = A1L35 & !A1L98Q & !A1L201 & !A1L601;


--A1L001 is process0~230
A1L001 = !A1L24Q # !A1L04Q;


--A1L49 is process0~0
A1L49 = A1L73Q # A1L201 # A1L001 # !A1L35;


--A1L66 is east_west~917
A1L66 = !A1L99 & (A1L1 # !A1L09) # !A1L49;


--A1L301 is reduce_nor~5
A1L301 = A1L73Q # A1L04Q # A1L24Q # A1L44Q;


--A1L3 is add~491
A1L3 = A1L04Q & (A1L301 & A1L2 & VCC # !A1L301 & !A1L2) # !A1L04Q & (A1L301 & !A1L2 # !A1L301 & (A1L2 # GND));

--A1L4 is add~492
A1L4 = CARRY(A1L04Q & !A1L301 & !A1L2 # !A1L04Q & (!A1L2 # !A1L301));


--A1L93 is east_west[1]~918
A1L93 = A1L59 # A1L69 # A1L99 # !A1L49;


--A1L76 is east_west~919
A1L76 = A1L3 & !A1L93;


--A1L5 is add~493
A1L5 = (A1L24Q $ A1L301 $ !A1L4) # GND;

--A1L6 is add~494
A1L6 = CARRY(A1L24Q & (A1L301 # !A1L4) # !A1L24Q & A1L301 & !A1L4);


--A1L86 is east_west~920
A1L86 = !A1L99 & (A1L5 # !A1L09) # !A1L49;


--A1L7 is add~495
A1L7 = A1L44Q & A1L6 & VCC # !A1L44Q & !A1L6;

--A1L8 is add~496
A1L8 = CARRY(!A1L44Q & !A1L6);


--A1L96 is east_west~921
A1L96 = !A1L93 & A1L7;


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

--A1L01 is add~498
A1L01 = CARRY(A1L64Q # !A1L8);


--A1L07 is east_west~922
A1L07 = !A1L93 & A1L9;


--A1L11 is add~499
A1L11 = A1L84Q & A1L01 & VCC # !A1L84Q & !A1L01;

--A1L21 is add~500
A1L21 = CARRY(!A1L84Q & !A1L01);


--A1L17 is east_west~923
A1L17 = !A1L93 & A1L11;


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

--A1L41 is add~502
A1L41 = CARRY(A1L05Q # !A1L21);


--A1L27 is east_west~924
A1L27 = !A1L99 & (A1L59 # !A1L69) # !A1L49;


--A1L37 is east_west~925
A1L37 = A1L49 & !A1L59 & A1L31 # !A1L27;


--A1L51 is add~503
A1L51 = A1L55Q $ !A1L41;


--A1L47 is east_west~926
A1L47 = A1L51 & !A1L93;


--A1L71 is add~505
A1L71 = A1L901Q $ VCC;

--A1L81 is add~506
A1L81 = CARRY(A1L901Q);


--A1L19 is led~573
A1L19 = A1L49 & !A1L59 & (A1L98Q # !A1L89);


--A1L431 is south_north~734
A1L431 = A1L71 & !A1L69 # !A1L19;


--A1L91 is add~507
A1L91 = A1L901Q # A1L511Q # !A1L301 # !A1L501;


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

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


--A1L531 is south_north~735
A1L531 = !A1L93 & A1L02;


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

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


--A1L631 is south_north~736
A1L631 = A1L22 & !A1L69 # !A1L19;


--A1L42 is add~512
A1L42 = A1L511Q & A1L32 & VCC # !A1L511Q & !A1L32;

--A1L52 is add~513
A1L52 = CARRY(!A1L511Q & !A1L32);


--A1L731 is south_north~737
A1L731 = !A1L93 & A1L42;


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

--A1L72 is add~515
A1L72 = CARRY(A1L711Q # !A1L52);


--A1L831 is south_north~738
A1L831 = !A1L93 & A1L62;


--A1L82 is add~516
A1L82 = A1L911Q & A1L72 & VCC # !A1L911Q & !A1L72;

--A1L92 is add~517
A1L92 = CARRY(!A1L911Q & !A1L72);


--A1L931 is south_north~739
A1L931 = !A1L93 & A1L82;


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

--A1L13 is add~519
A1L13 = CARRY(A1L121Q # !A1L92);


--A1L041 is south_north~740
A1L041 = A1L49 & !A1L59 & A1L03 # !A1L27;


--A1L23 is add~520
A1L23 = A1L321Q $ !A1L13;


--A1L141 is south_north~741
A1L141 = A1L23 & !A1L93;


--A1L29 is led~574
A1L29 = !A1L99 & !A1L59;


--A1L39 is led~575
A1L39 = A1L97Q & A1L09 & !A1L99 # !A1L49;


--A1L78 is led[5]~576
A1L78 = !A1L59 & (A1L98Q & A1L69 # !A1L98Q & (!A1L89));


--A1L88 is led[5]~577
A1L88 = !A1L78 & A1L49;


--clk is clk
--operation mode is input

clk = INPUT();


--urgency is urgency
--operation mode is input

urgency = INPUT();


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

east_west[0] = OUTPUT(A1L73Q);


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

east_west[1] = OUTPUT(A1L04Q);


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

east_west[2] = OUTPUT(A1L24Q);


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

east_west[3] = OUTPUT(A1L44Q);


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

east_west[4] = OUTPUT(A1L64Q);


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

east_west[5] = OUTPUT(A1L84Q);


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

east_west[6] = OUTPUT(A1L05Q);


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

east_west[7] = OUTPUT(A1L55Q);


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

south_north[0] = OUTPUT(A1L901Q);


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

south_north[1] = OUTPUT(A1L111Q);


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

south_north[2] = OUTPUT(A1L311Q);


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

south_north[3] = OUTPUT(A1L511Q);


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

south_north[4] = OUTPUT(A1L711Q);


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

south_north[5] = OUTPUT(A1L911Q);


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

south_north[6] = OUTPUT(A1L121Q);


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

south_north[7] = OUTPUT(A1L321Q);


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

led[0] = OUTPUT(!A1L77Q);


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

led[1] = OUTPUT(A1L97Q);


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

led[2] = OUTPUT(A1L18Q);


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

led[3] = OUTPUT(A1L38Q);


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

led[4] = OUTPUT(A1L58Q);


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

led[5] = OUTPUT(!A1L98Q);


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

east_westa[0] = OUTPUT(A1L73Q);


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

east_westa[1] = OUTPUT(A1L04Q);


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

east_westa[2] = OUTPUT(A1L24Q);


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

east_westa[3] = OUTPUT(A1L44Q);


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

east_westb[0] = OUTPUT(A1L64Q);


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

east_westb[1] = OUTPUT(A1L84Q);


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

east_westb[2] = OUTPUT(A1L05Q);


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

east_westb[3] = OUTPUT(A1L55Q);


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

south_northa[0] = OUTPUT(A1L901Q);


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

south_northa[1] = OUTPUT(A1L111Q);


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

south_northa[2] = OUTPUT(A1L311Q);


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

south_northa[3] = OUTPUT(A1L511Q);


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

south_northb[0] = OUTPUT(A1L711Q);


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

south_northb[1] = OUTPUT(A1L911Q);


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

south_northb[2] = OUTPUT(A1L121Q);


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

south_northb[3] = OUTPUT(A1L321Q);