lift.map.eqn

用fpga控制电梯,实现五层电梯的升降控制,运用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.
--wai_t[0] is wai_t[0]
--operation mode is normal

wai_t[0]_lut_out = !wai_t[0] & A1L104 & (wai_t[1] # wai_t[2]);
wai_t[0] = DFFEAS(wai_t[0]_lut_out, dir[0], VCC, , , , , , );


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

wai_t[1]_lut_out = wai_t[0] $ !wai_t[1] # !A1L104;
wai_t[1] = DFFEAS(wai_t[1]_lut_out, dir[0], VCC, , , , , , );


--wai_t[2] is wai_t[2]
--operation mode is normal

wai_t[2]_lut_out = close & !ladd[1] # !A1L105;
wai_t[2] = DFFEAS(wai_t[2]_lut_out, dir[0], VCC, , , , , , );


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

liftor[0]_lut_out = liftor[0] $ A1L27;
liftor[0] = DFFEAS(liftor[0]_lut_out, dir[0], VCC, , , , , , );


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

liftor[1]_lut_out = liftor[1] $ (A1L27 & (liftor[0] $ !A1L78));
liftor[1] = DFFEAS(liftor[1]_lut_out, dir[0], VCC, , , , , , );


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

A1L1 = liftor[0] $ liftor[1];


--liftor[2] is liftor[2]
--operation mode is normal

liftor[2]_lut_out = liftor[2] $ (A1L27 & A1L30);
liftor[2] = DFFEAS(liftor[2]_lut_out, dir[0], VCC, , , , , , );


--A1L2 is add~261
--operation mode is normal

A1L2 = liftor[2] $ (liftor[0] & liftor[1]);


--A1L3 is add~262
--operation mode is normal

A1L3 = liftor[0] & liftor[1] & liftor[2];


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

dir[0]_lut_out = !dir[0];
dir[0] = DFFEAS(dir[0]_lut_out, clkin, VCC, , , , , , );


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

dir[1]_lut_out = dir[1] & (!dir[0]) # !dir[1] & !dir[2] & dir[0];
dir[1] = DFFEAS(dir[1]_lut_out, clkin, VCC, , , , , , );


--A1L4 is add~263
--operation mode is normal

A1L4 = dir[0] $ dir[1];


--dir[2] is dir[2]
--operation mode is normal

dir[2]_lut_out = dir[2] & (!dir[0]) # !dir[2] & dir[1] & dir[0];
dir[2] = DFFEAS(dir[2]_lut_out, clkin, VCC, , , , , , );


--A1L5 is add~264
--operation mode is normal

A1L5 = dir[2] $ (dir[0] & dir[1]);


--A1L6 is add~265
--operation mode is normal

A1L6 = dir[0] & dir[1] & dir[2];


--A1L79 is rtl~118
--operation mode is normal

A1L79 = !ur[1] & !ur[2] & !ur[3] & !ur[4];


--A1L77 is rtl~0
--operation mode is normal

A1L77 = A1L79 & (!ur[5] & !ur[6]);


--A1L70 is p3~284
--operation mode is normal

A1L70 = liftor[0] & (ur[4] # !liftor[1]) # !liftor[0] & liftor[1] & ur[3];


--A1L71 is p3~285
--operation mode is normal

A1L71 = liftor[2] & (A1L70 & (ur[6]) # !A1L70 & ur[5]) # !liftor[2] & (A1L70);


--A1L72 is p3~286
--operation mode is normal

A1L72 = liftor[1] & (liftor[2] # A1L71) # !liftor[1] & (liftor[2] & (A1L71) # !liftor[2] & ur[1] & !A1L71);


--A1L73 is p3~287
--operation mode is normal

A1L73 = !A1L77 & !A1L72 & (!A1L71 # !ur[2]);


--A1L74 is p3~288
--operation mode is normal

A1L74 = wai_t[1] & wai_t[2] & (!wai_t[0]);


--A1L75 is p3~289
--operation mode is normal

A1L75 = A1L74 & (A1L77 # !liftor[2] # !liftor[1]);


--A1L104 is wai_t~174
--operation mode is normal

A1L104 = !delay & (ladd[1] # !close);


--A1L105 is wai_t~177
--operation mode is normal

A1L105 = wai_t[2] & (delay # !wai_t[0] & !wai_t[1]) # !wai_t[2] & (wai_t[0] # wai_t[1]);


--A1L27 is liftor[1]~609
--operation mode is normal

A1L27 = ladd[1] & wai_t[0] & !wai_t[1] & !wai_t[2];


--A1L78 is rtl~4
--operation mode is normal

A1L78 = ladd[1] & ladd[0];


--A1L30 is liftor[2]~612
--operation mode is normal

A1L30 = liftor[0] & ladd[1] & ladd[0] & liftor[1] # !liftor[0] & !liftor[1] & (!ladd[0] # !ladd[1]);


--A1L37 is p2~2634
--operation mode is normal

A1L37 = liftor[0] & (!dir[0] & !dir[1]);


--A1L38 is p2~2635
--operation mode is normal

A1L38 = st_ch & (liftor[2] & (A1L37 # !dir[2]) # !liftor[2] & A1L37 & !dir[2]);


--A1L39 is p2~2636
--operation mode is normal

A1L39 = liftor[1] & (liftor[0] & !dir[0] # !dir[1]);


--A1L40 is p2~2637
--operation mode is normal

A1L40 = st_ch & (liftor[2] # !dir[2]);


--A1L41 is p2~2638
--operation mode is normal

A1L41 = downin # A1L39 & A1L40;


--A1L42 is p2~2639
--operation mode is normal

A1L42 = !A1L5 & (A1L38 # A1L41);


--A1L43 is p2~2640
--operation mode is normal

A1L43 = dir[1] & (dir[0] & !liftor[0] # !liftor[1]) # !dir[1] & dir[0] & !liftor[0] & !liftor[1];


--A1L44 is p2~2641
--operation mode is normal

A1L44 = st_ch & (dir[2] & (A1L43 # !liftor[2]) # !dir[2] & A1L43 & !liftor[2]);


--A1L45 is p2~2642
--operation mode is normal

A1L45 = !A1L44 & !upin;


--A1L46 is p2~2643
--operation mode is normal

A1L46 = dir[0] & A1L42 & !dir[1] # !A1L45;


--A1L28 is liftor[1]~614
--operation mode is normal

A1L28 = wai_t[0] & (!wai_t[1]);


--A1L47 is p2~2644
--operation mode is normal

A1L47 = wai_t[2] & A1L28 & !A1L44 & !upin;


--A1L48 is p2~2645
--operation mode is normal

A1L48 = liftor[0] & A1L47 & !liftor[1] & !liftor[2];


--A1L49 is p2~2646
--operation mode is normal

A1L49 = !A1L5 & (A1L38 # A1L41 # !A1L45);


--A1L50 is p2~2647
--operation mode is normal

A1L50 = A1L48 # dir[0] & A1L49 & !dir[1];


--A1L51 is p2~2648
--operation mode is normal

A1L51 = A1L38 # downin # A1L39 & A1L40;


--A1L52 is p2~2649
--operation mode is normal

A1L52 = !dir[0] & !dir[1];


--A1L53 is p2~2650
--operation mode is normal

A1L53 = A1L51 & A1L52 & !A1L5 # !A1L45;


--A1L54 is p2~2651
--operation mode is normal

A1L54 = A1L47 & (!liftor[0] & !liftor[2]);


--A1L55 is p2~2652
--operation mode is normal

A1L55 = A1L52 & (A1L49 # A1L54 & !A1L1) # !A1L52 & (A1L54 & !A1L1);


--A1L56 is p2~2653
--operation mode is normal

A1L56 = dir[1] & (!dir[0]);


--A1L57 is p2~2654
--operation mode is normal

A1L57 = A1L51 & A1L56 & !A1L5 # !A1L45;


--A1L58 is p2~2655
--operation mode is normal

A1L58 = A1L1 & (A1L54 # A1L49 & A1L56) # !A1L1 & A1L49 & A1L56;


--A1L59 is p2~2656
--operation mode is normal

A1L59 = dir[0] & dir[1] & (!dir[2]);


--A1L60 is p2~2657
--operation mode is normal

A1L60 = A1L44 # upin # A1L38 # A1L41;


--A1L61 is p2~2658
--operation mode is normal

A1L61 = liftor[0] & A1L47 & (liftor[1] $ liftor[2]);


--A1L62 is p2~2659
--operation mode is normal

A1L62 = A1L60 & (A1L59 # A1L61 & !A1L1) # !A1L60 & (A1L61 & !A1L1);


--A1L63 is p2~2660
--operation mode is normal

A1L63 = A1L5 & A1L51 & A1L52 # !A1L45;


--A1L64 is p2~2661
--operation mode is normal

A1L64 = liftor[2] & A1L47 & !liftor[0] & !liftor[1];


--A1L65 is p2~2662
--operation mode is normal

A1L65 = A1L64 # A1L5 & A1L52 & A1L60;


--A1L66 is p2~2663
--operation mode is normal

A1L66 = dir[0] & dir[2] & (!dir[1]);


--A1L67 is p2~2664
--operation mode is normal

A1L67 = A1L1 & (A1L61 # A1L60 & A1L66) # !A1L1 & A1L60 & A1L66;


--A1L31 is Mux~726
--operation mode is normal

A1L31 = ur[4] & (!liftor[1] # !liftor[0]) # !ur[4] & ur[3] & (!liftor[1]);


--A1L32 is Mux~727
--operation mode is normal

A1L32 = ladd[0] & (ur[5] # ur[6] # A1L31);


--A1L33 is Mux~728
--operation mode is normal

A1L33 = !ur[2] & (!ur[3] # !liftor[0]) # !liftor[1];


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

A1L34 = !liftor[2] & (A1L32 # A1L33 & !ur[1]);


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

A1L35 = A1L79 # ur[6] & ladd[0] # !liftor[2];


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

A1L36 = A1L34 # A1L35 & !liftor[0] & !liftor[1];


--A1L68 is p2~2665
--operation mode is normal

A1L68 = A1L44 # upin # A1L51 & A1L59;


--A1L69 is p2~2666
--operation mode is normal

A1L69 = A1L44 # upin # A1L51 & A1L66;


--A1L76 is p3~290
--operation mode is normal

A1L76 = wai_t[1] & wai_t[2] & !wai_t[0] & A1L73;


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

ladd[1] = run_stop & (A1L75 & A1L73 # !A1L75 & (ladd[1]));


--ur[2] is ur[2]
--operation mode is normal

ur[2] = run_stop & (A1L50 & A1L46 # !A1L50 & (ur[2]));


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

ur[1] = run_stop & (A1L55 & A1L53 # !A1L55 & (ur[1]));


--ur[3] is ur[3]
--operation mode is normal

ur[3] = run_stop & (A1L58 & A1L57 # !A1L58 & (ur[3]));


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

ur[4] = run_stop & (A1L62 & A1L68 # !A1L62 & (ur[4]));


--ur[5] is ur[5]
--operation mode is normal

ur[5] = run_stop & (A1L65 & A1L63 # !A1L65 & (ur[5]));


--ur[6] is ur[6]
--operation mode is normal

ur[6] = run_stop & (A1L67 & A1L69 # !A1L67 & (ur[6]));


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

ladd[0] = run_stop & (A1L76 & A1L36 # !A1L76 & (ladd[0]));


--run_stop is run_stop
--operation mode is input

run_stop = INPUT();


--close is close
--operation mode is input

close = INPUT();


--delay is delay
--operation mode is input

delay = INPUT();


--clkin is clkin
--operation mode is input

clkin = INPUT();


--st_ch is st_ch
--operation mode is input

st_ch = INPUT();


--downin is downin
--operation mode is input

downin = INPUT();


--upin is upin
--operation mode is input

upin = INPUT();


--lamp is lamp
--operation mode is output

lamp = OUTPUT(ladd[1]);


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

run_wait[0] = OUTPUT(wai_t[0]);


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

run_wait[1] = OUTPUT(wai_t[1]);


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

run_wait[2] = OUTPUT(wai_t[2]);


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

run_wait[3] = OUTPUT(GND);


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

st_out[0] = OUTPUT(!liftor[0]);


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

st_out[1] = OUTPUT(A1L1);


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

st_out[2] = OUTPUT(A1L2);


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

st_out[3] = OUTPUT(A1L3);


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

direct[0] = OUTPUT(!dir[0]);


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

direct[1] = OUTPUT(A1L4);


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

direct[2] = OUTPUT(A1L5);


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

direct[3] = OUTPUT(A1L6);