top.fit.eqn

verilog语言写的一个四层电梯程序

-- 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.
--B1_overweighted is Lift_comtrol_main:inst|overweighted at LC_X22_Y18_N2
--operation mode is normal

B1_overweighted_lut_out = GND;
B1_overweighted = DFFEAS(B1_overweighted_lut_out, GLOBAL(clk0), VCC, , , overweight, , , VCC);


--B1_num1 is Lift_comtrol_main:inst|num1 at LC_X23_Y11_N3
--operation mode is normal

B1_num1_lut_out = In_num1 # B1_num1 & (B1L74 # !B1_openled);
B1_num1 = DFFEAS(B1_num1_lut_out, GLOBAL(clk0), VCC, , , , , Reset, );


--B1_num2 is Lift_comtrol_main:inst|num2 at LC_X22_Y11_N5
--operation mode is normal

B1_num2_lut_out = In_num2 # B1_num2 & (B1L84 # !B1_openled);
B1_num2 = DFFEAS(B1_num2_lut_out, GLOBAL(clk0), VCC, , , , , Reset, );


--B1_num3 is Lift_comtrol_main:inst|num3 at LC_X23_Y13_N5
--operation mode is normal

B1_num3_lut_out = In_num3 # B1_num3 & (B1L94 # !B1_openled);
B1_num3 = DFFEAS(B1_num3_lut_out, GLOBAL(clk0), VCC, , , , , Reset, );


--B1_num4 is Lift_comtrol_main:inst|num4 at LC_X23_Y13_N7
--operation mode is normal

B1_num4_lut_out = In_num4 # B1_num4 & (!A1L46 # !B1_openled);
B1_num4 = DFFEAS(B1_num4_lut_out, GLOBAL(clk0), VCC, , , , , Reset, );


--B1_up1 is Lift_comtrol_main:inst|up1 at LC_X23_Y11_N7
--operation mode is normal

B1_up1_lut_out = B1L11 # B1L01 # !B1L31 & B1_up1;
B1_up1 = DFFEAS(B1_up1_lut_out, GLOBAL(clk0), VCC, , , , , Reset, );


--B1_up2 is Lift_comtrol_main:inst|up2 at LC_X23_Y12_N4
--operation mode is normal

B1_up2_lut_out = B1L45 & (!Reset # !B1L84 # !B1L41);
B1_up2 = DFFEAS(B1_up2_lut_out, GLOBAL(clk0), VCC, , , , , , );


--B1_up3 is Lift_comtrol_main:inst|up3 at LC_X23_Y13_N6
--operation mode is normal

B1_up3_lut_out = B1L75 # B1L51 # Out_up3 & B1L94;
B1_up3 = DFFEAS(B1_up3_lut_out, GLOBAL(clk0), VCC, , , , , Reset, );


--B1_down2 is Lift_comtrol_main:inst|down2 at LC_X22_Y8_N2
--operation mode is normal

B1_down2_lut_out = B1L61 # B1L92 # Out_down2 & B1L84;
B1_down2 = DFFEAS(B1_down2_lut_out, GLOBAL(clk0), VCC, , , , , Reset, );


--B1_down3 is Lift_comtrol_main:inst|down3 at LC_X22_Y11_N0
--operation mode is normal

B1_down3_lut_out = B1L71 # B1L13 # B1L94 & Out_down3;
B1_down3 = DFFEAS(B1_down3_lut_out, GLOBAL(clk0), VCC, , , , , Reset, );


--B1_down4 is Lift_comtrol_main:inst|down4 at LC_X22_Y12_N8
--operation mode is normal

B1_down4_lut_out = B1L33 # B1L81 # Out_down4 & !A1L46;
B1_down4 = DFFEAS(B1_down4_lut_out, GLOBAL(clk0), VCC, , , , , Reset, );


--B1_openled is Lift_comtrol_main:inst|openled at LC_X22_Y8_N5
--operation mode is normal

B1_openled_lut_out = overweight & B1_openled # !overweight & (C1L96 & (B1L42) # !C1L96 & B1_openled);
B1_openled = DFFEAS(B1_openled_lut_out, GLOBAL(clk0), VCC, , , , , Reset, );


--B1_upled is Lift_comtrol_main:inst|upled at LC_X22_Y12_N7
--operation mode is normal

B1_upled_lut_out = !Reset & C1L17 & B1L95;
B1_upled = DFFEAS(B1_upled_lut_out, GLOBAL(clk0), VCC, , , , , , );


--B1_downled is Lift_comtrol_main:inst|downled at LC_X24_Y11_N0
--operation mode is normal

B1_downled_lut_out = C1L17 & (!Reset & B1L53);
B1_downled = DFFEAS(B1_downled_lut_out, GLOBAL(clk0), VCC, , , , , , );


--D1_dp1[6] is cout:inst2|dp1[6] at LC_X24_Y11_N4
--operation mode is normal

D1_dp1[6]_lut_out = B1_led1 # !B1_led4 & !B1_led3 & !B1_led2;
D1_dp1[6] = DFFEAS(D1_dp1[6]_lut_out, GLOBAL(clk0), VCC, , , , , , );


--D1_dp1[5] is cout:inst2|dp1[5] at LC_X24_Y11_N9
--operation mode is normal

D1_dp1[5]_lut_out = B1_led1 # B1_led3 # B1_led2 # !B1_led4;
D1_dp1[5] = DFFEAS(D1_dp1[5]_lut_out, GLOBAL(clk0), VCC, , , , , , );


--D1_dp1[4] is cout:inst2|dp1[4] at LC_X25_Y12_N5
--operation mode is normal

D1_dp1[4]_lut_out = B1_led1 # !B1_led2;
D1_dp1[4] = DFFEAS(D1_dp1[4]_lut_out, GLOBAL(clk0), VCC, , , , , , );


--D1_dp1[3] is cout:inst2|dp1[3] at LC_X24_Y11_N7
--operation mode is normal

D1_dp1[3]_lut_out = B1_led1 # !B1_led3 & !B1_led2;
D1_dp1[3] = DFFEAS(D1_dp1[3]_lut_out, GLOBAL(clk0), VCC, , , , , , );


--D1_dp1[2] is cout:inst2|dp1[2] at LC_X24_Y11_N5
--operation mode is normal

D1_dp1[2]_lut_out = !B1_led1 & (B1_led2 # !B1_led4 & !B1_led3);
D1_dp1[2] = DFFEAS(D1_dp1[2]_lut_out, GLOBAL(clk0), VCC, , , , , , );


--D1_dp1[1] is cout:inst2|dp1[1] at LC_X24_Y11_N2
--operation mode is normal

D1_dp1[1]_lut_out = !B1_led1 & !B1_led4 & !B1_led3 & !B1_led2;
D1_dp1[1] = DFFEAS(D1_dp1[1]_lut_out, GLOBAL(clk0), VCC, , , , , , );


--B1_Now_Floor[1] is Lift_comtrol_main:inst|Now_Floor[1] at LC_X23_Y13_N9
--operation mode is normal

B1_Now_Floor[1]_lut_out = !Reset & (B1_Now_Floor[0] $ B1_Now_Floor[1] $ !B1L52);
B1_Now_Floor[1] = DFFEAS(B1_Now_Floor[1]_lut_out, GLOBAL(clk0), VCC, , B1L4, , , , );


--B1_Now_Floor[2] is Lift_comtrol_main:inst|Now_Floor[2] at LC_X24_Y13_N0
--operation mode is normal

B1_Now_Floor[2]_lut_out = !Reset & (B1_Now_Floor[2] $ !B1L9);
B1_Now_Floor[2] = DFFEAS(B1_Now_Floor[2]_lut_out, GLOBAL(clk0), VCC, , B1L4, , , , );


--B1_Now_Floor[0] is Lift_comtrol_main:inst|Now_Floor[0] at LC_X24_Y13_N3
--operation mode is normal

B1_Now_Floor[0]_lut_out = C1L17 & (B1L6) # !C1L17 & B1_Now_Floor[0];
B1_Now_Floor[0] = DFFEAS(B1_Now_Floor[0]_lut_out, GLOBAL(clk0), VCC, , , VCC, , , Reset);


--B1L74 is Lift_comtrol_main:inst|reduce_nor~0 at LC_X24_Y13_N4
--operation mode is normal

B1L74 = B1_Now_Floor[1] # B1_Now_Floor[2] # !B1_Now_Floor[0];


--B1L84 is Lift_comtrol_main:inst|reduce_nor~1 at LC_X23_Y13_N3
--operation mode is normal

B1L84 = B1_Now_Floor[2] # B1_Now_Floor[0] # !B1_Now_Floor[1];


--B1L94 is Lift_comtrol_main:inst|reduce_nor~2 at LC_X23_Y13_N4
--operation mode is normal

B1L94 = B1_Now_Floor[2] # !B1_Now_Floor[0] # !B1_Now_Floor[1];


--A1L46 is rtl~1776 at LC_X24_Y13_N8
--operation mode is normal

A1L46 = !B1_Now_Floor[1] & B1_Now_Floor[2] & (!B1_Now_Floor[0]);


--B1_up is Lift_comtrol_main:inst|up at LC_X23_Y12_N0
--operation mode is normal

B1_up_lut_out = B1_Now_Floor[1] & (A1L47 # A1L07) # !B1_Now_Floor[1] & (A1L36);
B1_up = DFFEAS(B1_up_lut_out, GLOBAL(clk0), VCC, , A1L67, , , B1_Now_Floor[2], );


--B1_down is Lift_comtrol_main:inst|down at LC_X24_Y12_N4
--operation mode is normal

B1_down_lut_out = A1L26 # !B1_Now_Floor[2] & B1_Now_Floor[1] & A1L08;
B1_down = DFFEAS(B1_down_lut_out, GLOBAL(clk0), VCC, , A1L67, , , Reset, );


--B1L21 is Lift_comtrol_main:inst|always4~98 at LC_X22_Y12_N0
--operation mode is normal

B1L21 = !B1_up & !B1_down;


--B1L31 is Lift_comtrol_main:inst|always4~99 at LC_X23_Y11_N5
--operation mode is normal

B1L31 = !B1L74 & B1_up1 & (B1_openled # B1L21);


--B1L41 is Lift_comtrol_main:inst|always5~60 at LC_X23_Y12_N6
--operation mode is normal

B1L41 = !B1_upled & !B1_downled;


--B1L11 is Lift_comtrol_main:inst|always4~4 at LC_X23_Y11_N6
--operation mode is normal

B1L11 = !B1L74 & !B1_openled & B1L41 & Out_up1;


--B1L01 is Lift_comtrol_main:inst|always4~0 at LC_X23_Y11_N0
--operation mode is normal

B1L01 = Out_up1 & (B1_Now_Floor[1] # B1_Now_Floor[2] # !B1_Now_Floor[0]);


--B1L35 is Lift_comtrol_main:inst|up2~379 at LC_X23_Y12_N5
--operation mode is normal

B1L35 = Out_up2 & (B1L84 # !B1_openled & B1L41);


--B1L65 is Lift_comtrol_main:inst|up3~111 at LC_X23_Y12_N1
--operation mode is normal

B1L65 = B1_up & B1_openled # !B1_up & (!B1_down);


--B1L45 is Lift_comtrol_main:inst|up2~380 at LC_X23_Y12_N3
--operation mode is normal

B1L45 = B1L35 # B1_up2 & (B1L84 # !B1L65);


--B1L75 is Lift_comtrol_main:inst|up3~112 at LC_X23_Y13_N0
--operation mode is normal

B1L75 = B1_up3 & (B1L94 # !B1L65);


--B1L51 is Lift_comtrol_main:inst|always6~4 at LC_X23_Y13_N2
--operation mode is normal

B1L51 = Out_up3 & !B1L94 & !B1_openled & B1L41;


--B1L82 is Lift_comtrol_main:inst|down2~120 at LC_X22_Y8_N1
--operation mode is normal

B1L82 = B1_down & B1_openled # !B1_down & (!B1_up);


--B1L92 is Lift_comtrol_main:inst|down2~121 at LC_X22_Y8_N0
--operation mode is normal

B1L92 = B1_down2 & (B1L84 # !B1L82);


--B1L61 is Lift_comtrol_main:inst|always7~4 at LC_X22_Y8_N3
--operation mode is normal

B1L61 = Out_down2 & !B1_openled & !B1L84 & B1L41;


--B1L13 is Lift_comtrol_main:inst|down3~108 at LC_X22_Y11_N9
--operation mode is normal

B1L13 = B1_down3 & (B1L94 # !B1L82);


--B1L71 is Lift_comtrol_main:inst|always8~4 at LC_X22_Y12_N9
--operation mode is normal

B1L71 = !B1_openled & !B1L94 & B1L41 & Out_down3;


--B1L33 is Lift_comtrol_main:inst|down4~106 at LC_X22_Y12_N2
--operation mode is normal

B1L33 = B1_down4 & (!B1_openled & !B1L21 # !A1L46);


--B1L81 is Lift_comtrol_main:inst|always9~4 at LC_X22_Y12_N6
--operation mode is normal

B1L81 = !B1_openled & A1L46 & B1L41 & Out_down4;


--C1_time2 is Num_Count:inst1|time2 at LC_X22_Y9_N0
--operation mode is normal

C1_time2_lut_out = C1_time2 & (!C1_time8 # !C1L561) # !C1L461;
C1_time2 = DFFEAS(C1_time2_lut_out, GLOBAL(clk0), VCC, , !Reset, , , , );


--C1_time8 is Num_Count:inst1|time8 at LC_X22_Y9_N7
--operation mode is normal

C1_time8_lut_out = C1L461 & (!C1L561) # !C1L461 & C1_time8;
C1_time8 = DFFEAS(C1_time8_lut_out, GLOBAL(clk0), VCC, , , VCC, , , Reset);


--B1L42 is Lift_comtrol_main:inst|always12~2 at LC_X22_Y9_N9
--operation mode is normal

B1L42 = !C1_time8 & C1_time2;


--C1L96 is Num_Count:inst1|always0~13 at LC_X22_Y8_N4
--operation mode is normal

C1L96 = !Alarm & !Lock;


--B1_Start is Lift_comtrol_main:inst|Start at LC_X21_Y10_N0
--operation mode is normal

B1_Start_lut_out = !Reset & (A1L88 # !C1_time8 & A1L19);
B1_Start = DFFEAS(B1_Start_lut_out, GLOBAL(clk0), VCC, , A1L67, , , , );


--B1L95 is Lift_comtrol_main:inst|upled~62 at LC_X22_Y12_N1
--operation mode is normal

B1L95 = !B1_Start & (B1_up # B1_down & B1_upled);


--C1L17 is Num_Count:inst1|always1~143 at LC_X22_Y8_N6
--operation mode is normal

C1L17 = !overweight & (!Alarm & !Lock);


--B1L53 is Lift_comtrol_main:inst|downled~97 at LC_X24_Y11_N6
--operation mode is normal

B1L53 = !B1_Start & (B1_up & (B1_downled) # !B1_up & B1_down);


--B1_led3 is Lift_comtrol_main:inst|led3 at LC_X24_Y11_N8
--operation mode is normal

B1_led3_lut_out = B1_Now_Floor[1] & (B1_Now_Floor[0]);
B1_led3 = DFFEAS(B1_led3_lut_out, GLOBAL(clk0), VCC, , B1L83, ~GND, , Reset, B1_Now_Floor[2]);


--B1_led2 is Lift_comtrol_main:inst|led2 at LC_X25_Y12_N2
--operation mode is normal

B1_led2_lut_out = !B1_Now_Floor[2] & (!B1_Now_Floor[0]);
B1_led2 = DFFEAS(B1_led2_lut_out, GLOBAL(clk0), VCC, , B1L83, , , Reset, );


--B1_led4 is Lift_comtrol_main:inst|led4 at LC_X24_Y11_N3
--operation mode is normal

B1_led4_lut_out = !Reset & (B1_Now_Floor[2]);
B1_led4 = DFFEAS(B1_led4_lut_out, GLOBAL(clk0), VCC, , B1L83, , , , );


--C1_Floor_Time is Num_Count:inst1|Floor_Time at LC_X22_Y6_N4
--operation mode is normal

C1_Floor_Time_lut_out = C1L3 & !C1L871 & !C1L571 & C1L971;
C1_Floor_Time = DFFEAS(C1_Floor_Time_lut_out, GLOBAL(clk0), VCC, , , , , , );


--B1L52 is Lift_comtrol_main:inst|always14~0 at LC_X22_Y12_N3
--operation mode is normal

B1L52 = B1_upled & C1_Floor_Time;


--B1L4 is Lift_comtrol_main:inst|Now_Floor[1]~423 at LC_X24_Y13_N7
--operation mode is normal

B1L4 = Reset # !B1L41 & C1L17 & C1_Floor_Time;


--B1L9 is Lift_comtrol_main:inst|add~376 at LC_X25_Y12_N4
--operation mode is normal

B1L9 = B1_Now_Floor[0] & (!C1_Floor_Time # !B1_Now_Floor[1] # !B1_upled) # !B1_Now_Floor[0] & (B1_Now_Floor[1] # B1_upled & C1_Floor_Time);


--B1L6 is Lift_comtrol_main:inst|Now_Floor~425 at LC_X24_Y13_N1
--operation mode is normal

B1L6 = B1_Now_Floor[0] $ (C1_Floor_Time & (B1_upled # B1_downled));


--A1L56 is rtl~1777 at LC_X24_Y13_N9
--operation mode is normal

A1L56 = !Reset & (B1_Now_Floor[0]);


--A1L66 is rtl~1778 at LC_X22_Y12_N5
--operation mode is normal

A1L66 = !B1_down3 & !B1_up3 & !B1_num3;


--A1L76 is rtl~1779 at LC_X24_Y12_N8
--operation mode is normal

A1L76 = !B1_num4 & !B1_down4;


--B1L02 is Lift_comtrol_main:inst|always10~322 at LC_X23_Y12_N7
--operation mode is normal

B1L02 = !B1_up2 & !B1_num2 & !B1_down2;


--A1L36 is rtl~7 at LC_X23_Y12_N2
--operation mode is normal

A1L36 = A1L56 & (!A1L76 # !A1L66 # !B1L02);


--B1L91 is Lift_comtrol_main:inst|always10~9 at LC_X23_Y11_N8
--operation mode is normal

B1L91 = B1_down & (B1_up1 # B1_num1) # !B1_down & B1_down2 & (B1_num1);


--A1L86 is rtl~1780 at LC_X24_Y12_N9
--operation mode is normal

A1L86 = !B1_Now_Floor[0] & !B1L91 & !Reset;


--B1L12 is Lift_comtrol_main:inst|always10~323 at LC_X23_Y13_N8
--operation mode is normal

B1L12 = B1_num4 # B1_num3;


--B1L22 is Lift_comtrol_main:inst|always10~324 at LC_X24_Y12_N2
--operation mode is normal

B1L22 = !B1_up3 & A1L76 & !B1_down3 & !B1_num3;


--B1L32 is Lift_comtrol_main:inst|always10~325 at LC_X24_Y12_N0
--operation mode is normal

B1L32 = B1_up2 & (B1L12 # B1_up & !B1L22) # !B1_up2 & B1_up & !B1L22;


--A1L96 is rtl~1781 at LC_X24_Y11_N1
--operation mode is normal

A1L96 = !B1_num1 & !B1_up1 & (B1_down # !B1_up);


--A1L07 is rtl~1782 at LC_X24_Y12_N6
--operation mode is normal

A1L07 = A1L86 & (B1L32 # !B1L22 & A1L96);


--A1L17 is rtl~1783 at LC_X23_Y13_N1
--operation mode is normal

A1L17 = B1_num4 & B1_up3;


--A1L27 is rtl~1784 at LC_X23_Y11_N1
--operation mode is normal

A1L27 = !B1_up1 & !B1_num1;


--A1L37 is rtl~1785 at LC_X23_Y12_N8
--operation mode is normal

A1L37 = A1L56 & (B1_up # B1L02 & A1L27);


--A1L47 is rtl~1786 at LC_X23_Y12_N9
--operation mode is normal

A1L47 = A1L76 & (A1L17 & A1L56) # !A1L76 & (A1L37 # A1L17 & A1L56);


--A1L57 is rtl~1787 at LC_X24_Y13_N5
--operation mode is normal

A1L57 = B1_Now_Floor[2] $ (B1_Now_Floor[1] # B1_Now_Floor[0]);


--A1L67 is rtl~1788 at LC_X24_Y13_N6
--operation mode is normal

A1L67 = Reset # C1L17 & A1L57;


--A1L26 is rtl~1 at LC_X22_Y12_N4
--operation mode is normal

A1L26 = A1L46 & (!A1L66 # !A1L27 # !B1L02);


--A1L77 is rtl~1789 at LC_X24_Y12_N5
--operation mode is normal