lcok.map.eqn

数字密码锁:S0是复位状态：密码为00000001

-- 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.
--state.s1 is state.s1
state.s1 = DFFEAS(A1L02, key, !rst,  ,  ,  ,  ,  ,  );


--state.s0 is state.s0
state.s0 = DFFEAS(A1L12, key, !rst,  ,  ,  ,  ,  ,  );


--temp[7] is temp[7]
temp[7] = DFFEAS(code[7], key, !rst,  , state.s2,  ,  ,  ,  );


--A1L41 is process0~7
A1L41 = temp[7] $ code[7];


--temp[6] is temp[6]
temp[6] = DFFEAS(code[6], key, !rst,  , state.s2,  ,  ,  ,  );


--temp[4] is temp[4]
temp[4] = DFFEAS(code[4], key, !rst,  , state.s2,  ,  ,  ,  );


--A1L61 is Select~75
A1L61 = temp[6] & (temp[4] $ code[4] # !code[6]) # !temp[6] & (code[6] # temp[4] $ code[4]);


--temp[5] is temp[5]
temp[5] = DFFEAS(code[5], key, !rst,  , state.s2,  ,  ,  ,  );


--A1L71 is Select~76
A1L71 = A1L41 # A1L61 # temp[5] $ code[5];


--temp[1] is temp[1]
temp[1] = DFFEAS(code[1], key, !rst,  , state.s2,  ,  ,  ,  );


--temp[2] is temp[2]
temp[2] = DFFEAS(code[2], key, !rst,  , state.s2,  ,  ,  ,  );


--A1L81 is Select~77
A1L81 = temp[1] & (temp[2] $ code[2] # !code[1]) # !temp[1] & (code[1] # temp[2] $ code[2]);


--temp[0] is temp[0]
temp[0] = DFFEAS(A1L82, key, !rst,  , state.s2,  ,  ,  ,  );


--temp[3] is temp[3]
temp[3] = DFFEAS(code[3], key, !rst,  , state.s2,  ,  ,  ,  );


--A1L91 is Select~78
A1L91 = temp[0] & (code[0] # temp[3] $ code[3]) # !temp[0] & (temp[3] $ code[3] # !code[0]);


--A1L02 is Select~79
A1L02 = !state.s0 & !A1L71 & !A1L81 & !A1L91;


--A1L12 is Select~80
A1L12 = A1L02 # state.s1 & change;


--state.s2 is state.s2
state.s2 = DFFEAS(A1L22, key, !rst,  ,  ,  ,  ,  ,  );


--A1L22 is Select~81
A1L22 = state.s1 & change;


--A1L82 is temp[0]~24
A1L82 = !code[0];


--code[7] is code[7]
--operation mode is input

code[7] = INPUT();


--code[6] is code[6]
--operation mode is input

code[6] = INPUT();


--code[4] is code[4]
--operation mode is input

code[4] = INPUT();


--code[5] is code[5]
--operation mode is input

code[5] = INPUT();


--code[1] is code[1]
--operation mode is input

code[1] = INPUT();


--code[2] is code[2]
--operation mode is input

code[2] = INPUT();


--code[0] is code[0]
--operation mode is input

code[0] = INPUT();


--code[3] is code[3]
--operation mode is input

code[3] = INPUT();


--key is key
--operation mode is input

key = INPUT();


--rst is rst
--operation mode is input

rst = INPUT();


--change is change
--operation mode is input

change = INPUT();


--led1 is led1
--operation mode is output

led1 = OUTPUT(!state.s1);


--led2 is led2
--operation mode is output

led2 = OUTPUT(state.s0);