light.fit.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 at LC_X2_Y1_N3
--operation mode is normal

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


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

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


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

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


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

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

--A1L71 is time[1]~66 at LC_X2_Y1_N6
--operation mode is arithmetic

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

--A1L81 is time[1]~66COUT1 at LC_X2_Y1_N6
--operation mode is arithmetic

A1L81_cout_1 = !A1L51 # !time[1];
A1L81 = CARRY(A1L81_cout_1);


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

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


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

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

--A1L02 is time[2]~74 at LC_X2_Y1_N7
--operation mode is arithmetic

A1L02_cout_0 = time[2] & (!A1L71);
A1L02 = CARRY(A1L02_cout_0);

--A1L12 is time[2]~74COUT1_87 at LC_X2_Y1_N7
--operation mode is arithmetic

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


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

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

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

A1L41_cout_0 = time[0];
A1L41 = CARRY(A1L41_cout_0);

--A1L51 is time[0]~78COUT1_86 at LC_X2_Y1_N5
--operation mode is arithmetic

A1L51_cout_1 = time[0];
A1L51 = CARRY(A1L51_cout_1);


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

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

--A1L32 is time[3]~82 at LC_X2_Y1_N8
--operation mode is arithmetic

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

--A1L42 is time[3]~82COUT1_88 at LC_X2_Y1_N8
--operation mode is arithmetic

A1L42_cout_1 = !A1L12 # !time[3];
A1L42 = CARRY(A1L42_cout_1);


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

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


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

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


--clk is clk at PIN_17
--operation mode is input

clk = INPUT();


--rst is rst at PIN_1
--operation mode is input

rst = INPUT();


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

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


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

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


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

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