trafic.map.eqn

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

-- 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.
--A1L331Q is RM~reg0
--operation mode is normal

A1L331Q_lut_out = !CUR_STATE.b & (CUR_STATE.a);
A1L331Q = DFFEAS(A1L331Q_lut_out, DIV_CLK, VCC, , , , , , );


--A1L161Q is YM~reg0
--operation mode is normal

A1L161Q_lut_out = CUR_STATE.b;
A1L161Q = DFFEAS(A1L161Q_lut_out, DIV_CLK, VCC, , , , , , );


--A1L53Q is GM~reg0
--operation mode is normal

A1L53Q_lut_out = !CUR_STATE.a;
A1L53Q = DFFEAS(A1L53Q_lut_out, DIV_CLK, VCC, , , , , , );


--A1L951Q is YF~reg0
--operation mode is normal

A1L951Q_lut_out = CUR_STATE.d;
A1L951Q = DFFEAS(A1L951Q_lut_out, DIV_CLK, VCC, , , , , , );


--A1L33Q is GF~reg0
--operation mode is normal

A1L33Q_lut_out = CUR_STATE.c;
A1L33Q = DFFEAS(A1L33Q_lut_out, DIV_CLK, VCC, , , , , , );


--A1L301Q is OUT_H[0]~reg0
--operation mode is normal

A1L301Q_lut_out = A1L811 & !A1L73 & (A1L521 # !A1L911);
A1L301Q = DFFEAS(A1L301Q_lut_out, DIV_CLK, VCC, , , , , , );


--A1L501Q is OUT_H[1]~reg0
--operation mode is normal

A1L501Q_lut_out = !A1L521 & (A1L911 & A1L811);
A1L501Q = DFFEAS(A1L501Q_lut_out, DIV_CLK, VCC, , , , , , );


--A1L011Q is OUT_L[0]~reg0
--operation mode is normal

A1L011Q_lut_out = A1L431 & (\COUNT:CLR # !A1L9) # !A1L431 & !\COUNT:CLR & !A1L22 & A1L9;
A1L011Q = DFFEAS(A1L011Q_lut_out, DIV_CLK, VCC, , , , , , );


--A1L311Q is OUT_L[1]~reg0
--operation mode is normal

A1L311Q_lut_out = A1L431 & A1L351 # !A1L431 & (A1L021 & !A1L211);
A1L311Q = DFFEAS(A1L311Q_lut_out, DIV_CLK, VCC, , , , , , );


--A1L511Q is OUT_L[2]~reg0
--operation mode is normal

A1L511Q_lut_out = A1L431 & !A1L81 # !A1L431 & (!A1L211 & !A1L121);
A1L511Q = DFFEAS(A1L511Q_lut_out, DIV_CLK, VCC, , , , , , );


--A1L711Q is OUT_L[3]~reg0
--operation mode is normal

A1L711Q_lut_out = A1L431 & !A1L02 # !A1L431 & (!A1L211 & A1L221);
A1L711Q = DFFEAS(A1L711Q_lut_out, DIV_CLK, VCC, , , , , , );


--CUR_STATE.b is CUR_STATE.b
--operation mode is normal

CUR_STATE.b_lut_out = A1L631 # A1L731 & (!A1L82);
CUR_STATE.b = DFFEAS(CUR_STATE.b_lut_out, DIV_CLK, VCC, , , , , , );


--CUR_STATE.a is CUR_STATE.a
--operation mode is normal

CUR_STATE.a_lut_out = !A1L831 & (!A1L731 # !A1L82);
CUR_STATE.a = DFFEAS(CUR_STATE.a_lut_out, DIV_CLK, VCC, , , , , , );


--DIV_CLK is DIV_CLK
--operation mode is normal

DIV_CLK_lut_out = !DIV_CLK;
DIV_CLK = DFFEAS(DIV_CLK_lut_out, CLK, VCC, , A1L44, , , , );


--CUR_STATE.d is CUR_STATE.d
--operation mode is normal

CUR_STATE.d_lut_out = A1L041 # A1L92 & A1L141;
CUR_STATE.d = DFFEAS(CUR_STATE.d_lut_out, DIV_CLK, VCC, , , , , , );


--CUR_STATE.c is CUR_STATE.c
--operation mode is normal

CUR_STATE.c_lut_out = A1L241 # A1L141 & (!A1L92);
CUR_STATE.c = DFFEAS(CUR_STATE.c_lut_out, DIV_CLK, VCC, , , , , , );


--A1L811 is OUT_L~1507
--operation mode is normal

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


--\COUNT:S[2] is \COUNT:S[2]
--operation mode is normal

\COUNT:S[2]_lut_out = A1L551;
\COUNT:S[2] = DFFEAS(\COUNT:S[2]_lut_out, DIV_CLK, VCC, , , , , , );


--\COUNT:S[1] is \COUNT:S[1]
--operation mode is normal

\COUNT:S[1]_lut_out = A1L651;
\COUNT:S[1] = DFFEAS(\COUNT:S[1]_lut_out, DIV_CLK, VCC, , , , , , );


--\COUNT:S[0] is \COUNT:S[0]
--operation mode is normal

\COUNT:S[0]_lut_out = A1L9 & !\COUNT:CLR & (A1L431 # !A1L22);
\COUNT:S[0] = DFFEAS(\COUNT:S[0]_lut_out, DIV_CLK, VCC, , , , , , );


--\COUNT:EN is \COUNT:EN
--operation mode is normal

\COUNT:EN_lut_out = A1L341 # A1L441 & (!A1L03);
\COUNT:EN = DFFEAS(\COUNT:EN_lut_out, DIV_CLK, VCC, , , , , , );


--A1L8 is add~1515
--operation mode is normal

A1L8 = \COUNT:S[2] $ (\COUNT:S[1] & \COUNT:S[0] & \COUNT:EN);


--A1L9 is add~1516
--operation mode is normal

A1L9 = \COUNT:S[0] $ \COUNT:EN;


--A1L01 is add~1517
--operation mode is normal

A1L01 = \COUNT:S[1] $ (\COUNT:S[0] & \COUNT:EN);


--\COUNT:CLR is \COUNT:CLR
--operation mode is normal

\COUNT:CLR_lut_out = A1L641 # A1L03 & (A1L731 # A1L141);
\COUNT:CLR = DFFEAS(\COUNT:CLR_lut_out, DIV_CLK, VCC, , , , , , );


--A1L521 is reduce_nor~266
--operation mode is normal

A1L521 = !\COUNT:CLR & (A1L8 # A1L9 # A1L01);


--A1L11 is add~1518
--operation mode is normal

A1L11 = \COUNT:S[1] & \COUNT:S[0] & \COUNT:EN;


--A1L051 is S~579
--operation mode is normal

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


--A1L21 is add~1519
--operation mode is normal

A1L21 = !\COUNT:CLR & (\COUNT:S[1] & (!\COUNT:EN # !\COUNT:S[0]) # !\COUNT:S[1] & (\COUNT:S[0] # \COUNT:EN));


--\COUNT:S[3] is \COUNT:S[3]
--operation mode is normal

\COUNT:S[3]_lut_out = A1L91 & !\COUNT:CLR & (A1L431 # !A1L22);
\COUNT:S[3] = DFFEAS(\COUNT:S[3]_lut_out, DIV_CLK, VCC, , , , , , );


--A1L151 is S~580
--operation mode is normal

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


--\COUNT:S[4] is \COUNT:S[4]
--operation mode is normal

\COUNT:S[4]_lut_out = A1L751;
\COUNT:S[4] = DFFEAS(\COUNT:S[4]_lut_out, DIV_CLK, VCC, , , , , , );


--A1L31 is add~1520
--operation mode is normal

A1L31 = \COUNT:S[4] $ (\COUNT:S[2] & A1L11 & \COUNT:S[3]);


--A1L251 is S~581
--operation mode is normal

A1L251 = A1L31 & (!\COUNT:CLR);


--A1L911 is OUT_L~1508
--operation mode is normal

A1L911 = A1L151 & A1L051 & A1L21 & A1L251 # !A1L151 & !A1L251 & (!A1L21 # !A1L051);


--A1L41 is add~1521
--operation mode is normal

A1L41 = A1L151 $ (!A1L21 # !A1L051);


--A1L63 is LessThan~553
--operation mode is normal

A1L63 = !\COUNT:CLR & (A1L9 & A1L01 & !A1L8 # !A1L9 & !A1L01 & A1L8);


--A1L51 is add~1522
--operation mode is normal

A1L51 = A1L251 $ (!A1L151 & (!A1L21 # !A1L051));


--A1L73 is LessThan~554
--operation mode is normal

A1L73 = !A1L51 & (A1L41 # A1L63);


--A1L431 is Select~1326
--operation mode is normal

A1L431 = CUR_STATE.a & (!CUR_STATE.c);


--A1L22 is COUNT~85
--operation mode is normal

A1L22 = SIGNAL_F $ SIGNAL_M;


--A1L351 is S~582
--operation mode is normal

A1L351 = !\COUNT:CLR & (\COUNT:S[1] $ (\COUNT:S[0] & \COUNT:EN));


--A1L61 is add~1523
--operation mode is normal

A1L61 = \COUNT:CLR # \COUNT:S[1] $ (!\COUNT:S[0] & !\COUNT:EN);


--A1L71 is add~1524
--operation mode is normal

A1L71 = !\COUNT:CLR & (A1L8 $ (A1L9 # A1L01));


--A1L021 is OUT_L~1510
--operation mode is normal

A1L021 = A1L61 & (A1L51 # !A1L41 & !A1L71) # !A1L61 & !A1L51 & A1L41;


--A1L81 is add~1525
--operation mode is normal

A1L81 = !\COUNT:CLR & (A1L8 $ A1L01);


--A1L121 is OUT_L~1512
--operation mode is normal

A1L121 = A1L71 & (!A1L51 # !A1L61) # !A1L71 & A1L61 & (A1L51 # !A1L41);


--A1L91 is add~1526
--operation mode is normal

A1L91 = \COUNT:S[3] $ (\COUNT:S[2] & A1L11);


--A1L02 is add~1527
--operation mode is normal

A1L02 = \COUNT:CLR # A1L91 $ (!A1L01 # !A1L8);


--A1L221 is OUT_L~1514
--operation mode is normal

A1L221 = A1L63 & !A1L41 # !A1L63 & (A1L911);


--A1L621 is reduce_nor~267
--operation mode is normal

A1L621 = A1L01 & A1L31 & !A1L8 & !A1L91;


--A1L721 is reduce_nor~268
--operation mode is normal

A1L721 = A1L9 & A1L621 & !\COUNT:CLR & !A1L22;


--A1L531 is Select~1327
--operation mode is normal

A1L531 = SIGNAL_F & SIGNAL_M & (!CUR_STATE.a);


--A1L821 is reduce_nor~269
--operation mode is normal

A1L821 = A1L8 & A1L9 & !\COUNT:CLR & !A1L01;


--A1L921 is reduce_nor~270
--operation mode is normal

A1L921 = A1L821 & !A1L151 & (\COUNT:CLR # !A1L31);


--A1L631 is Select~1328
--operation mode is normal

A1L631 = A1L721 & (A1L531 # CUR_STATE.b & !A1L921) # !A1L721 & (CUR_STATE.b & !A1L921);


--A1L731 is Select~1329
--operation mode is normal

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


--A1L82 is CUR_STATE~322
--operation mode is normal

A1L82 = SIGNAL_M # !SIGNAL_F & !A1L721;


--A1L831 is Select~1331
--operation mode is normal

A1L831 = CUR_STATE.d & (A1L921 # A1L531 & !A1L721) # !CUR_STATE.d & (A1L531 & !A1L721);


--NUM_COUNT[26] is NUM_COUNT[26]
--operation mode is arithmetic

NUM_COUNT[26]_carry_eqn = A1L79;
NUM_COUNT[26]_lut_out = NUM_COUNT[26] $ (!NUM_COUNT[26]_carry_eqn);
NUM_COUNT[26] = DFFEAS(NUM_COUNT[26]_lut_out, CLK, VCC, , , , , A1L44, );

--A1L99 is NUM_COUNT[26]~436
--operation mode is arithmetic

A1L99 = CARRY(NUM_COUNT[26] & (!A1L79));


--NUM_COUNT[27] is NUM_COUNT[27]
--operation mode is normal

NUM_COUNT[27]_carry_eqn = A1L99;
NUM_COUNT[27]_lut_out = NUM_COUNT[27] $ (NUM_COUNT[27]_carry_eqn);
NUM_COUNT[27] = DFFEAS(NUM_COUNT[27]_lut_out, CLK, VCC, , , , , A1L44, );


--NUM_COUNT[6] is NUM_COUNT[6]
--operation mode is arithmetic

NUM_COUNT[6]_carry_eqn = A1L75;
NUM_COUNT[6]_lut_out = NUM_COUNT[6] $ (!NUM_COUNT[6]_carry_eqn);
NUM_COUNT[6] = DFFEAS(NUM_COUNT[6]_lut_out, CLK, VCC, , , , , A1L44, );

--A1L95 is NUM_COUNT[6]~444
--operation mode is arithmetic

A1L95 = CARRY(NUM_COUNT[6] & (!A1L75));


--NUM_COUNT[7] is NUM_COUNT[7]
--operation mode is arithmetic

NUM_COUNT[7]_carry_eqn = A1L95;
NUM_COUNT[7]_lut_out = NUM_COUNT[7] $ (NUM_COUNT[7]_carry_eqn);
NUM_COUNT[7] = DFFEAS(NUM_COUNT[7]_lut_out, CLK, VCC, , , , , A1L44, );

--A1L16 is NUM_COUNT[7]~448
--operation mode is arithmetic

A1L16 = CARRY(!A1L95 # !NUM_COUNT[7]);


--NUM_COUNT[8] is NUM_COUNT[8]
--operation mode is arithmetic

NUM_COUNT[8]_carry_eqn = A1L16;
NUM_COUNT[8]_lut_out = NUM_COUNT[8] $ (!NUM_COUNT[8]_carry_eqn);
NUM_COUNT[8] = DFFEAS(NUM_COUNT[8]_lut_out, CLK, VCC, , , , , A1L44, );

--A1L36 is NUM_COUNT[8]~452
--operation mode is arithmetic

A1L36 = CARRY(NUM_COUNT[8] & (!A1L16));


--NUM_COUNT[9] is NUM_COUNT[9]
--operation mode is arithmetic

NUM_COUNT[9]_carry_eqn = A1L36;
NUM_COUNT[9]_lut_out = NUM_COUNT[9] $ (NUM_COUNT[9]_carry_eqn);
NUM_COUNT[9] = DFFEAS(NUM_COUNT[9]_lut_out, CLK, VCC, , , , , A1L44, );

--A1L56 is NUM_COUNT[9]~456
--operation mode is arithmetic

A1L56 = CARRY(!A1L36 # !NUM_COUNT[9]);


--A1L83 is LessThan~555
--operation mode is normal

A1L83 = NUM_COUNT[6] # NUM_COUNT[7] # NUM_COUNT[8] # NUM_COUNT[9];


--NUM_COUNT[10] is NUM_COUNT[10]
--operation mode is arithmetic

NUM_COUNT[10]_carry_eqn = A1L56;
NUM_COUNT[10]_lut_out = NUM_COUNT[10] $ (!NUM_COUNT[10]_carry_eqn);
NUM_COUNT[10] = DFFEAS(NUM_COUNT[10]_lut_out, CLK, VCC, , , , , A1L44, );

--A1L76 is NUM_COUNT[10]~460
--operation mode is arithmetic

A1L76 = CARRY(NUM_COUNT[10] & (!A1L56));


--NUM_COUNT[11] is NUM_COUNT[11]
--operation mode is arithmetic

NUM_COUNT[11]_carry_eqn = A1L76;
NUM_COUNT[11]_lut_out = NUM_COUNT[11] $ (NUM_COUNT[11]_carry_eqn);
NUM_COUNT[11] = DFFEAS(NUM_COUNT[11]_lut_out, CLK, VCC, , , , , A1L44, );

--A1L96 is NUM_COUNT[11]~464
--operation mode is arithmetic

A1L96 = CARRY(!A1L76 # !NUM_COUNT[11]);


--NUM_COUNT[12] is NUM_COUNT[12]
--operation mode is arithmetic

NUM_COUNT[12]_carry_eqn = A1L96;
NUM_COUNT[12]_lut_out = NUM_COUNT[12] $ (!NUM_COUNT[12]_carry_eqn);
NUM_COUNT[12] = DFFEAS(NUM_COUNT[12]_lut_out, CLK, VCC, , , , , A1L44, );

--A1L17 is NUM_COUNT[12]~468
--operation mode is arithmetic

A1L17 = CARRY(NUM_COUNT[12] & (!A1L96));