lift.map.eqn

VHDL编写的6层电梯控制器

--B1_flag1 is control:inst|flag1
--operation mode is normal

B1_flag1_lut_out = D5_cp # D1_cp # B1_flag1 & !B1_clear1;
B1_flag1 = DFFEAS(B1_flag1_lut_out, clk, VCC, , , , , , );


--B1L106 is control:inst|Select~1990
--operation mode is normal

B1L106 = B1_position[1] & B1_state.down1 & (!B1_position[0]);


--B1_flag3 is control:inst|flag3
--operation mode is normal

B1_flag3_lut_out = D7_cp # D4_cp # B1_flag3 & !B1_clear3;
B1_flag3 = DFFEAS(B1_flag3_lut_out, clk, VCC, , , , , , );


--B1L107 is control:inst|Select~1992
--operation mode is normal

B1L107 = B1_position[1] & B1_state.up2 & (!B1_position[0]);


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

A1L29 = B1_position[1] & B1_position[0];


--B1_state.dw3 is control:inst|state.dw3
--operation mode is normal

B1_state.dw3_lut_out = B1_state.dw2 & (!D8_cp);
B1_state.dw3 = DFFEAS(B1_state.dw3_lut_out, clk, VCC, , B1L89, , , , );


--B1L137 is control:inst|state~531
--operation mode is normal

B1L137 = B1_position[1] & (!B1_fl1) # !B1_position[1] & !B1_fl3;


--B1L138 is control:inst|state~532
--operation mode is normal

B1L138 = B1_position[0] & B1L137 & (!B1_fl2) # !B1_position[0] & (!B1_position[1]);


--D8_jsp[0] is unshake:inst15|jsp[0]
--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, clk, VCC, , , , , , );


--D8_jsp[1] is unshake:inst15|jsp[1]
--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, clk, VCC, , , , , , );


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

B1L24_carry_eqn = B1L43;
B1L24 = B1_\k1:cnt[16] $ (!B1L24_carry_eqn);

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

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


--B1L26 is control:inst|add~328
--operation mode is arithmetic

B1L26_carry_eqn = B1L29;
B1L26 = B1_\k1:cnt[14] $ (!B1L26_carry_eqn);

--B1L27 is control:inst|add~330
--operation mode is arithmetic

B1L27 = CARRY(B1_\k1:cnt[14] & (!B1L29));


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

B1L16 = B1L86 # B1L87 # B1L88 # !D8_cp;


--B1L28 is control:inst|add~333
--operation mode is arithmetic

B1L28_carry_eqn = B1L31;
B1L28 = B1_\k1:cnt[13] $ (B1L28_carry_eqn);

--B1L29 is control:inst|add~335
--operation mode is arithmetic

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


--B1L30 is control:inst|add~338
--operation mode is arithmetic

B1L30_carry_eqn = B1L41;
B1L30 = B1_\k1:cnt[12] $ (!B1L30_carry_eqn);

--B1L31 is control:inst|add~340
--operation mode is arithmetic

B1L31 = CARRY(B1_\k1:cnt[12] & (!B1L41));


--B1L32 is control:inst|add~343
--operation mode is arithmetic

B1L32_carry_eqn = B1L35;
B1L32 = B1_\k1:cnt[9] $ (B1L32_carry_eqn);

--B1L33 is control:inst|add~345
--operation mode is arithmetic

B1L33 = CARRY(!B1L35 # !B1_\k1:cnt[9]);


--B1L34 is control:inst|add~348
--operation mode is arithmetic

B1L34_carry_eqn = B1L37;
B1L34 = B1_\k1:cnt[8] $ (!B1L34_carry_eqn);

--B1L35 is control:inst|add~350
--operation mode is arithmetic

B1L35 = CARRY(B1_\k1:cnt[8] & (!B1L37));


--B1L36 is control:inst|add~353
--operation mode is arithmetic

B1L36_carry_eqn = B1L52;
B1L36 = B1_\k1:cnt[7] $ (B1L36_carry_eqn);

--B1L37 is control:inst|add~355
--operation mode is arithmetic

B1L37 = CARRY(!B1L52 # !B1_\k1:cnt[7]);


--B1L38 is control:inst|add~358
--operation mode is arithmetic

B1L38_carry_eqn = B1L33;
B1L38 = B1_\k1:cnt[10] $ (!B1L38_carry_eqn);

--B1L39 is control:inst|add~360
--operation mode is arithmetic

B1L39 = CARRY(B1_\k1:cnt[10] & (!B1L33));


--B1L40 is control:inst|add~363
--operation mode is arithmetic

B1L40_carry_eqn = B1L39;
B1L40 = B1_\k1:cnt[11] $ (B1L40_carry_eqn);

--B1L41 is control:inst|add~365
--operation mode is arithmetic

B1L41 = CARRY(!B1L39 # !B1_\k1:cnt[11]);


--B1L42 is control:inst|add~368
--operation mode is arithmetic

B1L42_carry_eqn = B1L27;
B1L42 = B1_\k1:cnt[15] $ (B1L42_carry_eqn);

--B1L43 is control:inst|add~370
--operation mode is arithmetic

B1L43 = CARRY(!B1L27 # !B1_\k1:cnt[15]);


--B1L44 is control:inst|add~373
--operation mode is normal

B1L44_carry_eqn = B1L46;
B1L44 = B1_\k1:cnt[20] $ (!B1L44_carry_eqn);


--B1L45 is control:inst|add~378
--operation mode is arithmetic

B1L45_carry_eqn = B1L48;
B1L45 = B1_\k1:cnt[19] $ (B1L45_carry_eqn);

--B1L46 is control:inst|add~380
--operation mode is arithmetic

B1L46 = CARRY(!B1L48 # !B1_\k1:cnt[19]);


--B1L47 is control:inst|add~383
--operation mode is arithmetic

B1L47_carry_eqn = B1L50;
B1L47 = B1_\k1:cnt[18] $ (!B1L47_carry_eqn);

--B1L48 is control:inst|add~385
--operation mode is arithmetic

B1L48 = CARRY(B1_\k1:cnt[18] & (!B1L50));


--B1L49 is control:inst|add~388
--operation mode is arithmetic

B1L49_carry_eqn = B1L25;
B1L49 = B1_\k1:cnt[17] $ (B1L49_carry_eqn);

--B1L50 is control:inst|add~390
--operation mode is arithmetic

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


--B1L108 is control:inst|Select~1994
--operation mode is normal

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


--B1L109 is control:inst|Select~1995
--operation mode is normal

B1L109 = B1_position[1] & (B1_position[0] # !B1_state.down1) # !B1_position[1] & (!B1L108 & !B1_state.down1);


--B1L110 is control:inst|Select~1996
--operation mode is normal

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


--B1L111 is control:inst|Select~1997
--operation mode is normal

B1L111 = B1L110 # B1_position[0] & B1L108 & !B1_state.down1;


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

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


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

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


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

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


--B1L102 is control:inst|reduce_or~62
--operation mode is normal

B1L102 = B1_state.dw3 # B1_state.dw1;


--B1L101 is control:inst|reduce_or~9
--operation mode is normal

B1L101 = B1_state.dw5 # B1_state.stop # B1_state.dw2 # B1L102;


--B1L112 is control:inst|Select~1998
--operation mode is normal

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


--B1L113 is control:inst|Select~1999
--operation mode is normal

B1L113 = B1_state.down1 & A1L29 & (B1_fl2 # B1L136) # !B1_state.down1 & (B1_fl2 # B1L136);


--B1L114 is control:inst|Select~2001
--operation mode is normal

B1L114 = B1_state.dw4 & B1_position[0] & (!B1_position[1]);


--B1L115 is control:inst|Select~2002
--operation mode is normal

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


--B1L116 is control:inst|Select~2003
--operation mode is normal

B1L116 = B1_fl1 & B1L104 & (!B1_\k1:updown);


--B1L117 is control:inst|Select~2004
--operation mode is normal

B1L117 = B1_fl3 & B1_\k1:updown & B1L104;


--D5_cp is unshake:inst6|cp
--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, clk, VCC, , , , , , );


--D1_cp is unshake:inst2|cp
--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, clk, VCC, , , , , , );


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

B1_clear1_lut_out = B1L106 # B1L114 # B1L119;
B1_clear1 = DFFEAS(B1_clear1_lut_out, clk, VCC, , B1L70, , , , );


--D7_cp is unshake:inst14|cp
--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, clk, VCC, , , , , , );


--D4_cp is unshake:inst5|cp
--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, clk, VCC, , , , , , );


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

B1_clear3_lut_out = B1L107 # B1L115 # B1L120;
B1_clear3 = DFFEAS(B1_clear3_lut_out, clk, VCC, , B1L70, , , , );


--B1L51 is control:inst|add~393
--operation mode is arithmetic

B1L51_carry_eqn = B1L54;
B1L51 = B1_\k1:cnt[6] $ (!B1L51_carry_eqn);

--B1L52 is control:inst|add~395
--operation mode is arithmetic

B1L52 = CARRY(B1_\k1:cnt[6] & (!B1L54));


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

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


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

B1_clear2_lut_out = B1L121 # B1L123 # B1_state.up2 & A1L30;
B1_clear2 = DFFEAS(B1_clear2_lut_out, clk, VCC, , B1L70, , , , );


--B1L75 is control:inst|flag2~22
--operation mode is normal

B1L75 = B1_flag2 & (!B1_clear2);


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

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


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

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


--D5_jsp[0] is unshake:inst6|jsp[0]
--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, clk, VCC, , , , , , );


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

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


--D1_jsp[0] is unshake:inst2|jsp[0]
--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, clk, VCC, , , , , , );


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

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


--B1L118 is control:inst|Select~2005
--operation mode is normal