--E1_Motor_Data[1] is Motor_Control:inst3|Motor_Data[1]
E1_Motor_Data[1]_p1_out = !Reset & !En & D1L4;
E1_Motor_Data[1]_or_out = E1_Motor_Data[1]_p1_out;
E1_Motor_Data[1]_reg_input = E1_Motor_Data[1]_or_out;
E1_Motor_Data[1] = DFFE(E1_Motor_Data[1]_reg_input, GLOBAL(Floor_Time), , , );


--E1L5 is Motor_Control:inst3|Motor_Data[1]~4
E1L5_or_out = E1_Motor_Data[1];
E1L5 = E1L5_or_out;


--F1_dffs[0] is Motor_Control:inst3|lpm_counter:Now_Floor_rtl_0|dffs[0]
F1_dffs[0]_p0_out = !Reset & !En & D1L4 & !F1_dffs[0] & !F1_dffs[2] & !F1_dffs[1];
F1_dffs[0]_p1_out = D1L2 & !Reset & !En & !D1L4 & !F1_dffs[0] & F1_dffs[2];
F1_dffs[0]_p2_out = D1L2 & !Reset & !En & !D1L4 & !F1_dffs[0] & F1_dffs[1];
F1_dffs[0]_p3_out = !Reset & !En & D1L4 & F1_dffs[0] & F1_dffs[3];
F1_dffs[0]_p4_out = !Reset & !En & D1L4 & !F1_dffs[0] & !F1_dffs[3];
F1_dffs[0]_or_out = F1L5 # F1_dffs[0]_p0_out # F1_dffs[0]_p1_out # F1_dffs[0]_p2_out # F1_dffs[0]_p3_out # F1_dffs[0]_p4_out;
F1_dffs[0]_reg_input = F1_dffs[0]_or_out;
F1_dffs[0] = DFFE(F1_dffs[0]_reg_input, GLOBAL(Floor_Time), , , );


--F1_dffs[1] is Motor_Control:inst3|lpm_counter:Now_Floor_rtl_0|dffs[1]
F1_dffs[1]_p0_out = !D1L4 & !F1_dffs[0] & D1L2 & F1_dffs[1];
F1_dffs[1]_p1_out = F1_dffs[3] & !Reset & !En & !D1L4 & !F1_dffs[0] & D1L2;
F1_dffs[1]_p2_out = !Reset & !En & !D1L4 & !F1_dffs[0] & D1L2 & F1_dffs[2];
F1_dffs[1]_p3_out = Reset & F1_dffs[1];
F1_dffs[1]_p4_out = En & F1_dffs[1];
F1_dffs[1]_or_out = F1L7 # F1_dffs[1]_p0_out # F1_dffs[1]_p1_out # F1_dffs[1]_p2_out # F1_dffs[1]_p3_out # F1_dffs[1]_p4_out;
F1_dffs[1]_reg_input = F1_dffs[1]_or_out;
F1_dffs[1] = TFFE(F1_dffs[1]_reg_input, GLOBAL(Floor_Time), , , );


--F1_dffs[2] is Motor_Control:inst3|lpm_counter:Now_Floor_rtl_0|dffs[2]
F1_dffs[2]_p0_out = !D1L4 & !F1_dffs[1] & !F1_dffs[0] & D1L2 & F1_dffs[2];
F1_dffs[2]_p1_out = !Reset & !En & !F1_dffs[3] & D1L4 & F1_dffs[1] & F1_dffs[0];
F1_dffs[2]_p2_out = !Reset & !En & F1_dffs[3] & !D1L4 & !F1_dffs[1] & !F1_dffs[0] & D1L2;
F1_dffs[2]_p3_out = Reset & F1_dffs[2];
F1_dffs[2]_p4_out = En & F1_dffs[2];
F1_dffs[2]_or_out = F1_dffs[2]_p0_out # F1_dffs[2]_p1_out # F1_dffs[2]_p2_out # F1_dffs[2]_p3_out # F1_dffs[2]_p4_out;
F1_dffs[2]_reg_input = F1_dffs[2]_or_out;
F1_dffs[2] = TFFE(F1_dffs[2]_reg_input, GLOBAL(Floor_Time), , , );


--D1L5 is Lift_Run_Manage:inst2|always0~1115
D1L5_p1_out = !F1_dffs[2] & !F1_dffs[1] & !F1_dffs[0];
D1L5_p2_out = !Master_Floor8 & !Slave_Floor8[4];
D1L5_p3_out = !Master_Floor8 & Slave_Floor8[1];
D1L5_p4_out = !Master_Floor8 & !Slave_Floor8[0];
D1L5_or_out = !F1_dffs[3] # D1L5_p1_out # D1L5_p2_out # D1L5_p3_out # D1L5_p4_out;
D1L5 = D1L5_or_out;


--D1L61 is Lift_Run_Manage:inst2|always0~1135
D1L61_p0_out = !Master_Floor4 & !Slave_Floor4[0];
D1L61_p1_out = !F1_dffs[1] & !F1_dffs[3] & !F1_dffs[0];
D1L61_p2_out = !F1_dffs[3] & !F1_dffs[2];
D1L61_p3_out = !Slave_Floor4[4] & !Master_Floor4;
D1L61_p4_out = !Master_Floor4 & Slave_Floor4[1];
D1L61_or_out = D1L61_p0_out # D1L61_p1_out # D1L61_p2_out # D1L61_p3_out # D1L61_p4_out;
D1L61 = D1L61_or_out;


--D1L12 is Lift_Run_Manage:inst2|always0~1146
D1L12_p0_out = !Master_Floor2 & !Slave_Floor2[0];
D1L12_p1_out = !F1_dffs[1] & !F1_dffs[3] & !F1_dffs[2];
D1L12_p2_out = !F1_dffs[3] & !F1_dffs[2] & !F1_dffs[0];
D1L12_p3_out = !Slave_Floor2[4] & !Master_Floor2;
D1L12_p4_out = !Master_Floor2 & Slave_Floor2[1];
D1L12_or_out = D1L12_p0_out # D1L12_p1_out # D1L12_p2_out # D1L12_p3_out # D1L12_p4_out;
D1L12 = D1L12_or_out;


--D1L22 is Lift_Run_Manage:inst2|always0~1151
D1L22_p1_out = !F1_dffs[3] & !F1_dffs[2] & !F1_dffs[1];
D1L22_p2_out = Slave_Floor1[1] & !Master_Floor1;
D1L22_p3_out = !Master_Floor1 & !Slave_Floor1[0];
D1L22_p4_out = !Master_Floor1 & !Slave_Floor1[4];
D1L22_or_out = D1L22_p1_out # D1L22_p2_out # D1L22_p3_out # D1L22_p4_out;
D1L22 = D1L22_or_out;


--D1L1 is Lift_Run_Manage:inst2|Down_En~17
D1L1_p1_out = D1L5 & D1L61 & D1L12 & D1L22 & F1L3 & D1L6 & D1L7 & D1L8 & D1L9 & D1L01 & D1L11 & D1L21 & D1L31 & D1L41 & D1L51 & D1L71 & D1L81 & D1L91 & D1L02;
D1L1_p2_out = E1_Motor_Data[1] & F1L3;
D1L1_p3_out = !E1_Motor_Data[0] & F1L3;
D1L1_or_out = D1L1_p1_out # D1L1_p2_out # D1L1_p3_out # C1L1;
D1L1 = D1L1_or_out;


--D1L2 is Lift_Run_Manage:inst2|Down_En~28
D1L2_p1_out = !D1L1 & D1L3;
D1L2_p2_out = !D1L3 & D1L2;
D1L2_p3_out = !D1L1 & D1L2;
D1L2_or_out = D1L2_p1_out # D1L2_p2_out # D1L2_p3_out;
D1L2 = D1L2_or_out;


--E1_Motor_Data[0] is Motor_Control:inst3|Motor_Data[0]
E1_Motor_Data[0]_p1_out = !Reset & !En & !D1L4 & D1L2;
E1_Motor_Data[0]_or_out = E1_Motor_Data[0]_p1_out;
E1_Motor_Data[0]_reg_input = E1_Motor_Data[0]_or_out;
E1_Motor_Data[0] = DFFE(E1_Motor_Data[0]_reg_input, GLOBAL(Floor_Time), , , );


--E1L3 is Motor_Control:inst3|Motor_Data[0]~6
E1L3_or_out = E1_Motor_Data[0];
E1L3 = E1L3_or_out;


--D1L42 is Lift_Run_Manage:inst2|always0~1161
D1L42_p1_out = !Master_Floor7 & !Slave_Floor7[4];
D1L42_p2_out = !Master_Floor7 & Slave_Floor7[2];
D1L42_p3_out = !Master_Floor7 & !Slave_Floor7[3];
D1L42_p4_out = F1_dffs[2] & F1_dffs[1] & F1_dffs[0];
D1L42_or_out = F1_dffs[3] # D1L42_p1_out # D1L42_p2_out # D1L42_p3_out # D1L42_p4_out;
D1L42 = D1L42_or_out;


--D1L72 is Lift_Run_Manage:inst2|always0~1177
D1L72_p1_out = Master_Floor3 & !F1_dffs[1] & !F1_dffs[3] & !F1_dffs[2];
D1L72_p2_out = Master_Floor3 & !F1_dffs[3] & !F1_dffs[2] & !F1_dffs[0];
D1L72_p3_out = !F1_dffs[1] & !F1_dffs[3] & !F1_dffs[2] & Slave_Floor3[4] & !Slave_Floor3[2] & Slave_Floor3[3];
D1L72_p4_out = !F1_dffs[3] & !F1_dffs[2] & !F1_dffs[0] & Slave_Floor3[4] & !Slave_Floor3[2] & Slave_Floor3[3];
D1L72_or_out = D1L72_p1_out # D1L72_p2_out # D1L72_p3_out # D1L72_p4_out;
D1L72 = D1L72_or_out;


--D1L82 is Lift_Run_Manage:inst2|always0~1183
D1L82_p1_out = !F1_dffs[3] & !F1_dffs[2] & Master_Floor4;
D1L82_p2_out = !F1_dffs[3] & !F1_dffs[2] & Slave_Floor4[3] & !Slave_Floor4[2] & Slave_Floor4[4];
D1L82_or_out = D1L82_p1_out # D1L82_p2_out;
D1L82 = D1L82_or_out;


--D1L92 is Lift_Run_Manage:inst2|always0~1186
D1L92_p1_out = !F1_dffs[3] & !F1_dffs[2] & !F1_dffs[1] & Master_Floor2;
D1L92_p2_out = !F1_dffs[3] & !F1_dffs[2] & !F1_dffs[1] & Slave_Floor2[3] & !Slave_Floor2[2] & Slave_Floor2[4];
D1L92_or_out = D1L92_p1_out # D1L92_p2_out;
D1L92 = D1L92_or_out;


--D1L3 is Lift_Run_Manage:inst2|Up_En~16
D1L3_p1_out = D1L42 & !D1L72 & !D1L82 & !D1L92 & F1L4 & D1L32 & D1L52 & D1L62;
D1L3_p2_out = !E1_Motor_Data[1] & F1L4;
D1L3_p3_out = E1_Motor_Data[0] & F1L4;
D1L3_or_out = D1L3_p1_out # D1L3_p2_out # D1L3_p3_out # C1L1;
D1L3 = D1L3_or_out;


--D1L03 is Lift_Run_Manage:inst2|always0~1190
D1L03_p1_out = D1L42 & !D1L72 & !D1L82 & !D1L92 & F1L4 & D1L32 & D1L52 & D1L62;
D1L03_p2_out = !E1_Motor_Data[1] & F1L4;
D1L03_p3_out = E1_Motor_Data[0] & F1L4;
D1L03_or_out = D1L03_p1_out # D1L03_p2_out # D1L03_p3_out;
D1L03 = D1L03_or_out;


--D1L4 is Lift_Run_Manage:inst2|Up_En~30
D1L4_p1_out = !D1L3 & !D1L03;
D1L4_p2_out = D1L4 & D1L03 & !D1L1;
D1L4_p3_out = !D1L3 & D1L4;
D1L4_p4_out = !D1L3 & D1L1;
D1L4_or_out = D1L4_p1_out # D1L4_p2_out # D1L4_p3_out # D1L4_p4_out;
D1L4 = D1L4_or_out;


--F1_dffs[3] is Motor_Control:inst3|lpm_counter:Now_Floor_rtl_0|dffs[3]
F1_dffs[3]_p1_out = D1L4 & F1_dffs[0] & F1_dffs[2] & F1_dffs[1] & !Reset & !En & !F1_dffs[3];
F1_dffs[3]_p2_out = !D1L4 & !F1_dffs[0] & !F1_dffs[2] & !F1_dffs[1] & F1_dffs[3] & D1L2;
F1_dffs[3]_p3_out = Reset & F1_dffs[3];
F1_dffs[3]_p4_out = En & F1_dffs[3];
F1_dffs[3]_or_out = F1_dffs[3]_p1_out # F1_dffs[3]_p2_out # F1_dffs[3]_p3_out # F1_dffs[3]_p4_out;
F1_dffs[3]_reg_input = F1_dffs[3]_or_out;
F1_dffs[3] = TFFE(F1_dffs[3]_reg_input, GLOBAL(Floor_Time), , , );


--B1_CNT[0] is Door_Control:inst|CNT[0]
B1_CNT[0]_p0_out = !B1_CNT[0] & !Reset & !En & Slave_Request_Arrive;
B1_CNT[0]_p1_out = !F1_dffs[0] & !F1_dffs[3] & F1_dffs[2] & !F1_dffs[1] & !B1_CNT[0] & !Reset & !En & Master_Floor4;
B1_CNT[0]_p2_out = F1_dffs[0] & !F1_dffs[3] & !F1_dffs[2] & !F1_dffs[1] & !B1_CNT[0] & !Reset & !En & Master_Floor1;
B1_CNT[0]_p3_out = F1_dffs[0] & !F1_dffs[3] & !F1_dffs[2] & F1_dffs[1] & !B1_CNT[0] & !Reset & !En & Master_Floor3;
B1_CNT[0]_p4_out = F1_dffs[0] & F1_dffs[3] & !F1_dffs[2] & !F1_dffs[1] & !B1_CNT[0] & !Reset & !En & Master_Floor9;
B1_CNT[0]_or_out = B1L5 # B1_CNT[0]_p0_out # B1_CNT[0]_p1_out # B1_CNT[0]_p2_out # B1_CNT[0]_p3_out # B1_CNT[0]_p4_out;
B1_CNT[0]_reg_input = B1_CNT[0]_or_out;
B1_CNT[0] = DFFE(B1_CNT[0]_reg_input, GLOBAL(Clock_1Hz), , , );


--B1_CNT[1] is Door_Control:inst|CNT[1]
B1_CNT[1]_p1_out = !Reset & !En;
B1_CNT[1]_p0_out = !Reset & !En & B1_CNT[0] & B1_CNT[1];
B1_CNT[1]_p2_out = !Reset & !En & !Master_Floor5 & !Slave_Request_Arrive & F1_dffs[2] & !F1_dffs[1] & F1_dffs[0];
B1_CNT[1]_p3_out = !Reset & !En & !Slave_Request_Arrive & !F1_dffs[1] & !F1_dffs[0] & !Master_Floor4 & !F1_dffs[3];
B1_CNT[1]_p4_out = !Reset & !En & !B1_CNT[0] & !B1_CNT[1];
B1_CNT[1]_or_out = B1L8 # B1_CNT[1]_p0_out # B1_CNT[1]_p2_out # B1_CNT[1]_p3_out # B1_CNT[1]_p4_out;
B1_CNT[1]_reg_input = B1_CNT[1]_p1_out $ B1_CNT[1]_or_out;
B1_CNT[1] = DFFE(B1_CNT[1]_reg_input, GLOBAL(Clock_1Hz), , , );


--B1_CNT[2] is Door_Control:inst|CNT[2]
B1_CNT[2]_p1_out = !Reset & !En;
B1_CNT[2]_p0_out = !Reset & !En & B1_CNT[1] & B1_CNT[2] & B1_CNT[0];
B1_CNT[2]_p2_out = !Reset & !En & !Slave_Request_Arrive & !Master_Floor4 & !F1_dffs[3] & !F1_dffs[1] & !F1_dffs[0];
B1_CNT[2]_p3_out = !Reset & !En & !B1_CNT[1] & !B1_CNT[2];
B1_CNT[2]_p4_out = !Reset & !En & !B1_CNT[2] & !B1_CNT[0];
B1_CNT[2]_or_out = B1L11 # B1_CNT[2]_p0_out # B1_CNT[2]_p2_out # B1_CNT[2]_p3_out # B1_CNT[2]_p4_out;
B1_CNT[2]_reg_input = B1_CNT[2]_p1_out $ B1_CNT[2]_or_out;
B1_CNT[2] = DFFE(B1_CNT[2]_reg_input, GLOBAL(Clock_1Hz), , , );


--B1L21 is Door_Control:inst|Door_on_off~218
B1L21_p0_out = F1_dffs[3] & F1_dffs[0] & !F1_dffs[2] & !F1_dffs[1] & !Reset & !En & Master_Floor9;
B1L21_p1_out = Master_Floor1 & !F1_dffs[3] & F1_dffs[0] & !F1_dffs[2] & !F1_dffs[1] & !Reset & !En;
B1L21_p2_out = !F1_dffs[3] & F1_dffs[0] & !F1_dffs[2] & F1_dffs[1] & !Reset & !En & Master_Floor3;
B1L21_p3_out = !F1_dffs[3] & !F1_dffs[0] & !F1_dffs[2] & F1_dffs[1] & !Reset & !En & Master_Floor2;
B1L21_p4_out = F1_dffs[3] & !F1_dffs[0] & !F1_dffs[2] & !F1_dffs[1] & !Reset & !En & Master_Floor8;
B1L21_or_out = B1L41 # B1L21_p0_out # B1L21_p1_out # B1L21_p2_out # B1L21_p3_out # B1L21_p4_out;
B1L21 = B1L21_or_out;


--F1L5 is Motor_Control:inst3|lpm_counter:Now_Floor_rtl_0|dffs[0]~1805
F1L5_p1_out = !F1_dffs[3] & !Reset & !En & !D1L4 & F1_dffs[0] & !F1_dffs[2] & !F1_dffs[1];
F1L5_p2_out = !Reset & !En & !D1L4 & F1_dffs[0] & !D1L2;
F1L5_p3_out = F1_dffs[3] & !Reset & !En & !D1L4 & !F1_dffs[0] & D1L2;
F1L5 = F1L5_p1_out # F1L5_p2_out # F1L5_p3_out;


--F1L7 is Motor_Control:inst3|lpm_counter:Now_Floor_rtl_0|dffs[1]~1809
F1L7_p1_out = !F1_dffs[3] & !Reset & !En & D1L4 & F1_dffs[0];
F1L7 = F1L7_p1_out;


--B1L5 is Door_Control:inst|CNT~226
B1L5_p0_out = !F1_dffs[0] & !F1_dffs[3] & F1_dffs[2] & F1_dffs[1] & !B1_CNT[0] & !Reset & !En & Master_Floor6;
B1L5_p1_out = !F1_dffs[0] & Master_Floor8 & F1_dffs[3] & !F1_dffs[2] & !F1_dffs[1] & !B1_CNT[0] & !Reset & !En;
B1L5_p2_out = !F1_dffs[0] & !F1_dffs[3] & !F1_dffs[2] & F1_dffs[1] & !B1_CNT[0] & !Reset & !En & Master_Floor2;
B1L5_p3_out = F1_dffs[0] & !F1_dffs[3] & F1_dffs[2] & !F1_dffs[1] & !B1_CNT[0] & !Reset & !En & Master_Floor5;
B1L5_p4_out = F1_dffs[0] & !F1_dffs[3] & F1_dffs[2] & F1_dffs[1] & !B1_CNT[0] & !Reset & !En & Master_Floor7;
B1L5 = B1L5_p0_out # B1L5_p1_out # B1L5_p2_out # B1L5_p3_out # B1L5_p4_out;


--B1L6 is Door_Control:inst|CNT~232
B1L6_p1_out = !Reset & !En & !Master_Floor7 & !Master_Floor6 & !Master_Floor2 & !Master_Floor3 & !Master_Floor1 & !Master_Floor5 & !Master_Floor8 & !Slave_Request_Arrive & !Master_Floor4 & !Master_Floor9;
B1L6_p2_out = !Reset & !En & !Master_Floor7 & !Master_Floor6 & !Master_Floor5 & !Slave_Request_Arrive & !Master_Floor4 & F1_dffs[2];
B1L6_p3_out = !Reset & !En & !Master_Floor7 & !Master_Floor6 & !Master_Floor2 & !Master_Floor3 & !Slave_Request_Arrive & F1_dffs[1];
B1L6_p4_out = !Reset & !En & !Master_Floor7 & !Master_Floor3 & !Master_Floor1 & !Master_Floor5 & !Slave_Request_Arrive & !F1_dffs[3] & F1_dffs[0];
B1L6 = B1L6_p1_out # B1L6_p2_out # B1L6_p3_out # B1L6_p4_out;


--B1L7 is Door_Control:inst|CNT~237
B1L7_p0_out = !Reset & !En & !Slave_Request_Arrive & F1_dffs[1] & F1_dffs[3];
B1L7_p1_out = !Reset & !En & !Master_Floor7 & !Slave_Request_Arrive & F1_dffs[2] & F1_dffs[1] & F1_dffs[0];
B1L7_p2_out = !Reset & !En & !Slave_Request_Arrive & !F1_dffs[0] & !Master_Floor8 & F1_dffs[3];
B1L7_p3_out = !Reset & !En & !Slave_Request_Arrive & F1_dffs[0] & F1_dffs[3] & !Master_Floor9;
B1L7_p4_out = !Reset & !En & !Slave_Request_Arrive & F1_dffs[2] & F1_dffs[3];
B1L7 = B1L6 # B1L7_p0_out # B1L7_p1_out # B1L7_p2_out # B1L7_p3_out # B1L7_p4_out;


--B1L8 is Door_Control:inst|CNT~243
B1L8_p0_out = !Reset & !En & !Slave_Request_Arrive & !F1_dffs[2] & F1_dffs[1] & F1_dffs[0] & !Master_Floor3;
B1L8_p1_out = !Reset & !En & !Master_Floor6 & !Slave_Request_Arrive & F1_dffs[2] & F1_dffs[1] & !F1_dffs[0];
B1L8_p2_out = !Reset & !En & !Slave_Request_Arrive & !F1_dffs[2] & !F1_dffs[1] & !Master_Floor1 & !F1_dffs[3];
B1L8_p3_out = !Reset & !En & !Slave_Request_Arrive & !F1_dffs[2] & !F1_dffs[0] & !F1_dffs[3] & !Master_Floor2;
B1L8_p4_out = !Reset & !En & !Slave_Request_Arrive & !F1_dffs[2] & !F1_dffs[1] & !F1_dffs[0] & !F1_dffs[3];
B1L8 = B1L7 # B1L8_p0_out # B1L8_p1_out # B1L8_p2_out # B1L8_p3_out # B1L8_p4_out;


--B1L9 is Door_Control:inst|CNT~249
B1L9_p0_out = !Reset & !En & !Master_Floor7 & !Slave_Request_Arrive & F1_dffs[2] & F1_dffs[1] & F1_dffs[0];
B1L9_p1_out = !Reset & !En & !Master_Floor7 & !Master_Floor6 & !Master_Floor2 & !Master_Floor3 & !Master_Floor1 & !Master_Floor5 & !Master_Floor8 & !Slave_Request_Arrive & !Master_Floor4 & !Master_Floor9;
B1L9_p2_out = !Reset & !En & !Master_Floor7 & !Master_Floor6 & !Master_Floor5 & !Slave_Request_Arrive & !Master_Floor4 & F1_dffs[2];
B1L9_p3_out = !Reset & !En & !Master_Floor7 & !Master_Floor6 & !Master_Floor2 & !Master_Floor3 & !Slave_Request_Arrive & F1_dffs[1];
B1L9_p4_out = !Reset & !En & !Master_Floor7 & !Master_Floor3 & !Master_Floor1 & !Master_Floor5 & !Slave_Request_Arrive & !F1_dffs[3] & F1_dffs[0];
B1L9 = B1L9_p0_out # B1L9_p1_out # B1L9_p2_out # B1L9_p3_out # B1L9_p4_out;


--B1L01 is Door_Control:inst|CNT~255
B1L01_p0_out = !Reset & !En & !Slave_Request_Arrive & !F1_dffs[0] & F1_dffs[2] & F1_dffs[1] & !Master_Floor6;
B1L01_p1_out = !Reset & !En & !Master_Floor8 & !Slave_Request_Arrive & F1_dffs[3] & !F1_dffs[0];
B1L01_p2_out = !Reset & !En & !Slave_Request_Arrive & F1_dffs[3] & F1_dffs[0] & !Master_Floor9;
B1L01_p3_out = !Reset & !En & !Slave_Request_Arrive & F1_dffs[3] & F1_dffs[2];
B1L01_p4_out = !Reset & !En & !Slave_Request_Arrive & F1_dffs[3] & F1_dffs[1];
B1L01 = B1L9 # B1L01_p0_out # B1L01_p1_out # B1L01_p2_out # B1L01_p3_out # B1L01_p4_out;


--B1L11 is Door_Control:inst|CNT~261
B1L11_p0_out = !Reset & !En & !Slave_Request_Arrive & F1_dffs[2] & !F1_dffs[1] & F1_dffs[0] & !Master_Floor5;
B1L11_p1_out = !Reset & !En & !Master_Floor1 & !Slave_Request_Arrive & !F1_dffs[3] & !F1_dffs[2] & !F1_dffs[1];
B1L11_p2_out = !Reset & !En & !Slave_Request_Arrive & !F1_dffs[3] & !F1_dffs[2] & !Master_Floor2 & !F1_dffs[0];
B1L11_p3_out = !Reset & !En & !Slave_Request_Arrive & !F1_dffs[3] & !F1_dffs[2] & !F1_dffs[1] & !F1_dffs[0];
B1L11_p4_out = !Reset & !En & !Slave_Request_Arrive & !F1_dffs[2] & F1_dffs[1] & F1_dffs[0] & !Master_Floor3;
B1L11 = B1L01 # B1L11_p0_out # B1L11_p1_out # B1L11_p2_out # B1L11_p3_out # B1L11_p4_out;


--B1L31 is Door_Control:inst|Door_on_off~219
B1L31_p1_out = !B1_CNT[2] & Delay_Request & !Ahead_Request & !Reset & !En;
B1L31_p2_out = Delay_Request & !Ahead_Request & !Reset & !En & !B1_CNT[1];
B1L31_p3_out = Delay_Request & !Ahead_Request & !Reset & !En & !B1_CNT[0];
B1L31 = B1L31_p1_out # B1L31_p2_out # B1L31_p3_out;


--B1L41 is Door_Control:inst|Door_on_off~223
B1L41_p0_out = !Reset & !En & !F1_dffs[3] & !F1_dffs[0] & F1_dffs[2] & !F1_dffs[1] & Master_Floor4;
B1L41_p1_out = Slave_Request_Arrive & !Reset & !En;
B1L41_p2_out = !Reset & !En & Master_Floor7 & !F1_dffs[3] & F1_dffs[0] & F1_dffs[2] & F1_dffs[1];
B1L41_p3_out = !Reset & !En & !F1_dffs[3] & !F1_dffs[0] & F1_dffs[2] & F1_dffs[1] & Master_Floor6;
B1L41_p4_out = !Reset & !En & !F1_dffs[3] & F1_dffs[0] & F1_dffs[2] & !F1_dffs[1] & Master_Floor5;
B1L41 = B1L31 # B1L41_p0_out # B1L41_p1_out # B1L41_p2_out # B1L41_p3_out # B1L41_p4_out;


--F1L3 is Motor_Control:inst3|lpm_counter:Now_Floor_rtl_0|dffs[0]~1796sexp
F1L3 = EXP(F1_dffs[3] & F1_dffs[0] & !F1_dffs[2] & !F1_dffs[1]);


--C1L1 is Floor_Select:inst1|always0~821sexp
C1L1 = EXP(!Reset & !En);


--F1L4 is Motor_Control:inst3|lpm_counter:Now_Floor_rtl_0|dffs[0]~1798sexp
F1L4 = EXP(!F1_dffs[3] & F1_dffs[0] & !F1_dffs[2] & !F1_dffs[1]);


--D1L6 is Lift_Run_Manage:inst2|always0~1119sexp1
D1L6 = EXP(F1_dffs[3] & Master_Floor7);


--D1L7 is Lift_Run_Manage:inst2|always0~1119sexp2
D1L7 = EXP(F1_dffs[3] & Slave_Floor7[4] & !Slave_Floor7[1] & Slave_Floor7[0]);


--D1L8 is Lift_Run_Manage:inst2|always0~1124sexp1
D1L8 = EXP(F1_dffs[3] & Master_Floor6);


--D1L9 is Lift_Run_Manage:inst2|always0~1124sexp2
D1L9 = EXP(F1_dffs[3] & Slave_Floor6[4] & !Slave_Floor6[1] & Slave_Floor6[0]);


--D1L01 is Lift_Run_Manage:inst2|always0~1124sexp3
D1L01 = EXP(Master_Floor6 & F1_dffs[2] & F1_dffs[1] & F1_dffs[0]);


--D1L11 is Lift_Run_Manage:inst2|always0~1124sexp4
D1L11 = EXP(F1_dffs[2] & F1_dffs[1] & F1_dffs[0] & Slave_Floor6[4] & !Slave_Floor6[1] & Slave_Floor6[0]);


--D1L21 is Lift_Run_Manage:inst2|always0~1129sexp1
D1L21 = EXP(F1_dffs[3] & Master_Floor5);


--D1L31 is Lift_Run_Manage:inst2|always0~1129sexp2
D1L31 = EXP(F1_dffs[3] & Slave_Floor5[4] & !Slave_Floor5[1] & Slave_Floor5[0]);


--D1L41 is Lift_Run_Manage:inst2|always0~1129sexp3
D1L41 = EXP(Master_Floor5 & F1_dffs[2] & F1_dffs[1]);


--D1L51 is Lift_Run_Manage:inst2|always0~1129sexp4
D1L51 = EXP(F1_dffs[2] & F1_dffs[1] & Slave_Floor5[4] & !Slave_Floor5[1] & Slave_Floor5[0]);


--D1L71 is Lift_Run_Manage:inst2|always0~1140sexp1
D1L71 = EXP(F1_dffs[3] & Master_Floor3);


--D1L81 is Lift_Run_Manage:inst2|always0~1140sexp2
D1L81 = EXP(F1_dffs[3] & Slave_Floor3[4] & !Slave_Floor3[1] & Slave_Floor3[0]);


--D1L91 is Lift_Run_Manage:inst2|always0~1140sexp3
D1L91 = EXP(Master_Floor3 & F1_dffs[2]);


--D1L02 is Lift_Run_Manage:inst2|always0~1140sexp4
D1L02 = EXP(F1_dffs[2] & Slave_Floor3[4] & !Slave_Floor3[1] & Slave_Floor3[0]);


--D1L52 is Lift_Run_Manage:inst2|always0~1167sexp2bal
D1L52_p0_out = !F1_dffs[3] & !F1_dffs[1] & Master_Floor5 & !F1_dffs[0];
D1L52_p1_out = Master_Floor6 & !F1_dffs[3] & !F1_dffs[1];
D1L52_p2_out = !F1_dffs[3] & !F1_dffs[2] & Slave_Floor6[4] & !Slave_Floor6[2] & Slave_Floor6[3];
D1L52_p3_out = !F1_dffs[3] & !F1_dffs[1] & Slave_Floor6[4] & !Slave_Floor6[2] & Slave_Floor6[3];
D1L52_p4_out = !F1_dffs[3] & !F1_dffs[2] & Master_Floor5;
D1L52_or_out = D1L52_p0_out # D1L52_p1_out # D1L52_p2_out # D1L52_p3_out # D1L52_p4_out;
D1L52 = !(D1L52_or_out);


--D1L32 is Lift_Run_Manage:inst2|always0~1156sexp1bal
D1L32_p0_out = !F1_dffs[3] & !F1_dffs[2] & Master_Floor6;
D1L32_p1_out = !F1_dffs[3] & Master_Floor9;
D1L32_p2_out = !F1_dffs[3] & !Slave_Floor9[2] & Slave_Floor9[3] & Slave_Floor9[4];
D1L32_p3_out = Master_Floor9 & !F1_dffs[2] & !F1_dffs[1] & !F1_dffs[0];
D1L32_p4_out = !Slave_Floor9[2] & Slave_Floor9[3] & Slave_Floor9[4] & !F1_dffs[2] & !F1_dffs[1] & !F1_dffs[0];
D1L32_or_out = D1L32_p0_out # D1L32_p1_out # D1L32_p2_out # D1L32_p3_out # D1L32_p4_out;
D1L32 = !(D1L32_or_out);


--D1L62 is Lift_Run_Manage:inst2|always0~1172sexp3bal
D1L62_p1_out = !F1_dffs[2] & Slave_Floor5[4] & !Slave_Floor5[2] & Slave_Floor5[3] & !F1_dffs[3];
D1L62_p2_out = Slave_Floor5[4] & !Slave_Floor5[2] & Slave_Floor5[3] & !F1_dffs[3] & !F1_dffs[1] & !F1_dffs[0];
D1L62_p3_out = !F1_dffs[3] & Master_Floor8;
D1L62_p4_out = !F1_dffs[3] & Slave_Floor8[3] & !Slave_Floor8[2] & Slave_Floor8[4];
D1L62_or_out = D1L62_p1_out # D1L62_p2_out # D1L62_p3_out # D1L62_p4_out;
D1L62 = !(D1L62_or_out);


--Reset is Reset
--operation mode is input

Reset = INPUT();


--En is En
--operation mode is input

En = INPUT();


--Clock_1Hz is Clock_1Hz
--operation mode is input

Clock_1Hz = INPUT();


--Master_Floor1 is Master_Floor1
--operation mode is input

Master_Floor1 = INPUT();


--Master_Floor2 is Master_Floor2
--operation mode is input

Master_Floor2 = INPUT();


--Master_Floor3 is Master_Floor3
--operation mode is input

Master_Floor3 = INPUT();


--Master_Floor4 is Master_Floor4
--operation mode is input

Master_Floor4 = INPUT();


--Master_Floor5 is Master_Floor5
--operation mode is input

Master_Floor5 = INPUT();


--Master_Floor6 is Master_Floor6
--operation mode is input

Master_Floor6 = INPUT();


--Master_Floor7 is Master_Floor7
--operation mode is input

Master_Floor7 = INPUT();


--Master_Floor8 is Master_Floor8
--operation mode is input

Master_Floor8 = INPUT();


--Master_Floor9 is Master_Floor9
--operation mode is input

Master_Floor9 = INPUT();


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

Slave_Floor1[4] = INPUT();


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

Slave_Floor1[3] = INPUT();


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

Slave_Floor1[2] = INPUT();


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

Slave_Floor1[1] = INPUT();


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

Slave_Floor1[0] = INPUT();


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

Slave_Floor2[4] = INPUT();


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

Slave_Floor2[3] = INPUT();


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

Slave_Floor2[2] = INPUT();


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

Slave_Floor2[1] = INPUT();


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

Slave_Floor2[0] = INPUT();


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

Slave_Floor3[4] = INPUT();


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

Slave_Floor3[3] = INPUT();


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

Slave_Floor3[2] = INPUT();


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

Slave_Floor3[1] = INPUT();


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

Slave_Floor3[0] = INPUT();


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

Slave_Floor4[4] = INPUT();


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

Slave_Floor4[3] = INPUT();


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

Slave_Floor4[2] = INPUT();


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

Slave_Floor4[1] = INPUT();


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

Slave_Floor4[0] = INPUT();


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

Slave_Floor5[4] = INPUT();


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

Slave_Floor5[3] = INPUT();


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

Slave_Floor5[2] = INPUT();


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

Slave_Floor5[1] = INPUT();


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

Slave_Floor5[0] = INPUT();


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

Slave_Floor6[4] = INPUT();


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

Slave_Floor6[3] = INPUT();


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

Slave_Floor6[2] = INPUT();


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

Slave_Floor6[1] = INPUT();


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

Slave_Floor6[0] = INPUT();


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

Slave_Floor7[4] = INPUT();


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

Slave_Floor7[3] = INPUT();


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

Slave_Floor7[2] = INPUT();


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

Slave_Floor7[1] = INPUT();


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

Slave_Floor7[0] = INPUT();


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

Slave_Floor8[4] = INPUT();


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

Slave_Floor8[3] = INPUT();


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

Slave_Floor8[2] = INPUT();


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

Slave_Floor8[1] = INPUT();


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

Slave_Floor8[0] = INPUT();


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

Slave_Floor9[4] = INPUT();


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

Slave_Floor9[3] = INPUT();


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

Slave_Floor9[2] = INPUT();


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

Slave_Floor9[1] = INPUT();


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

Slave_Floor9[0] = INPUT();


--Floor_Time is Floor_Time
--operation mode is input

Floor_Time = INPUT();


--Slave_Request_Arrive is Slave_Request_Arrive
--operation mode is input

Slave_Request_Arrive = INPUT();


--Ahead_Request is Ahead_Request
--operation mode is input

Ahead_Request = INPUT();


--Delay_Request is Delay_Request
--operation mode is input

Delay_Request = INPUT();


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

Motor_Data[1] = OUTPUT(E1_Motor_Data[1]);


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

Now_Direction[1] = OUTPUT(E1L5);


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

Now_Floor[0] = OUTPUT(F1_dffs[0]);


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

Now_Floor[1] = OUTPUT(F1_dffs[1]);


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

Now_Floor[2] = OUTPUT(F1_dffs[2]);


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

Motor_Data[0] = OUTPUT(E1_Motor_Data[0]);


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

Now_Direction[0] = OUTPUT(E1L3);


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

Now_Floor[3] = OUTPUT(F1_dffs[3]);


--Door_On_Off is Door_On_Off
--operation mode is output

Door_On_Off = OUTPUT(B1L21);


