traffic.map.eqn

这个是用verilog语言编写的基于FPGA的交通灯控制器

-- 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.
--A1L32Q is LAMPA[0]~reg0
--operation mode is normal

A1L32Q_lut_out = counta.010 & EN;
A1L32Q = DFFEAS(A1L32Q_lut_out, CLK, VCC, , A1L92, , , , );


--A1L52Q is LAMPA[1]~reg0
--operation mode is normal

A1L52Q_lut_out = A1L13Q & EN;
A1L52Q = DFFEAS(A1L52Q_lut_out, CLK, VCC, , A1L92, , , , );


--A1L72Q is LAMPA[2]~reg0
--operation mode is normal

A1L72Q_lut_out = A1L32Q # A1L52Q;
A1L72Q = DFFEAS(A1L72Q_lut_out, CLK, VCC, , A1L92, , , !EN, );


--A1L13Q is LAMPA[3]~reg0
--operation mode is normal

A1L13Q_lut_out = counta.100 # !EN;
A1L13Q = DFFEAS(A1L13Q_lut_out, CLK, VCC, , A1L92, , , , );


--A1L43Q is LAMPB[0]~reg0
--operation mode is normal

A1L43Q_lut_out = EN & countb.011;
A1L43Q = DFFEAS(A1L43Q_lut_out, CLK, VCC, , A1L04, , , , );


--A1L63Q is LAMPB[1]~reg0
--operation mode is normal

A1L63Q_lut_out = EN & countb.001;
A1L63Q = DFFEAS(A1L63Q_lut_out, CLK, VCC, , A1L04, , , , );


--A1L83Q is LAMPB[2]~reg0
--operation mode is normal

A1L83Q_lut_out = A1L63Q # A1L43Q;
A1L83Q = DFFEAS(A1L83Q_lut_out, CLK, VCC, , A1L04, , , !EN, );


--A1L14Q is LAMPB[3]~reg0
--operation mode is normal

A1L14Q_lut_out = !countb.000 # !EN;
A1L14Q = DFFEAS(A1L14Q_lut_out, CLK, VCC, , A1L04, , , , );


--numa[0] is numa[0]
--operation mode is normal

numa[0]_lut_out = !A1L48 # !numa[0];
numa[0] = DFFEAS(numa[0]_lut_out, CLK, VCC, , A1L85, A1L03, , , !tempa);


--numa[1] is numa[1]
--operation mode is normal

numa[1]_lut_out = A1L85 & (A1L06 # numa[1] & !EN) # !A1L85 & (numa[1] & !EN);
numa[1] = DFFEAS(numa[1]_lut_out, CLK, VCC, , , , , , );


--numa[2] is numa[2]
--operation mode is normal

numa[2]_lut_out = !A1L34 & A1L48;
numa[2] = DFFEAS(numa[2]_lut_out, CLK, VCC, , A1L85, A1L03, , , !tempa);


--numa[3] is numa[3]
--operation mode is normal

numa[3]_lut_out = A1L85 & (A1L36 # numa[3] & !EN) # !A1L85 & (numa[3] & !EN);
numa[3] = DFFEAS(numa[3]_lut_out, CLK, VCC, , , , , , );


--numa[4] is numa[4]
--operation mode is normal

numa[4]_lut_out = tempa & (!numa[4]) # !tempa & counta.100;
numa[4] = DFFEAS(numa[4]_lut_out, CLK, VCC, , , numa[4], , , A1L56);


--numa[5] is numa[5]
--operation mode is normal

numa[5]_lut_out = tempa & (!A1L54) # !tempa & A1L24;
numa[5] = DFFEAS(numa[5]_lut_out, CLK, VCC, , , numa[5], , , A1L56);


--numa[6] is numa[6]
--operation mode is normal

numa[6]_lut_out = A1L56 & (numa[6]) # !A1L56 & tempa & (numa[6] $ A1L64);
numa[6] = DFFEAS(numa[6]_lut_out, CLK, VCC, , , , , , );


--numa[7] is numa[7]
--operation mode is normal

numa[7]_lut_out = A1L56 & (numa[7]) # !A1L56 & tempa & (numa[7] $ A1L88);
numa[7] = DFFEAS(numa[7]_lut_out, CLK, VCC, , , , , , );


--numb[0] is numb[0]
--operation mode is normal

numb[0]_lut_out = !A1L68 # !numb[0];
numb[0] = DFFEAS(numb[0]_lut_out, CLK, VCC, , A1L27, A1L45, , , !tempb);


--numb[1] is numb[1]
--operation mode is normal

numb[1]_lut_out = A1L27 & (A1L47 # numb[1] & !EN) # !A1L27 & (numb[1] & !EN);
numb[1] = DFFEAS(numb[1]_lut_out, CLK, VCC, , , , , , );


--numb[2] is numb[2]
--operation mode is normal

numb[2]_lut_out = !A1L74 & A1L68;
numb[2] = DFFEAS(numb[2]_lut_out, CLK, VCC, , A1L27, countb.000, , , !tempb);


--numb[3] is numb[3]
--operation mode is normal

numb[3]_lut_out = A1L27 & (A1L77 # numb[3] & !EN) # !A1L27 & (numb[3] & !EN);
numb[3] = DFFEAS(numb[3]_lut_out, CLK, VCC, , , , , , );


--numb[4] is numb[4]
--operation mode is normal

numb[4]_lut_out = tempb & (!numb[4]) # !tempb & countb.001;
numb[4] = DFFEAS(numb[4]_lut_out, CLK, VCC, , , numb[4], , , A1L97);


--numb[5] is numb[5]
--operation mode is normal

numb[5]_lut_out = A1L97 & (numb[5]) # !A1L97 & tempb & (numb[5] $ !numb[4]);
numb[5] = DFFEAS(numb[5]_lut_out, CLK, VCC, , , , , , );


--numb[6] is numb[6]
--operation mode is normal

numb[6]_lut_out = tempb & (!A1L94) # !tempb & !countb.000;
numb[6] = DFFEAS(numb[6]_lut_out, CLK, VCC, , , numb[6], , , A1L97);


--numb[7] is numb[7]
--operation mode is normal

numb[7]_lut_out = A1L97 & (numb[7]) # !A1L97 & tempb & (numb[7] $ A1L09);
numb[7] = DFFEAS(numb[7]_lut_out, CLK, VCC, , , , , , );


--counta.010 is counta.010
--operation mode is normal

counta.010_lut_out = A1L52Q & EN;
counta.010 = DFFEAS(counta.010_lut_out, CLK, VCC, , A1L92, , , , );


--tempa is tempa
--operation mode is normal

tempa_lut_out = tempa & A1L58;
tempa = DFFEAS(tempa_lut_out, CLK, VCC, , , VCC, , !EN, !tempa);


--A1L92 is LAMPA[3]~83
--operation mode is normal

A1L92 = !EN # !tempa;


--counta.100 is counta.100
--operation mode is normal

counta.100_lut_out = A1L32Q & EN;
counta.100 = DFFEAS(counta.100_lut_out, CLK, VCC, , A1L92, , , , );


--countb.011 is countb.011
--operation mode is normal

countb.011_lut_out = A1L63Q & EN;
countb.011 = DFFEAS(countb.011_lut_out, CLK, VCC, , A1L04, , , , );


--tempb is tempb
--operation mode is normal

tempb_lut_out = tempb & A1L78;
tempb = DFFEAS(tempb_lut_out, CLK, VCC, , , VCC, , !EN, !tempb);


--A1L04 is LAMPB[3]~52
--operation mode is normal

A1L04 = !EN # !tempb;


--countb.001 is countb.001
--operation mode is normal

countb.001_lut_out = EN & (!countb.000);
countb.001 = DFFEAS(countb.001_lut_out, CLK, VCC, , A1L04, , , , );


--countb.000 is countb.000
--operation mode is normal

countb.000_lut_out = EN & (!A1L43Q);
countb.000 = DFFEAS(countb.000_lut_out, CLK, VCC, , A1L04, , , , );


--A1L48 is reduce_nor~0
--operation mode is normal

A1L48 = numa[0] # numa[2] # numa[1] # numa[3];


--A1L88 is reduce_nor~54
--operation mode is normal

A1L88 = !numa[4] & !numa[5] & !numa[6];


--A1L98 is reduce_nor~55
--operation mode is normal

A1L98 = A1L88 & !numa[2] & !numa[3] & !numa[7];


--A1L85 is numa[0]~1615
--operation mode is normal

A1L85 = EN & (numa[1] # !A1L98 # !tempa);


--A1L96 is numa~1616
--operation mode is normal

A1L96 = numa[0] & numa[1] # !numa[0] & !numa[1] & (numa[2] # numa[3]);


--A1L06 is numa[1]~1617
--operation mode is normal

A1L06 = tempa & A1L96 # !tempa & (counta.010 # counta.100);


--A1L34 is add~462
--operation mode is normal

A1L34 = numa[2] $ (numa[0] # numa[1]);


--A1L44 is add~463
--operation mode is normal

A1L44 = numa[3] $ (numa[0] # numa[2] # numa[1]);


--A1L36 is numa[3]~1619
--operation mode is normal

A1L36 = tempa & (!A1L44) # !tempa & (A1L13Q # counta.010);


--A1L56 is numa[4]~1621
--operation mode is normal

A1L56 = tempa & A1L48 # !A1L85;


--A1L24 is Select~56
--operation mode is normal

A1L24 = A1L13Q # counta.100;


--A1L54 is add~464
--operation mode is normal

A1L54 = numa[4] $ numa[5];


--A1L64 is add~465
--operation mode is normal

A1L64 = !numa[4] & !numa[5];


--A1L68 is reduce_nor~2
--operation mode is normal

A1L68 = numb[0] # numb[2] # numb[1] # numb[3];


--A1L09 is reduce_nor~56
--operation mode is normal

A1L09 = !numb[4] & !numb[6] & !numb[5];


--A1L19 is reduce_nor~57
--operation mode is normal

A1L19 = A1L09 & !numb[2] & !numb[3] & !numb[7];


--A1L27 is numb[0]~1585
--operation mode is normal

A1L27 = EN & (numb[1] # !A1L19 # !tempb);


--A1L38 is numb~1586
--operation mode is normal

A1L38 = numb[0] & numb[1] # !numb[0] & !numb[1] & (numb[2] # numb[3]);


--A1L47 is numb[1]~1587
--operation mode is normal

A1L47 = tempb & A1L38 # !tempb & (countb.011 # countb.001);


--A1L74 is add~466
--operation mode is normal

A1L74 = numb[2] $ (numb[0] # numb[1]);


--A1L84 is add~467
--operation mode is normal

A1L84 = numb[3] $ (numb[0] # numb[2] # numb[1]);


--A1L77 is numb[3]~1589
--operation mode is normal

A1L77 = tempb & (!A1L84) # !tempb & (countb.011 # countb.001);


--A1L97 is numb[4]~1591
--operation mode is normal

A1L97 = tempb & A1L68 # !A1L27;


--A1L94 is add~468
--operation mode is normal

A1L94 = numb[6] $ (numb[4] # numb[5]);


--A1L58 is reduce_nor~1
--operation mode is normal

A1L58 = numa[0] # !A1L98 # !numa[1];


--A1L78 is reduce_nor~3
--operation mode is normal

A1L78 = numb[0] # !A1L19 # !numb[1];


--EN is EN
--operation mode is input

EN = INPUT();


--CLK is CLK
--operation mode is input

CLK = INPUT();


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

LAMPA[0] = OUTPUT(A1L32Q);


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

LAMPA[1] = OUTPUT(A1L52Q);


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

LAMPA[2] = OUTPUT(A1L72Q);


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

LAMPA[3] = OUTPUT(A1L13Q);


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

LAMPB[0] = OUTPUT(A1L43Q);


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

LAMPB[1] = OUTPUT(A1L63Q);


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

LAMPB[2] = OUTPUT(A1L83Q);


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

LAMPB[3] = OUTPUT(A1L14Q);


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

ACOUNT[0] = OUTPUT(numa[0]);


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

ACOUNT[1] = OUTPUT(numa[1]);


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

ACOUNT[2] = OUTPUT(numa[2]);


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

ACOUNT[3] = OUTPUT(numa[3]);


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

ACOUNT[4] = OUTPUT(numa[4]);


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

ACOUNT[5] = OUTPUT(numa[5]);


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

ACOUNT[6] = OUTPUT(numa[6]);


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

ACOUNT[7] = OUTPUT(numa[7]);


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

BCOUNT[0] = OUTPUT(numb[0]);


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

BCOUNT[1] = OUTPUT(numb[1]);


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

BCOUNT[2] = OUTPUT(numb[2]);


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

BCOUNT[3] = OUTPUT(numb[3]);


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

BCOUNT[4] = OUTPUT(numb[4]);


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

BCOUNT[5] = OUTPUT(numb[5]);


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

BCOUNT[6] = OUTPUT(numb[6]);


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

BCOUNT[7] = OUTPUT(numb[7]);


--A1L03 is LAMPA[3]~86
--operation mode is normal

A1L03 = !A1L13Q;


--A1L45 is countb.001~14
--operation mode is normal

A1L45 = !countb.001;