traffic.map.eqn

利用vhdl编写的模拟交通灯的程序

Count[2] = DFFEA(Count[2]_lut_out, Clock, VCC, , A1L71, , );


--A1L15 is Mux~1952
--operation mode is normal

A1L15 = Strait_A & (Block_A # Turn_A) # !Strait_A & (Block_A $ !Turn_A);


--A1L97 is q~2087
--operation mode is normal

A1L97 = !Reset & (Strait_A & !Block_A & !Turn_A # !Strait_A & (Block_A $ Turn_A));


--A1L08 is q~2088
--operation mode is normal

A1L08 = Count[0] & A1L97 & !Count[1] & !Count[2];


--A1L18 is q~2089
--operation mode is normal

A1L18 = A1L15 # Count[0] & (Count[1] $ !Count[2]);


--A1L28 is q~2091
--operation mode is normal

A1L28 = Count[1] & (Count[0] $ !Count[2]);


--A1L38 is q~2092
--operation mode is normal

A1L38 = q[11] & !Reset & (A1L28 # A1L15);


--A1L1 is add~113
--operation mode is normal

A1L1 = Count[1] & Count[0];


--A1L48 is q~2094
--operation mode is normal

A1L48 = q[10] & !Reset & (A1L1 # A1L15);


--A1L58 is q~2096
--operation mode is normal

A1L58 = Count[2] & A1L97 & !Count[1] & !Count[0];


--A1L68 is q~2097
--operation mode is normal

A1L68 = A1L15 # Count[2] & (Count[1] $ !Count[0]);


--A1L78 is q~2099
--operation mode is normal

A1L78 = Count[0] & Count[2] & A1L97 & !Count[1];


--A1L88 is q~2100
--operation mode is normal

A1L88 = A1L15 # Count[0] & Count[2];


--A1L25 is Mux~1953
--operation mode is normal

A1L25 = Count[1] & Count[2];


--A1L98 is q~2102
--operation mode is normal

A1L98 = q[7] & !Reset & (A1L25 # A1L15);


--A1L34 is Mux~381
--operation mode is normal

A1L34 = q[6] & Count[2] # !Count[0] # !Count[1];


--A1L35 is Mux~1954
--operation mode is normal

A1L35 = Count[0] & (!Count[2] # !Count[1]) # !Count[0] & (Count[1] $ Count[2] # !Block_A);


--A1L45 is Mux~1955
--operation mode is normal

A1L45 = A1L35 # q[6] & Count[0];


--A1L55 is Mux~1956
--operation mode is normal

A1L55 = Count[1] & (q[5] # !Count[2]) # !Count[1] & !Block_A & !Count[2];


--A1L65 is Mux~1957
--operation mode is normal

A1L65 = A1L55 # !Count[0];


--A1L75 is Mux~1958
--operation mode is normal

A1L75 = Count[0] & (Count[2] & q[5] # !Count[1]) # !Count[0] & (Count[2] $ !Count[1]);


--A1L44 is Mux~385
--operation mode is normal

A1L44 = q[4] & Count[2] # !Count[0] # !Count[1];


--A1L09 is q~2104
--operation mode is normal

A1L09 = Count[2] & (Count[1] # !Turn_A);


--A1L19 is q~2105
--operation mode is normal

A1L19 = q[3] & !Reset & (A1L09 # A1L15);


--A1L29 is q~2106
--operation mode is normal

A1L29 = Turn_A & (Count[2] & !Count[0] # !Count[2] & (Count[0] # !Count[1])) # !Turn_A & (!Count[0] # !Count[1]);


--A1L54 is Mux~389
--operation mode is normal

A1L54 = q[2] & Count[2] # !Count[0] # !Count[1];


--A1L85 is Mux~1959
--operation mode is normal

A1L85 = Count[1] & Count[2] & !Count[0] # !Count[1] & (Count[0] # !Block_A # !Count[2]);


--A1L95 is Mux~1960
--operation mode is normal

A1L95 = A1L85 # Count[0] & (q[2] # !Count[2]);


--A1L64 is Mux~392
--operation mode is normal

A1L64 = q[1] & Count[2] # !Count[0] # !Count[1];


--A1L06 is Mux~1961
--operation mode is normal

A1L06 = Block_A & !Count[0] # !Block_A & (Count[2] & !Count[0] # !Count[1]);


--A1L16 is Mux~1962
--operation mode is normal

A1L16 = A1L06 # A1L1 & (q[1] # !Count[2]);


--A1L74 is Mux~395
--operation mode is normal

A1L74 = q[0] & Count[2] # !Count[0] # !Count[1];


--A1L59 is reduce_nor~6
--operation mode is normal

A1L59 = Count_Down[1] # Count_Down[0] # Count_Down[2];


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

Count_1Hz[1]_lut_out = Count_1Hz[1] $ !Count_1Hz[0];
Count_1Hz[1] = DFFEA(Count_1Hz[1]_lut_out, Clock_4Hz, VCC, , , , );


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

Count_1Hz[0]_lut_out = !Count_1Hz[0];
Count_1Hz[0] = DFFEA(Count_1Hz[0]_lut_out, Clock_4Hz, VCC, , , , );


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

A1L49 = !Count_1Hz[1] & !Count_1Hz[0];


--A1L51 is Count[1]~4
--operation mode is normal

A1L51 = Count[0] & !Reset;


--A1L71 is Count[2]~3
--operation mode is normal

A1L71 = Count[1] & Count[0] & !Reset;


--A1L94 is Mux~1944
--operation mode is normal

A1L94 = Count[2] & q[4] & Count[1] & Count[0] # !Count[2] & (!Count[0] # !Count[1]);


--A1L05 is Mux~1945
--operation mode is normal

A1L05 = Count[0] & (q[4] # !Count[2] # !Count[1]) # !Count[0] & (Count[1] $ !Count[2]);


--A1L84 is Mux~1943
--operation mode is normal

A1L84 = A1L94 & (A1L05 # !Block_A) # !A1L94 & A1L05 & Block_A;


--A1L26 is Mux~1963
--operation mode is normal

A1L26 = Count[0] & (q[0] # !Count[1]) # !Count[0] & (Count[1] $ !Block_A);


--A1L36 is Mux~1964
--operation mode is normal

A1L36 = Count[0] & (A1L26 # Count[1] & !Count[2]) # !Count[0] & (A1L26 & (!Count[2] # !Count[1]) # !A1L26 & Count[2]);


--Reset is Reset
--operation mode is input

Reset = INPUT();


--Clock is Clock
--operation mode is input

Clock = INPUT();


--Strait_A_Out is Strait_A_Out
--operation mode is output

Strait_A_Out = OUTPUT(A1L521);


--Block_A_Out is Block_A_Out
--operation mode is output

Block_A_Out = OUTPUT(A1L5);


--Turn_A_Out is Turn_A_Out
--operation mode is output

Turn_A_Out = OUTPUT(A1L131);


--Strait_B_Out is Strait_B_Out
--operation mode is output

Strait_B_Out = OUTPUT(A1L821);


--Block_B_Out is Block_B_Out
--operation mode is output

Block_B_Out = OUTPUT(A1L8);


--Turn_B_Out is Turn_B_Out
--operation mode is output

Turn_B_Out = OUTPUT(A1L431);


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

Count_Down_LCD[6] = OUTPUT(A1L93Q);


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

Count_Down_LCD[5] = OUTPUT(A1L73Q);


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

Count_Down_LCD[4] = OUTPUT(A1L53Q);


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

Count_Down_LCD[3] = OUTPUT(A1L33Q);


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

Count_Down_LCD[2] = OUTPUT(A1L13Q);


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

Count_Down_LCD[1] = OUTPUT(A1L92Q);


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

Count_Down_LCD[0] = OUTPUT(A1L72Q);


--Road_sign[13] is Road_sign[13]
--operation mode is output

Road_sign[13] = OUTPUT(q[13]);


--Road_sign[12] is Road_sign[12]
--operation mode is output

Road_sign[12] = OUTPUT(q[12]);


--Road_sign[11] is Road_sign[11]
--operation mode is output

Road_sign[11] = OUTPUT(q[11]);


--Road_sign[10] is Road_sign[10]
--operation mode is output

Road_sign[10] = OUTPUT(q[10]);


--Road_sign[9] is Road_sign[9]
--operation mode is output

Road_sign[9] = OUTPUT(q[9]);


--Road_sign[8] is Road_sign[8]
--operation mode is output

Road_sign[8] = OUTPUT(q[8]);


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

Road_sign[7] = OUTPUT(q[7]);


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

Road_sign[6] = OUTPUT(A1L311);


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

Road_sign[5] = OUTPUT(A1L411);


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

Road_sign[4] = OUTPUT(A1L511);


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

Road_sign[3] = OUTPUT(A1L611);


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

Road_sign[2] = OUTPUT(A1L711);


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

Road_sign[1] = OUTPUT(A1L811);


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

Road_sign[0] = OUTPUT(A1L911);


--Ctr is Ctr
--operation mode is output

Ctr = OUTPUT(VCC);