ps2_keyboard_interface.map.eqn

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

--B1L231 is ps2_keyboard_interface:inst|reduce_nor~4925
B1L231 = B1_q[6] & B1L261 & B1L59;


--B1L331 is ps2_keyboard_interface:inst|reduce_nor~4926
B1L331 = B1L131 & !B1L511 & (B1_q[3] # !B1L231);


--B1L431 is ps2_keyboard_interface:inst|reduce_nor~4927
B1L431 = !B1L361 & !B1L811 # !B1L452;


--B1L88 is ps2_keyboard_interface:inst|reduce_nor~53
B1L88 = B1_q[3] # !B1L101 # !B1L69 # !B1_q[4];


--B1L531 is ps2_keyboard_interface:inst|reduce_nor~4928
B1L531 = B1L211 & !B1L701 # !B1L801;


--B1L631 is ps2_keyboard_interface:inst|reduce_nor~4929
B1L631 = B1L431 & B1L88 & B1L531;


--B1L731 is ps2_keyboard_interface:inst|reduce_nor~4930
B1L731 = B1_q[8] # !B1_q[7] # !B1_q[5] # !B1_q[6];


--B1L831 is ps2_keyboard_interface:inst|reduce_nor~4931
B1L831 = B1L731 & (!B1L031 # !B1L452) # !B1L731 & !B1L601 & (!B1L031 # !B1L452);


--B1L931 is ps2_keyboard_interface:inst|reduce_nor~4932
B1L931 = B1L391 & B1L331 & B1L631 & B1L831;


--B1L041 is ps2_keyboard_interface:inst|reduce_nor~4933
B1L041 = B1L921 # B1L801 & B1L031 # !B1L931;


--B1L491 is ps2_keyboard_interface:inst|reduce_or~1261
B1L491 = B1L352 & (!B1L99) # !B1L352 & !B1L001 # !B1L101;


--B1L98 is ps2_keyboard_interface:inst|reduce_nor~60
B1L98 = B1_q[1] # !B1L221 # !B1L352 # !B1L501;


--B1L591 is ps2_keyboard_interface:inst|reduce_or~1262
B1L591 = B1L98 & (!B1L701 & !B1L401 # !B1L501);


--B1L691 is ps2_keyboard_interface:inst|reduce_or~1263
B1L691 = B1L311 # B1L552 # B1L732;


--B1L791 is ps2_keyboard_interface:inst|reduce_or~1264
B1L791 = B1L491 & B1L591 & (!B1L691 # !B1L501);


--B1L891 is ps2_keyboard_interface:inst|reduce_or~1265
B1L891 = !B1L701 & !B1L99 # !B1L452;


--B1L991 is ps2_keyboard_interface:inst|reduce_or~1266
B1L991 = !B1L101 & (!B1L801 # !B1L352) # !B1L711;


--B1L002 is ps2_keyboard_interface:inst|reduce_or~1267
B1L002 = !B1L99 & !B1L89 # !B1L501;


--B1L141 is ps2_keyboard_interface:inst|reduce_nor~4934
B1L141 = B1L611 & B1_q[3] & B1_q[4] & !B1_q[6];


--B1L102 is ps2_keyboard_interface:inst|reduce_or~1268
B1L102 = B1L002 & (!B1L141 # !B1L011 # !B1_q[2]);


--B1L241 is ps2_keyboard_interface:inst|reduce_nor~4935
B1L241 = B1_q[4] & B1L69 & B1L901;


--B1L202 is ps2_keyboard_interface:inst|reduce_or~1269
B1L202 = B1L991 & B1L102 & (!B1L241 # !B1_q[3]);


--B1L302 is ps2_keyboard_interface:inst|reduce_or~1270
B1L302 = B1L791 & B1L97 & B1L891 & B1L202;


--B1L78 is ps2_keyboard_interface:inst|reduce_nor~52
B1L78 = !B1L452 # !B1L552 # !B1_q[4] # !B1L352;


--B1L341 is ps2_keyboard_interface:inst|reduce_nor~4936
B1L341 = !B1L89 & !B1L601 # !B1L452;


--B1L441 is ps2_keyboard_interface:inst|reduce_nor~4937
B1L441 = B1L78 & B1L341 & (!B1L452 # !B1L061);


--B1L541 is ps2_keyboard_interface:inst|reduce_nor~4938
B1L541 = !B1L601 & (!B1L001 # !B1L352) # !B1L101;


--B1L641 is ps2_keyboard_interface:inst|reduce_nor~4939
B1L641 = B1L541 & (!B1L801 # !B1L99);


--B1L741 is ps2_keyboard_interface:inst|reduce_nor~4940
B1L741 = B1L441 & B1L641 & (!B1L141 # !B1L69);


--B1L402 is ps2_keyboard_interface:inst|reduce_or~1271
B1L402 = B1L08 & (!B1L711 # !B1L501);


--B1L39 is ps2_keyboard_interface:inst|reduce_nor~98
B1L39 = B1_q[6] # B1_q[3] # !B1L59 # !B1L261;


--B1L19 is ps2_keyboard_interface:inst|reduce_nor~66
B1L19 = B1_q[3] # !B1L901 # !B1L69 # !B1_q[4];


--B1L841 is ps2_keyboard_interface:inst|reduce_nor~4941
B1L841 = B1L452 & (B1_left_shift_key # B1_right_shift_key);


--B1L941 is ps2_keyboard_interface:inst|reduce_nor~4942
B1L941 = B1L161 & (!B1L79 & !B1L001 # !B1L841);


--B1L051 is ps2_keyboard_interface:inst|reduce_nor~4943
B1L051 = B1L19 & B1L941 & (!B1L411 # !B1L101);


--B1L151 is ps2_keyboard_interface:inst|reduce_nor~4944
B1L151 = B1L741 & B1L402 & B1L39 & B1L051;


--B1L251 is ps2_keyboard_interface:inst|reduce_nor~4945
B1L251 = B1L302 & B1L151 & (B1_q[5] # !B1L201);


--B1L502 is ps2_keyboard_interface:inst|reduce_or~1272
B1L502 = B1L881 & (B1L821 # B1L041 # !B1L251);


--B1L561 is ps2_keyboard_interface:inst|reduce_or~14
B1L561 = !B1L971 & !B1L932 & !B1L381 & B1L502;


--B1L35 is ps2_keyboard_interface:inst|q[1]~6017
B1L35 = B1_q[6] & B1_q[8] & !B1_q[4] & !B1_q[1];


--B1L45 is ps2_keyboard_interface:inst|q[1]~6018
B1L45 = B1_q[7] & B1L35 & !B1_q[3] & !B1_q[2];


--B1_bit_count[2] is ps2_keyboard_interface:inst|bit_count[2]
B1_bit_count[2] = DFFEAS(B1L21, C1_clk,  ,  ,  ,  ,  , B1L61,  );


--B1_bit_count[0] is ps2_keyboard_interface:inst|bit_count[0]
B1_bit_count[0] = DFFEAS(B1L6, C1_clk,  ,  ,  ,  ,  , B1L61,  );


--B1_bit_count[1] is ps2_keyboard_interface:inst|bit_count[1]
B1_bit_count[1] = DFFEAS(B1L9, C1_clk,  ,  ,  ,  ,  , B1L61,  );


--B1_bit_count[3] is ps2_keyboard_interface:inst|bit_count[3]
B1_bit_count[3] = DFFEAS(B1L71, C1_clk,  ,  ,  ,  ,  , B1L61,  );


--B1_rx_shifting_done is ps2_keyboard_interface:inst|rx_shifting_done
B1_rx_shifting_done = B1_bit_count[2] # !B1_bit_count[3] # !B1_bit_count[1] # !B1_bit_count[0];


--B1L052 is ps2_keyboard_interface:inst|rx_ascii[6]~91
B1L052 = !B1L45 & !B1_rx_shifting_done # !reset;


--B1L602 is ps2_keyboard_interface:inst|reduce_or~1273
B1L602 = B1_q[3] & B1L241 # !B1L871 # !B1L78;


--B1L48 is ps2_keyboard_interface:inst|reduce_nor~44
B1L48 = B1_q[4] # !B1L552 # !B1L352 # !B1L501;


--B1L09 is ps2_keyboard_interface:inst|reduce_nor~62
B1L09 = B1_q[3] # !B1L69 # !B1_q[4] # !B1L501;


--B1L351 is ps2_keyboard_interface:inst|reduce_nor~4946
B1L351 = B1_q[2] & B1L352 & B1_q[1] & !B1_q[3];


--B1L702 is ps2_keyboard_interface:inst|reduce_or~1274
B1L702 = B1L351 & !B1L021 & (!B1L411 # !B1L452) # !B1L351 & (!B1L411 # !B1L452);


--B1L802 is ps2_keyboard_interface:inst|reduce_or~1275
B1L802 = B1L651 & !B1L001 & (!B1L031 # !B1L801) # !B1L651 & (!B1L031 # !B1L801);


--B1L902 is ps2_keyboard_interface:inst|reduce_or~1276
B1L902 = B1L802 & (!B1L751 & !B1L551 # !B1L99);


--B1L012 is ps2_keyboard_interface:inst|reduce_or~1277
B1L012 = B1L09 & B1L19 & B1L702 & B1L902;


--B1L112 is ps2_keyboard_interface:inst|reduce_or~1278
B1L112 = B1L602 # !B1L012 # !B1L621 # !B1L48;


--B1L212 is ps2_keyboard_interface:inst|reduce_or~1279
B1L212 = B1L751 & (B1L79 # B1L711) # !B1L88;


--B1L58 is ps2_keyboard_interface:inst|reduce_nor~48
B1L58 = B1_q[4] # !B1L101 # !B1L552 # !B1L352;


--B1L312 is ps2_keyboard_interface:inst|reduce_or~1280
B1L312 = B1L212 # B1L501 & B1L811 # !B1L58;


--B1L28 is ps2_keyboard_interface:inst|reduce_nor~41
B1L28 = B1_q[1] # !B1L901 # !B1L221 # !B1L352;


--B1L412 is ps2_keyboard_interface:inst|reduce_or~1281
B1L412 = B1L312 # B1L99 & B1L841 # !B1L28;


--B1L512 is ps2_keyboard_interface:inst|reduce_or~1282
B1L512 = B1_q[4] & (B1L501 # B1L101);


--B1L612 is ps2_keyboard_interface:inst|reduce_or~1283
B1L612 = B1L352 & (B1L711 # B1L101 & B1L601);


--B1L712 is ps2_keyboard_interface:inst|reduce_or~1284
B1L712 = B1L452 & (B1L811 # B1L612) # !B1L452 & B1L101 & (B1L811 # B1L612);


--B1L812 is ps2_keyboard_interface:inst|reduce_or~1285
B1L812 = B1L38 & !B1L712 & (!B1L512 # !B1L351);


--B1L912 is ps2_keyboard_interface:inst|reduce_or~1286
B1L912 = B1L801 & (B1L532 # B1L79 & B1L651) # !B1L801 & B1L79 & B1L651;


--B1L022 is ps2_keyboard_interface:inst|reduce_or~1287
B1L022 = !B1L912 & (!B1L901 & !B1L101 # !B1L311);


--B1L122 is ps2_keyboard_interface:inst|reduce_or~1288
B1L122 = !B1L112 & !B1L412 & B1L812 & B1L022;


--B1L222 is ps2_keyboard_interface:inst|reduce_or~1289
B1L222 = !B1L771 # !B1L891 # !B1L591;


--B1L322 is ps2_keyboard_interface:inst|reduce_or~1290
B1L322 = B1L59 & (B1L701 # B1_q[6] & B1L401);


--B1L422 is ps2_keyboard_interface:inst|reduce_or~1291
B1L422 = B1L801 & (B1L99 # B1_q[4] & B1L552);


--B1L522 is ps2_keyboard_interface:inst|reduce_or~1292
B1L522 = B1L322 # B1L352 & B1L422 # !B1L402;


--B1L29 is ps2_keyboard_interface:inst|reduce_nor~91
B1L29 = B1L352 # !B1L901 # !B1L552 # !B1_q[4];


--B1L622 is ps2_keyboard_interface:inst|reduce_or~1293
B1L622 = B1L39 & B1L29 & (B1_q[3] # !B1L111);


--B1L722 is ps2_keyboard_interface:inst|reduce_or~1294
B1L722 = B1L352 # !B1L501 & !B1L901 # !B1L99;


--B1L822 is ps2_keyboard_interface:inst|reduce_or~1295
B1L822 = B1L731 & (!B1L141 # !B1L69) # !B1L731 & !B1L601 & (!B1L141 # !B1L69);


--B1L922 is ps2_keyboard_interface:inst|reduce_or~1296
B1L922 = B1L722 & B1L822 & (!B1L811 # !B1L801);


--B1L032 is ps2_keyboard_interface:inst|reduce_or~1297
B1L032 = B1L471 & B1L012 & B1L622 & B1L922;


--B1L132 is ps2_keyboard_interface:inst|reduce_or~1298
B1L132 = B1L222 # B1L522 # !B1L032 # !B1L022;


--B1L661 is ps2_keyboard_interface:inst|reduce_or~17
B1L661 = B1L302 & B1L521 & B1L391;


--B1L49 is ps2_keyboard_interface:inst|reduce_nor~104
B1L49 = B1L821 # B1L041 # !B1L251;


--B1L761 is ps2_keyboard_interface:inst|reduce_or~18
B1L761 = !B1L49 # !B1L931 # !B1L741 # !B1L791;


--B1L232 is ps2_keyboard_interface:inst|reduce_or~1299
B1L232 = B1L031 # B1L711 & (!B1L632) # !B1L711 & B1L101 & B1L632;


--B1L332 is ps2_keyboard_interface:inst|reduce_or~1300
B1L332 = B1L851 & (!B1L501 & !B1L101 # !B1L061);


--B1L432 is ps2_keyboard_interface:inst|reduce_or~1301
B1L432 = B1L232 & (B1L452 # B1L101) # !B1L332;


--B1L861 is ps2_keyboard_interface:inst|reduce_or~19
B1L861 = B1L432 # !B1L032 # !B1L812 # !B1L502;


--B1L961 is ps2_keyboard_interface:inst|reduce_or~20
B1L961 = B1L251 & (B1L821 # B1L041);


--J1L06 is uart_if:inst3|uart:U1|txmit:u2|tsr~535
J1L06 = J1_no_bits_sent[3] $ (J1_no_bits_sent[2] # J1_no_bits_sent[1] & J1_no_bits_sent[0]);


--J1L82 is uart_if:inst3|uart:U1|txmit:u2|parity~0
J1L82 = J1_tsr[0] & J1L06 & J1L03;


--J1_clk1x_enable is uart_if:inst3|uart:U1|txmit:u2|clk1x_enable
J1_clk1x_enable = DFFEAS(J1L4, D1_acc[12], !B1_rx_released,  ,  ,  ,  ,  ,  );


--J1L62 is uart_if:inst3|uart:U1|txmit:u2|no_bits_sent~0
J1L62 = !J1_clk1x_enable # !B1_rx_released;


--J1L1 is uart_if:inst3|uart:U1|txmit:u2|add~137
J1L1 = J1_no_bits_sent[2] & J1_no_bits_sent[1] & J1_no_bits_sent[0];


--J1L23 is uart_if:inst3|uart:U1|txmit:u2|reduce_nor~56
J1L23 = J1_no_bits_sent[1] & J1_no_bits_sent[0];


--J1_tsr[1] is uart_if:inst3|uart:U1|txmit:u2|tsr[1]
J1_tsr[1] = DFFEAS(J1L26, !J1_clkdiv[3], !B1_rx_released,  , J1L65,  ,  ,  ,  );


--J1_tbr[0] is uart_if:inst3|uart:U1|txmit:u2|tbr[0]
J1_tbr[0] = DFFEAS(E1_din[0], E1_wrn, !B1_rx_released,  ,  ,  ,  ,  ,  );


--J1L16 is uart_if:inst3|uart:U1|txmit:u2|tsr~536
J1L16 = J1L03 & J1_tsr[1] # !J1L03 & (J1_tbr[0]);


--J1L65 is uart_if:inst3|uart:U1|txmit:u2|tsr[5]~537
J1L65 = 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]
D1_acc[12] = DFFEAS(D1L93, mclk,  ,  ,  ,  ,  ,  ,  );


--J1_clkdiv[2] is uart_if:inst3|uart:U1|txmit:u2|clkdiv[2]
J1_clkdiv[2] = DFFEAS(J1L31, D1_acc[12], !B1_rx_released,  , J1L21,  ,  ,  ,  );


--J1_clkdiv[1] is uart_if:inst3|uart:U1|txmit:u2|clkdiv[1]
J1_clkdiv[1] = DFFEAS(J1L01, D1_acc[12], !B1_rx_released,  , J1L9,  ,  ,  ,  );


--J1_clkdiv[0] is uart_if:inst3|uart:U1|txmit:u2|clkdiv[0]
J1_clkdiv[0] = DFFEAS(J1L7, D1_acc[12], !B1_rx_released,  , J1_clk1x_enable,  ,  ,  ,  );


--J1L51 is uart_if:inst3|uart:U1|txmit:u2|clkdiv[3]~40
J1L51 = J1_clk1x_enable & J1_clkdiv[2] & J1_clkdiv[1] & J1_clkdiv[0];


--B1_hold_released is ps2_keyboard_interface:inst|hold_released
B1_hold_released = DFFEAS(B1L02, C1_clk,  ,  ,  ,  ,  ,  ,  );


--B1L252 is ps2_keyboard_interface:inst|rx_released~63
B1L252 = reset & B1_hold_released;


--C1_count[6] is div_256:inst1|count[6]