light.map.eqn

软件开发环境：ISE 7.1i 仿真环境：ModelSim SE 6.0 1. 用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.
--current_state.yellow is current_state.yellow
--operation mode is normal

current_state.yellow_lut_out = current_state.green;
current_state.yellow = DFFEAS(current_state.yellow_lut_out, clk, !rst, , A1L9, , , , );


--current_state.green is current_state.green
--operation mode is normal

current_state.green_lut_out = !current_state.red;
current_state.green = DFFEAS(current_state.green_lut_out, clk, !rst, , A1L9, , , , );


--current_state.red is current_state.red
--operation mode is normal

current_state.red_lut_out = !current_state.yellow;
current_state.red = DFFEAS(current_state.red_lut_out, clk, !rst, , A1L9, , , , );


--time[1] is time[1]
--operation mode is arithmetic

time[1]_carry_eqn = A1L41;
time[1]_lut_out = time[1] $ (time[1]_carry_eqn);
time[1] = DFFEAS(time[1]_lut_out, clk, !rst, , , , , A1L9, );

--A1L61 is time[1]~66
--operation mode is arithmetic

A1L61 = CARRY(!A1L41 # !time[1]);


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

time[4]_carry_eqn = A1L02;
time[4]_lut_out = time[4] $ (!time[4]_carry_eqn);
time[4] = DFFEAS(time[4]_lut_out, clk, !rst, , , , , A1L9, );


--time[2] is time[2]
--operation mode is arithmetic

time[2]_carry_eqn = A1L61;
time[2]_lut_out = time[2] $ (!time[2]_carry_eqn);
time[2] = DFFEAS(time[2]_lut_out, clk, !rst, , , , , A1L9, );

--A1L81 is time[2]~74
--operation mode is arithmetic

A1L81 = CARRY(time[2] & (!A1L61));


--time[0] is time[0]
--operation mode is arithmetic

time[0]_lut_out = !time[0];
time[0] = DFFEAS(time[0]_lut_out, clk, !rst, , , , , A1L9, );

--A1L41 is time[0]~78
--operation mode is arithmetic

A1L41 = CARRY(time[0]);


--time[3] is time[3]
--operation mode is arithmetic

time[3]_carry_eqn = A1L81;
time[3]_lut_out = time[3] $ (time[3]_carry_eqn);
time[3] = DFFEAS(time[3]_lut_out, clk, !rst, , , , , A1L9, );

--A1L02 is time[3]~82
--operation mode is arithmetic

A1L02 = CARRY(!A1L81 # !time[3]);


--A1L01 is reduce_nor~114
--operation mode is normal

A1L01 = time[2] & (time[0] # time[3] # !current_state.green) # !time[2] & (current_state.green # !time[3] # !time[0]);


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

A1L9 = !time[1] & !time[4] & !A1L01;


--clk is clk
--operation mode is input

clk = INPUT();


--rst is rst
--operation mode is input

rst = INPUT();


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

cout[0] = OUTPUT(current_state.yellow);


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

cout[1] = OUTPUT(current_state.green);


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

cout[2] = OUTPUT(!current_state.red);