zhutaiji.map.eqn

能够检测各种状态

-- 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.
--present_state.s8 is present_state.s8
--operation mode is normal

present_state.s8_lut_out = !xi & (present_state.s7);
present_state.s8 = DFFEAS(present_state.s8_lut_out, clock, !reset, , , , , , );


--present_state.s7 is present_state.s7
--operation mode is normal

present_state.s7_lut_out = xi & present_state.s6;
present_state.s7 = DFFEAS(present_state.s7_lut_out, clock, !reset, , , , , , );


--present_state.s6 is present_state.s6
--operation mode is normal

present_state.s6_lut_out = !xi & (present_state.s5);
present_state.s6 = DFFEAS(present_state.s6_lut_out, clock, !reset, , , , , , );


--present_state.s5 is present_state.s5
--operation mode is normal

present_state.s5_lut_out = !xi & (present_state.s4);
present_state.s5 = DFFEAS(present_state.s5_lut_out, clock, !reset, , , , , , );


--present_state.s4 is present_state.s4
--operation mode is normal

present_state.s4_lut_out = xi & (present_state.s4 # present_state.s3);
present_state.s4 = DFFEAS(present_state.s4_lut_out, clock, !reset, , , , , , );


--present_state.s3 is present_state.s3
--operation mode is normal

present_state.s3_lut_out = xi & (present_state.s7 # present_state.s2);
present_state.s3 = DFFEAS(present_state.s3_lut_out, clock, !reset, , , , , , );


--present_state.s2 is present_state.s2
--operation mode is normal

present_state.s2_lut_out = xi & (present_state.s8 # present_state.s5 # !present_state.s1);
present_state.s2 = DFFEAS(present_state.s2_lut_out, clock, !reset, , , , , , );


--present_state.s1 is present_state.s1
--operation mode is normal

present_state.s1_lut_out = present_state.s7 # xi # present_state.s5 # present_state.s4;
present_state.s1 = DFFEAS(present_state.s1_lut_out, clock, !reset, , , , , , );


--xi is xi
--operation mode is input

xi = INPUT();


--clock is clock
--operation mode is input

clock = INPUT();


--reset is reset
--operation mode is input

reset = INPUT();


--zo is zo
--operation mode is output

zo = OUTPUT(present_state.s8);