lift.fit.eqn

VHDL编写的6层电梯控制器

B1L154 = B1_position[0] & !B1_fl2 & B1L153 # !B1_position[0] & (!B1_position[1]);


--D8_jsp[0] is unshake:inst15|jsp[0] at LC_X25_Y7_N4
--operation mode is normal

D8_jsp[0]_lut_out = reset & (D8_jsp[1] # !D8_jsp[0]);
D8_jsp[0] = DFFEAS(D8_jsp[0]_lut_out, GLOBAL(clk), VCC, , , , , , );


--D8_jsp[1] is unshake:inst15|jsp[1] at LC_X25_Y7_N2
--operation mode is normal

D8_jsp[1]_lut_out = reset & (D8_jsp[1] # D8_jsp[0]);
D8_jsp[1] = DFFEAS(D8_jsp[1]_lut_out, GLOBAL(clk), VCC, , , , , , );


--B1L24 is control:inst|add~323 at LC_X26_Y8_N1
--operation mode is arithmetic

B1L24_carry_eqn = (!B1L28 & B1L50) # (B1L28 & B1L51);
B1L24 = B1_\k1:cnt[16] $ !B1L24_carry_eqn;

--B1L25 is control:inst|add~325 at LC_X26_Y8_N1
--operation mode is arithmetic

B1L25_cout_0 = B1_\k1:cnt[16] & !B1L50;
B1L25 = CARRY(B1L25_cout_0);

--B1L26 is control:inst|add~325COUT1_442 at LC_X26_Y8_N1
--operation mode is arithmetic

B1L26_cout_1 = B1_\k1:cnt[16] & !B1L51;
B1L26 = CARRY(B1L26_cout_1);


--B1L27 is control:inst|add~328 at LC_X26_Y9_N9
--operation mode is arithmetic

B1L27_carry_eqn = (!B1L36 & B1L30) # (B1L36 & B1L31);
B1L27 = B1_\k1:cnt[14] $ !B1L27_carry_eqn;

--B1L28 is control:inst|add~330 at LC_X26_Y9_N9
--operation mode is arithmetic

B1L28 = CARRY(B1_\k1:cnt[14] & !B1L31);


--B1L16 is control:inst|\k1:cnt[14]~80 at LC_X25_Y10_N1
--operation mode is normal

B1L16 = B1L102 # B1L104 # B1L103 # !D8_cp;


--B1L29 is control:inst|add~333 at LC_X26_Y9_N8
--operation mode is arithmetic

B1L29_carry_eqn = (!B1L36 & B1L33) # (B1L36 & B1L34);
B1L29 = B1_\k1:cnt[13] $ B1L29_carry_eqn;

--B1L30 is control:inst|add~335 at LC_X26_Y9_N8
--operation mode is arithmetic

B1L30_cout_0 = !B1L33 # !B1_\k1:cnt[13];
B1L30 = CARRY(B1L30_cout_0);

--B1L31 is control:inst|add~335COUT1_440 at LC_X26_Y9_N8
--operation mode is arithmetic

B1L31_cout_1 = !B1L34 # !B1_\k1:cnt[13];
B1L31 = CARRY(B1L31_cout_1);


--B1L32 is control:inst|add~338 at LC_X26_Y9_N7
--operation mode is arithmetic

B1L32_carry_eqn = (!B1L36 & B1L47) # (B1L36 & B1L48);
B1L32 = B1_\k1:cnt[12] $ (!B1L32_carry_eqn);

--B1L33 is control:inst|add~340 at LC_X26_Y9_N7
--operation mode is arithmetic

B1L33_cout_0 = B1_\k1:cnt[12] & (!B1L47);
B1L33 = CARRY(B1L33_cout_0);

--B1L34 is control:inst|add~340COUT1_439 at LC_X26_Y9_N7
--operation mode is arithmetic

B1L34_cout_1 = B1_\k1:cnt[12] & (!B1L48);
B1L34 = CARRY(B1L34_cout_1);


--B1L35 is control:inst|add~343 at LC_X26_Y9_N4
--operation mode is arithmetic

B1L35_carry_eqn = (!B1L68 & B1L38) # (B1L68 & B1L39);
B1L35 = B1_\k1:cnt[9] $ B1L35_carry_eqn;

--B1L36 is control:inst|add~345 at LC_X26_Y9_N4
--operation mode is arithmetic

B1L36 = CARRY(!B1L39 # !B1_\k1:cnt[9]);


--B1L37 is control:inst|add~348 at LC_X26_Y9_N3
--operation mode is arithmetic

B1L37_carry_eqn = (!B1L68 & B1L41) # (B1L68 & B1L42);
B1L37 = B1_\k1:cnt[8] $ (!B1L37_carry_eqn);

--B1L38 is control:inst|add~350 at LC_X26_Y9_N3
--operation mode is arithmetic

B1L38_cout_0 = B1_\k1:cnt[8] & (!B1L41);
B1L38 = CARRY(B1L38_cout_0);

--B1L39 is control:inst|add~350COUT1_436 at LC_X26_Y9_N3
--operation mode is arithmetic

B1L39_cout_1 = B1_\k1:cnt[8] & (!B1L42);
B1L39 = CARRY(B1L39_cout_1);


--B1L40 is control:inst|add~353 at LC_X26_Y9_N2
--operation mode is arithmetic

B1L40_carry_eqn = (!B1L68 & B1L62) # (B1L68 & B1L63);
B1L40 = B1_\k1:cnt[7] $ B1L40_carry_eqn;

--B1L41 is control:inst|add~355 at LC_X26_Y9_N2
--operation mode is arithmetic

B1L41_cout_0 = !B1L62 # !B1_\k1:cnt[7];
B1L41 = CARRY(B1L41_cout_0);

--B1L42 is control:inst|add~355COUT1_435 at LC_X26_Y9_N2
--operation mode is arithmetic

B1L42_cout_1 = !B1L63 # !B1_\k1:cnt[7];
B1L42 = CARRY(B1L42_cout_1);


--B1L43 is control:inst|add~358 at LC_X26_Y9_N5
--operation mode is arithmetic

B1L43_carry_eqn = B1L36;
B1L43 = B1_\k1:cnt[10] $ (!B1L43_carry_eqn);

--B1L44 is control:inst|add~360 at LC_X26_Y9_N5
--operation mode is arithmetic

B1L44_cout_0 = B1_\k1:cnt[10] & (!B1L36);
B1L44 = CARRY(B1L44_cout_0);

--B1L45 is control:inst|add~360COUT1_437 at LC_X26_Y9_N5
--operation mode is arithmetic

B1L45_cout_1 = B1_\k1:cnt[10] & (!B1L36);
B1L45 = CARRY(B1L45_cout_1);


--B1L46 is control:inst|add~363 at LC_X26_Y9_N6
--operation mode is arithmetic

B1L46_carry_eqn = (!B1L36 & B1L44) # (B1L36 & B1L45);
B1L46 = B1_\k1:cnt[11] $ B1L46_carry_eqn;

--B1L47 is control:inst|add~365 at LC_X26_Y9_N6
--operation mode is arithmetic

B1L47_cout_0 = !B1L44 # !B1_\k1:cnt[11];
B1L47 = CARRY(B1L47_cout_0);

--B1L48 is control:inst|add~365COUT1_438 at LC_X26_Y9_N6
--operation mode is arithmetic

B1L48_cout_1 = !B1L45 # !B1_\k1:cnt[11];
B1L48 = CARRY(B1L48_cout_1);


--B1L49 is control:inst|add~368 at LC_X26_Y8_N0
--operation mode is arithmetic

B1L49_carry_eqn = B1L28;
B1L49 = B1_\k1:cnt[15] $ (B1L49_carry_eqn);

--B1L50 is control:inst|add~370 at LC_X26_Y8_N0
--operation mode is arithmetic

B1L50_cout_0 = !B1L28 # !B1_\k1:cnt[15];
B1L50 = CARRY(B1L50_cout_0);

--B1L51 is control:inst|add~370COUT1_441 at LC_X26_Y8_N0
--operation mode is arithmetic

B1L51_cout_1 = !B1L28 # !B1_\k1:cnt[15];
B1L51 = CARRY(B1L51_cout_1);


--B1L52 is control:inst|add~373 at LC_X26_Y8_N5
--operation mode is normal

B1L52_carry_eqn = B1L54;
B1L52 = B1L52_carry_eqn $ !B1_\k1:cnt[20];


--B1L53 is control:inst|add~378 at LC_X26_Y8_N4
--operation mode is arithmetic

B1L53_carry_eqn = (!B1L28 & B1L56) # (B1L28 & B1L57);
B1L53 = B1_\k1:cnt[19] $ B1L53_carry_eqn;

--B1L54 is control:inst|add~380 at LC_X26_Y8_N4
--operation mode is arithmetic

B1L54 = CARRY(!B1L57 # !B1_\k1:cnt[19]);


--B1L55 is control:inst|add~383 at LC_X26_Y8_N3
--operation mode is arithmetic

B1L55_carry_eqn = (!B1L28 & B1L59) # (B1L28 & B1L60);
B1L55 = B1_\k1:cnt[18] $ !B1L55_carry_eqn;

--B1L56 is control:inst|add~385 at LC_X26_Y8_N3
--operation mode is arithmetic

B1L56_cout_0 = B1_\k1:cnt[18] & !B1L59;
B1L56 = CARRY(B1L56_cout_0);

--B1L57 is control:inst|add~385COUT1_444 at LC_X26_Y8_N3
--operation mode is arithmetic

B1L57_cout_1 = B1_\k1:cnt[18] & !B1L60;
B1L57 = CARRY(B1L57_cout_1);


--B1L58 is control:inst|add~388 at LC_X26_Y8_N2
--operation mode is arithmetic

B1L58_carry_eqn = (!B1L28 & B1L25) # (B1L28 & B1L26);
B1L58 = B1_\k1:cnt[17] $ (B1L58_carry_eqn);

--B1L59 is control:inst|add~390 at LC_X26_Y8_N2
--operation mode is arithmetic

B1L59_cout_0 = !B1L25 # !B1_\k1:cnt[17];
B1L59 = CARRY(B1L59_cout_0);

--B1L60 is control:inst|add~390COUT1_443 at LC_X26_Y8_N2
--operation mode is arithmetic

B1L60_cout_1 = !B1L26 # !B1_\k1:cnt[17];
B1L60 = CARRY(B1L60_cout_1);


--B1L124 is control:inst|Select~1994 at LC_X24_Y9_N2
--operation mode is normal

B1L124 = !B1_state.down2 & B1_state.up1 & (!B1_state.up2);


--B1_position[1] is control:inst|position[1] at LC_X24_Y8_N3
--operation mode is normal

B1_position[1]_qfbk = B1_position[1];
B1_position[1]_lut_out = B1_state.down1 & B1_position[0] & B1_position[1]_qfbk # !B1_state.down1 & (B1_position[1]_qfbk # !B1L124);
B1_position[1] = DFFEAS(B1_position[1]_lut_out, GLOBAL(clk), VCC, , B1L105, , , D8_cp, );


--B1L126 is control:inst|Select~1996 at LC_X24_Y9_N4
--operation mode is normal

B1L126 = B1_state.down1 & (B1_state.up2 # B1_position[0] $ B1_position[1]) # !B1_state.down1 & B1_state.up2 & (B1_position[1] # !B1_position[0]);


--B1_position[0] is control:inst|position[0] at LC_X25_Y8_N4
--operation mode is normal

B1_position[0]_qfbk = B1_position[0];
B1_position[0]_lut_out = B1L126 # B1L124 & !B1_state.down1 & B1_position[0]_qfbk;
B1_position[0] = DFFEAS(B1_position[0]_lut_out, GLOBAL(clk), VCC, , B1L105, VCC, , , D8_cp);


--B1_flag2 is control:inst|flag2 at LC_X29_Y4_N5
--operation mode is normal

B1_flag2_lut_out = D6_cp # D2_cp # D3_cp # B1L91;
B1_flag2 = DFFEAS(B1_flag2_lut_out, GLOBAL(clk), VCC, , , , , , );


--B1_state.dw2 is control:inst|state.dw2 at LC_X23_Y10_N9
--operation mode is normal

B1_state.dw2_lut_out = B1_state.dw1 & !D8_cp;
B1_state.dw2 = DFFEAS(B1_state.dw2_lut_out, GLOBAL(clk), VCC, , B1L105, , , , );


--B1_state.dw1 is control:inst|state.dw1 at LC_X23_Y10_N0
--operation mode is normal

B1_state.dw1_lut_out = B1_state.stop & !D8_cp & !D10_cp & !D9_cp;
B1_state.dw1 = DFFEAS(B1_state.dw1_lut_out, GLOBAL(clk), VCC, , B1L105, , , , );


--B1L118 is control:inst|reduce_or~62 at LC_X23_Y9_N8
--operation mode is normal

B1L118 = B1_state.dw3 # B1_state.dw1;


--B1L117 is control:inst|reduce_or~9 at LC_X23_Y9_N4
--operation mode is normal

B1L117 = B1_state.stop # B1_state.dw2 # B1L118 # B1_state.dw5;


--B1L128 is control:inst|Select~1998 at LC_X23_Y10_N4
--operation mode is normal

B1L128 = B1_position[0] & (B1_state.dw4 # B1_position[1] & B1_state.up2) # !B1_position[0] & (B1_state.up2 # !B1_position[1] & B1_state.dw4);


--B1L129 is control:inst|Select~1999 at LC_X23_Y9_N9
--operation mode is normal

B1L129 = B1_fl2 & (A1L29 # !B1_state.down1) # !B1_fl2 & B1L152 & (A1L29 # !B1_state.down1);


--B1L130 is control:inst|Select~2001 at LC_X24_Y8_N2
--operation mode is normal

B1L130 = B1_position[0] & B1_state.dw4 & !B1_position[1];


--B1L131 is control:inst|Select~2002 at LC_X24_Y8_N1
--operation mode is normal

B1L131 = B1_position[0] & B1_state.dw4 & B1_position[1];


--B1L132 is control:inst|Select~2003 at LC_X24_Y9_N7
--operation mode is normal

B1L132 = B1L120 & B1_fl1 & !B1_\k1:updown;


--B1L133 is control:inst|Select~2004 at LC_X24_Y9_N5
--operation mode is normal

B1L133 = B1L120 & B1_fl3 & B1_\k1:updown;


--D5_cp is unshake:inst6|cp at LC_X26_Y6_N9
--operation mode is normal

D5_cp_lut_out = one & (D5_jsp[0] & !D5_jsp[1]) # !one & D5_cp;
D5_cp = DFFEAS(D5_cp_lut_out, GLOBAL(clk), VCC, , , , , , );


--D1_cp is unshake:inst2|cp at LC_X26_Y6_N2
--operation mode is normal

D1_cp_lut_out = upone & D1_jsp[0] & (!D1_jsp[1]) # !upone & (D1_cp);
D1_cp = DFFEAS(D1_cp_lut_out, GLOBAL(clk), VCC, , , , , , );


--B1_clear1 is control:inst|clear1 at LC_X23_Y9_N0
--operation mode is normal

B1_clear1_lut_out = B1L122 # B1L130 # B1L135;
B1_clear1 = DFFEAS(B1_clear1_lut_out, GLOBAL(clk), VCC, , B1L86, , , , );


--D7_cp is unshake:inst14|cp at LC_X34_Y7_N9
--operation mode is normal

D7_cp_lut_out = three & (D7_jsp[0] & !D7_jsp[1]) # !three & D7_cp;
D7_cp = DFFEAS(D7_cp_lut_out, GLOBAL(clk), VCC, , , , , , );


--D4_cp is unshake:inst5|cp at LC_X34_Y7_N2
--operation mode is normal

D4_cp_lut_out = downthree & D4_jsp[0] & (!D4_jsp[1]) # !downthree & (D4_cp);
D4_cp = DFFEAS(D4_cp_lut_out, GLOBAL(clk), VCC, , , , , , );


--B1_clear3 is control:inst|clear3 at LC_X23_Y9_N6
--operation mode is normal

B1_clear3_lut_out = B1L123 # B1L131 # B1L136;
B1_clear3 = DFFEAS(B1_clear3_lut_out, GLOBAL(clk), VCC, , B1L86, , , , );


--B1L61 is control:inst|add~393 at LC_X26_Y9_N1
--operation mode is arithmetic

B1L61_carry_eqn = (!B1L68 & B1L65) # (B1L68 & B1L66);
B1L61 = B1_\k1:cnt[6] $ (!B1L61_carry_eqn);

--B1L62 is control:inst|add~395 at LC_X26_Y9_N1
--operation mode is arithmetic

B1L62_cout_0 = B1_\k1:cnt[6] & (!B1L65);
B1L62 = CARRY(B1L62_cout_0);

--B1L63 is control:inst|add~395COUT1_434 at LC_X26_Y9_N1
--operation mode is arithmetic

B1L63_cout_1 = B1_\k1:cnt[6] & (!B1L66);
B1L63 = CARRY(B1L63_cout_1);


--D2_cp is unshake:inst3|cp at LC_X29_Y4_N0
--operation mode is normal

D2_cp_lut_out = uptwo & !D2_jsp[1] & (D2_jsp[0]) # !uptwo & (D2_cp);
D2_cp = DFFEAS(D2_cp_lut_out, GLOBAL(clk), VCC, , , , , , );


--B1_clear2 is control:inst|clear2 at LC_X24_Y7_N4
--operation mode is normal

B1_clear2_lut_out = B1L137 # B1L139 # A1L30 & B1_state.up2;
B1_clear2 = DFFEAS(B1_clear2_lut_out, GLOBAL(clk), VCC, , B1L86, , , , );


--B1L91 is control:inst|flag2~22 at LC_X29_Y4_N4
--operation mode is normal

B1L91 = !B1_clear2 & (B1_flag2);


--D6_cp is unshake:inst7|cp at LC_X29_Y4_N9
--operation mode is normal

D6_cp_lut_out = two & !D6_jsp[1] & (D6_jsp[0]) # !two & (D6_cp);
D6_cp = DFFEAS(D6_cp_lut_out, GLOBAL(clk), VCC, , , , , , );


--D3_cp is unshake:inst4|cp at LC_X29_Y4_N8
--operation mode is normal

D3_cp_lut_out = downtwo & !D3_jsp[1] & (D3_jsp[0]) # !downtwo & (D3_cp);
D3_cp = DFFEAS(D3_cp_lut_out, GLOBAL(clk), VCC, , , , , , );


--D5_jsp[0] is unshake:inst6|jsp[0] at LC_X26_Y6_N8
--operation mode is normal

D5_jsp[0]_lut_out = one & (D5_jsp[1] # !D5_jsp[0]);
D5_jsp[0] = DFFEAS(D5_jsp[0]_lut_out, GLOBAL(clk), VCC, , , , , , );


--D5_jsp[1] is unshake:inst6|jsp[1] at LC_X26_Y6_N5
--operation mode is normal

D5_jsp[1]_lut_out = one & (D5_jsp[0] # D5_jsp[1]);
D5_jsp[1] = DFFEAS(D5_jsp[1]_lut_out, GLOBAL(clk), VCC, , , , , , );


--D1_jsp[0] is unshake:inst2|jsp[0] at LC_X26_Y6_N4
--operation mode is normal

D1_jsp[0]_lut_out = upone & (D1_jsp[1] # !D1_jsp[0]);
D1_jsp[0] = DFFEAS(D1_jsp[0]_lut_out, GLOBAL(clk), VCC, , , , , , );


--D1_jsp[1] is unshake:inst2|jsp[1] at LC_X26_Y6_N6
--operation mode is normal

D1_jsp[1]_lut_out = upone & (D1_jsp[0] # D1_jsp[1]);
D1_jsp[1] = DFFEAS(D1_jsp[1]_lut_out, GLOBAL(clk), VCC, , , , , , );


--B1L134 is control:inst|Select~2005 at LC_X23_Y9_N3
--operation mode is normal