ps2_keyboard_interface.map.eqn

本实验实现PS/2接口与RS-232接口的数据传输

B1L35 = B1L822 # !B1L57 # !B1L68 # !B1_q[6];


--B1L281 is ps2_keyboard_interface:inst|reduce_or~1335
--operation mode is normal

B1L281 = B1L822 # !B1L88 & !B1L57 # !B1L49;


--B1L381 is ps2_keyboard_interface:inst|reduce_or~1336
--operation mode is normal

B1L381 = B1L35 & B1L05 & B1L55 & B1L281;


--B1L481 is ps2_keyboard_interface:inst|reduce_or~1337
--operation mode is normal

B1L481 = B1L25 & B1L65 & B1L181 & B1L381;


--B1L141 is ps2_keyboard_interface:inst|reduce_or~14
--operation mode is normal

B1L141 = B1L051 # B1L751 # !B1L481 # !B1L081;


--B1L53 is ps2_keyboard_interface:inst|q[1]~6017
--operation mode is normal

B1L53 = B1_q[6] & B1_q[8] & !B1_q[4] & !B1_q[1];


--B1L63 is ps2_keyboard_interface:inst|q[1]~6018
--operation mode is normal

B1L63 = B1_q[7] & B1L53 & !B1_q[3] & !B1_q[2];


--B1_bit_count[2] is ps2_keyboard_interface:inst|bit_count[2]
--operation mode is arithmetic

B1_bit_count[2]_carry_eqn = B1L8;
B1_bit_count[2]_lut_out = B1_bit_count[2] $ (!B1_bit_count[2]_carry_eqn);
B1_bit_count[2] = DFFEAS(B1_bit_count[2]_lut_out, C1_clk, VCC, , , , , B1L31, );

--B1L01 is ps2_keyboard_interface:inst|bit_count[2]~168
--operation mode is arithmetic

B1L01 = CARRY(B1_bit_count[2] & (!B1L8));


--B1_bit_count[0] is ps2_keyboard_interface:inst|bit_count[0]
--operation mode is arithmetic

B1_bit_count[0]_lut_out = B1_bit_count[0] $ B1L1;
B1_bit_count[0] = DFFEAS(B1_bit_count[0]_lut_out, C1_clk, VCC, , , , , B1L31, );

--B1L6 is ps2_keyboard_interface:inst|bit_count[0]~172
--operation mode is arithmetic

B1L6 = CARRY(B1_bit_count[0] & B1L1);


--B1_bit_count[1] is ps2_keyboard_interface:inst|bit_count[1]
--operation mode is arithmetic

B1_bit_count[1]_carry_eqn = B1L6;
B1_bit_count[1]_lut_out = B1_bit_count[1] $ (B1_bit_count[1]_carry_eqn);
B1_bit_count[1] = DFFEAS(B1_bit_count[1]_lut_out, C1_clk, VCC, , , , , B1L31, );

--B1L8 is ps2_keyboard_interface:inst|bit_count[1]~176
--operation mode is arithmetic

B1L8 = CARRY(!B1L6 # !B1_bit_count[1]);


--B1_bit_count[3] is ps2_keyboard_interface:inst|bit_count[3]
--operation mode is normal

B1_bit_count[3]_carry_eqn = B1L01;
B1_bit_count[3]_lut_out = B1_bit_count[3] $ (B1_bit_count[3]_carry_eqn);
B1_bit_count[3] = DFFEAS(B1_bit_count[3]_lut_out, C1_clk, VCC, , , , , B1L31, );


--B1_rx_shifting_done is ps2_keyboard_interface:inst|rx_shifting_done
--operation mode is normal

B1_rx_shifting_done = B1_bit_count[2] # !B1_bit_count[3] # !B1_bit_count[1] # !B1_bit_count[0];


--B1L622 is ps2_keyboard_interface:inst|rx_ascii[6]~70
--operation mode is normal

B1L622 = !B1L63 & !B1_rx_shifting_done # !reset;


--B1L581 is ps2_keyboard_interface:inst|reduce_or~1338
--operation mode is normal

B1L581 = B1_q[3] & B1L711 # !B1L941 # !B1L16;


--B1L95 is ps2_keyboard_interface:inst|reduce_nor~44
--operation mode is normal

B1L95 = B1_q[4] # !B1L132 # !B1L822 # !B1L97;


--B1L46 is ps2_keyboard_interface:inst|reduce_nor~59
--operation mode is normal

B1L46 = !B1L38 # !B1L132 # !B1_q[4] # !B1L822;


--B1L681 is ps2_keyboard_interface:inst|reduce_or~1339
--operation mode is normal

B1L681 = B1L46 & (!B1L521 # !B1L922);


--B1L781 is ps2_keyboard_interface:inst|reduce_or~1340
--operation mode is normal

B1L781 = !B1L97 & !B1L38 # !B1L88 # !B1L822;


--B1L881 is ps2_keyboard_interface:inst|reduce_or~1341
--operation mode is normal

B1L881 = B1L96 & B1L781 & (!B1L57 # !B1L29);


--B1L981 is ps2_keyboard_interface:inst|reduce_or~1342
--operation mode is normal

B1L981 = B1L76 & B1L86 & B1L681 & B1L881;


--B1L091 is ps2_keyboard_interface:inst|reduce_or~1343
--operation mode is normal

B1L091 = B1L581 # !B1L981 # !B1L201 # !B1L95;


--B1L191 is ps2_keyboard_interface:inst|reduce_or~1344
--operation mode is normal

B1L191 = B1L69 # B1L822 & (B1L501 # B1L19);


--B1L06 is ps2_keyboard_interface:inst|reduce_nor~48
--operation mode is normal

B1L06 = B1_q[4] # !B1L49 # !B1L132 # !B1L822;


--B1L291 is ps2_keyboard_interface:inst|reduce_or~1345
--operation mode is normal

B1L291 = B1L26 & B1L06 & (!B1L321 # !B1L88);


--B1L391 is ps2_keyboard_interface:inst|reduce_or~1346
--operation mode is normal

B1L391 = B1L97 & B1L191 # !B1L291 # !B1L75;


--B1L491 is ps2_keyboard_interface:inst|reduce_or~1347
--operation mode is normal

B1L491 = !B1L97 & !B1L49 # !B1L731;


--B1L591 is ps2_keyboard_interface:inst|reduce_or~1348
--operation mode is normal

B1L591 = !B1L49 & !B1L922 # !B1L69;


--B1L691 is ps2_keyboard_interface:inst|reduce_or~1349
--operation mode is normal

B1L691 = !B1L19 & !B1L28 # !B1L49 # !B1L822;


--B1L791 is ps2_keyboard_interface:inst|reduce_or~1350
--operation mode is normal

B1L791 = B1L85 & (!B1L19 # !B1L321);


--B1L891 is ps2_keyboard_interface:inst|reduce_or~1351
--operation mode is normal

B1L891 = B1L491 & B1L591 & B1L691 & B1L791;


--B1L07 is ps2_keyboard_interface:inst|reduce_nor~69
--operation mode is normal

B1L07 = B1L822 # !B1L87 # !B1L132 # !B1_q[4];


--B1L991 is ps2_keyboard_interface:inst|reduce_or~1352
--operation mode is normal

B1L991 = B1L98 & !B1L49 & (!B1L87 # !B1L431) # !B1L98 & (!B1L87 # !B1L431);


--B1L002 is ps2_keyboard_interface:inst|reduce_or~1353
--operation mode is normal

B1L002 = B1L36 & B1L66 & B1L07 & B1L991;


--B1L102 is ps2_keyboard_interface:inst|reduce_or~1354
--operation mode is normal

B1L102 = B1L091 # B1L391 # !B1L002 # !B1L891;


--B1L202 is ps2_keyboard_interface:inst|reduce_or~1355
--operation mode is normal

B1L202 = !B1L841 # !B1L371 # !B1L861;


--B1L302 is ps2_keyboard_interface:inst|reduce_or~1356
--operation mode is normal

B1L302 = B1L47 & (B1L77 # B1_q[6] & B1L601);


--B1L402 is ps2_keyboard_interface:inst|reduce_or~1357
--operation mode is normal

B1L402 = B1L87 & (B1L88 # B1_q[4] & B1L132);


--B1L502 is ps2_keyboard_interface:inst|reduce_or~1358
--operation mode is normal

B1L502 = B1L302 # B1L822 & B1L402 # !B1L971;


--B1L17 is ps2_keyboard_interface:inst|reduce_nor~91
--operation mode is normal

B1L17 = B1L822 # !B1L38 # !B1L132 # !B1_q[4];


--B1L602 is ps2_keyboard_interface:inst|reduce_or~1359
--operation mode is normal

B1L602 = B1L17 & (B1_q[3] # !B1L18 & !B1L721);


--B1L702 is ps2_keyboard_interface:inst|reduce_or~1360
--operation mode is normal

B1L702 = B1L822 # !B1L97 & !B1L38 # !B1L88;


--B1L802 is ps2_keyboard_interface:inst|reduce_or~1361
--operation mode is normal

B1L802 = B1L311 & (!B1L611 # !B1L09) # !B1L311 & !B1L28 & (!B1L611 # !B1L09);


--B1L902 is ps2_keyboard_interface:inst|reduce_or~1362
--operation mode is normal

B1L902 = B1L702 & B1L802 & (!B1L69 # !B1L87);


--B1L012 is ps2_keyboard_interface:inst|reduce_or~1363
--operation mode is normal

B1L012 = B1L481 & B1L981 & B1L602 & B1L902;


--B1L112 is ps2_keyboard_interface:inst|reduce_or~1364
--operation mode is normal

B1L112 = B1L202 # B1L502 # !B1L012 # !B1L002;


--B1L241 is ps2_keyboard_interface:inst|reduce_or~17
--operation mode is normal

B1L241 = !B1L761 # !B1L101 # !B1L871;


--B1L031 is ps2_keyboard_interface:inst|reduce_nor~4958
--operation mode is normal

B1L031 = B1L761 & B1L211 & B1L411;


--B1L27 is ps2_keyboard_interface:inst|reduce_nor~104
--operation mode is normal

B1L27 = B1L931 # B1L511 # !B1L921;


--B1L341 is ps2_keyboard_interface:inst|reduce_or~18
--operation mode is normal

B1L341 = !B1L27 # !B1L031 # !B1L221 # !B1L271;


--B1L212 is ps2_keyboard_interface:inst|reduce_or~1365
--operation mode is normal

B1L212 = B1L301 # B1L19 & (!B1L612) # !B1L19 & B1L49 & B1L612;


--B1L312 is ps2_keyboard_interface:inst|reduce_or~1366
--operation mode is normal

B1L312 = B1L231 & (!B1L97 & !B1L49 # !B1L531);


--B1L412 is ps2_keyboard_interface:inst|reduce_or~1367
--operation mode is normal

B1L412 = B1L212 & (B1L922 # B1L49) # !B1L312;


--B1L441 is ps2_keyboard_interface:inst|reduce_or~19
--operation mode is normal

B1L441 = B1L412 # !B1L012 # !B1L891 # !B1L081;


--B1L541 is ps2_keyboard_interface:inst|reduce_or~20
--operation mode is normal

B1L541 = B1L031 & !B1L931 & !B1L401 # !B1L921;


--J1L74 is uart_if:inst3|uart:U1|txmit:u2|tsr~535
--operation mode is normal

J1L74 = J1_no_bits_sent[3] $ (J1_no_bits_sent[2] # J1_no_bits_sent[1] & J1_no_bits_sent[0]);


--J1L91 is uart_if:inst3|uart:U1|txmit:u2|parity~0
--operation mode is normal

J1L91 = J1_tsr[0] & J1L74 & J1L02;


--J1_clk1x_enable is uart_if:inst3|uart:U1|txmit:u2|clk1x_enable
--operation mode is normal

J1_clk1x_enable_lut_out = J1_wrn1 & (J1_clk1x_enable & J1L63 # !J1_wrn2) # !J1_wrn1 & (J1_clk1x_enable & J1L63);
J1_clk1x_enable = DFFEAS(J1_clk1x_enable_lut_out, D1_acc[12], B1_rx_released, , , , , , );


--J1L71 is uart_if:inst3|uart:U1|txmit:u2|no_bits_sent~0
--operation mode is normal

J1L71 = !J1_clk1x_enable # !B1_rx_released;


--J1L1 is uart_if:inst3|uart:U1|txmit:u2|add~137
--operation mode is normal

J1L1 = J1_no_bits_sent[2] & J1_no_bits_sent[1] & J1_no_bits_sent[0];


--J1L22 is uart_if:inst3|uart:U1|txmit:u2|reduce_nor~56
--operation mode is normal

J1L22 = J1_no_bits_sent[1] & J1_no_bits_sent[0];


--J1_tsr[1] is uart_if:inst3|uart:U1|txmit:u2|tsr[1]
--operation mode is normal

J1_tsr[1]_lut_out = J1L02 & J1_tsr[2] # !J1L02 & (J1_tbr[1]);
J1_tsr[1] = DFFEAS(J1_tsr[1]_lut_out, !J1_clkdiv[3], B1_rx_released, , J1L44, , , , );


--J1_tbr[0] is uart_if:inst3|uart:U1|txmit:u2|tbr[0]
--operation mode is normal

J1_tbr[0]_lut_out = E1_din[0];
J1_tbr[0] = DFFEAS(J1_tbr[0]_lut_out, E1_wrn, B1_rx_released, , , , , , );


--J1L44 is uart_if:inst3|uart:U1|txmit:u2|tsr[5]~537
--operation mode is normal

J1L44 = J1_no_bits_sent[0] & (!J1_no_bits_sent[1] & !J1_no_bits_sent[2] # !J1_no_bits_sent[3]) # !J1_no_bits_sent[0] & (J1_no_bits_sent[2] $ J1_no_bits_sent[3]);


--D1_acc[12] is div_4:inst2|acc[12]
--operation mode is normal

D1_acc[12]_carry_eqn = D1L52;
D1_acc[12]_lut_out = !D1_acc[12]_carry_eqn;
D1_acc[12] = DFFEAS(D1_acc[12]_lut_out, mclk, VCC, , , , , , );


--J1_clkdiv[2] is uart_if:inst3|uart:U1|txmit:u2|clkdiv[2]
--operation mode is normal

J1_clkdiv[2]_lut_out = !J1_clkdiv[2];
J1_clkdiv[2] = DFFEAS(J1_clkdiv[2]_lut_out, D1_acc[12], B1_rx_released, , J1L9, , , , );


--J1_clkdiv[1] is uart_if:inst3|uart:U1|txmit:u2|clkdiv[1]
--operation mode is normal

J1_clkdiv[1]_lut_out = !J1_clkdiv[1];
J1_clkdiv[1] = DFFEAS(J1_clkdiv[1]_lut_out, D1_acc[12], B1_rx_released, , J1L7, , , , );


--J1_clkdiv[0] is uart_if:inst3|uart:U1|txmit:u2|clkdiv[0]
--operation mode is normal

J1_clkdiv[0]_lut_out = !J1_clkdiv[0];
J1_clkdiv[0] = DFFEAS(J1_clkdiv[0]_lut_out, D1_acc[12], B1_rx_released, , J1_clk1x_enable, , , , );


--J1L11 is uart_if:inst3|uart:U1|txmit:u2|clkdiv[3]~40
--operation mode is normal

J1L11 = J1_clk1x_enable & J1_clkdiv[2] & J1_clkdiv[1] & J1_clkdiv[0];


--B1_hold_released is ps2_keyboard_interface:inst|hold_released
--operation mode is normal

B1_hold_released_lut_out = !B1L622 & (B1_hold_released # !B1L74 & !B1_rx_shifting_done);
B1_hold_released = DFFEAS(B1_hold_released_lut_out, C1_clk, VCC, , , , , , );


--C1L1 is div_256:inst1|add~106
--operation mode is normal

C1L1_carry_eqn = C1L3;
C1L1 = C1_count[6] $ (!C1L1_carry_eqn);