ps2_keyboard_interface.map.eqn

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

B1L29 = B1_q[6] & B1L47 & (B1_left_shift_key # B1_right_shift_key);


--B1L39 is ps2_keyboard_interface:inst|reduce_nor~4921
--operation mode is normal

B1L39 = B1_q[2] & B1L822 & B1_q[4] & !B1_q[1];


--B1L49 is ps2_keyboard_interface:inst|reduce_nor~4922
--operation mode is normal

B1L49 = B1_q[6] & B1_q[5] & !B1_q[8] & !B1_q[7];


--B1L851 is ps2_keyboard_interface:inst|reduce_or~1311
--operation mode is normal

B1L851 = B1_q[3] & (!B1L49 # !B1L39) # !B1_q[3] & !B1L58;


--B1L15 is ps2_keyboard_interface:inst|reduce_nor~11
--operation mode is normal

B1L15 = !B1_left_shift_key & !B1_right_shift_key # !B1L57 # !B1L97;


--B1L951 is ps2_keyboard_interface:inst|reduce_or~1312
--operation mode is normal

B1L951 = B1L15 & (B1L822 # !B1L78 # !B1L922);


--B1L061 is ps2_keyboard_interface:inst|reduce_or~1313
--operation mode is normal

B1L061 = B1L851 & B1L951 & (!B1L29 # !B1L88);


--B1L161 is ps2_keyboard_interface:inst|reduce_or~1314
--operation mode is normal

B1L161 = B1L061 & (!B1L98 & !B1L19 # !B1L87);


--B1L132 is ps2_keyboard_interface:inst|rx_shift_key_on~676
--operation mode is normal

B1L132 = B1_q[2] & B1_q[1] & (!B1_q[3]);


--B1L59 is ps2_keyboard_interface:inst|reduce_nor~4923
--operation mode is normal

B1L59 = !B1L822 & (B1L57 # B1L132 & !B1_q[4]);


--B1L69 is ps2_keyboard_interface:inst|reduce_nor~4924
--operation mode is normal

B1L69 = B1L67 & B1L822 & !B1_q[4] & !B1_q[1];


--B1L79 is ps2_keyboard_interface:inst|reduce_nor~4925
--operation mode is normal

B1L79 = B1L98 & (B1L87 # B1L49) # !B1L98 & B1L87 & B1L69;


--B1L36 is ps2_keyboard_interface:inst|reduce_nor~57
--operation mode is normal

B1L36 = !B1L38 # !B1L98;


--B1L89 is ps2_keyboard_interface:inst|reduce_nor~4926
--operation mode is normal

B1L89 = B1L85 & B1L231 & (!B1L38 # !B1L77);


--B1L99 is ps2_keyboard_interface:inst|reduce_nor~4927
--operation mode is normal

B1L99 = B1L36 & B1L89 & (B1_q[1] # !B1L131);


--B1L001 is ps2_keyboard_interface:inst|reduce_nor~4928
--operation mode is normal

B1L001 = B1L38 & (B1L132 # B1L57) # !B1L38 & (B1L97 & B1L57);


--B1L101 is ps2_keyboard_interface:inst|reduce_nor~4929
--operation mode is normal

B1L101 = B1L99 & (!B1_q[4] & !B1L57 # !B1L001);


--B1L05 is ps2_keyboard_interface:inst|reduce_nor~7
--operation mode is normal

B1L05 = !B1L032 # !B1L57 # !B1_q[5] # !B1_q[6];


--B1L94 is ps2_keyboard_interface:inst|reduce_nor~5
--operation mode is normal

B1L94 = B1_q[6] # !B1L88 # !B1L68;


--B1L201 is ps2_keyboard_interface:inst|reduce_nor~4930
--operation mode is normal

B1L201 = B1L05 & B1L94 & (B1_q[4] # !B1L331);


--B1L301 is ps2_keyboard_interface:inst|reduce_nor~4931
--operation mode is normal

B1L301 = B1L67 & !B1L822 & !B1_q[4] & !B1_q[1];


--B1L96 is ps2_keyboard_interface:inst|reduce_nor~67
--operation mode is normal

B1L96 = !B1L301 # !B1L87;


--B1L55 is ps2_keyboard_interface:inst|reduce_nor~35
--operation mode is normal

B1L55 = !B1L922 # !B1L08 # !B1_q[4] # !B1L67;


--B1L401 is ps2_keyboard_interface:inst|reduce_nor~4932
--operation mode is normal

B1L401 = B1L77 & B1L49 # !B1L55 # !B1L96;


--B1L261 is ps2_keyboard_interface:inst|reduce_or~1315
--operation mode is normal

B1L261 = !B1L37 & !B1L39 # !B1_q[3] # !B1L97;


--B1L501 is ps2_keyboard_interface:inst|reduce_nor~4933
--operation mode is normal

B1L501 = B1_q[3] & B1_q[4] & !B1_q[2] & !B1_q[1];


--B1L601 is ps2_keyboard_interface:inst|reduce_nor~4934
--operation mode is normal

B1L601 = B1L67 & B1_q[4] & !B1L822 & !B1_q[1];


--B1L361 is ps2_keyboard_interface:inst|reduce_or~1316
--operation mode is normal

B1L361 = B1L66 & (!B1L601 & !B1L431 # !B1L49);


--B1L461 is ps2_keyboard_interface:inst|reduce_or~1317
--operation mode is normal

B1L461 = B1_q[6] # !B1L47 # !B1L88;


--B1L561 is ps2_keyboard_interface:inst|reduce_or~1318
--operation mode is normal

B1L561 = B1L461 & (B1L822 # !B1L87 # !B1L19);


--B1L661 is ps2_keyboard_interface:inst|reduce_or~1319
--operation mode is normal

B1L661 = B1L97 & (B1L69 # B1L301) # !B1L97 & B1L49 & (B1L69 # B1L301);


--B1L761 is ps2_keyboard_interface:inst|reduce_or~1320
--operation mode is normal

B1L761 = B1L261 & B1L361 & B1L561 & !B1L661;


--B1L701 is ps2_keyboard_interface:inst|reduce_nor~4935
--operation mode is normal

B1L701 = !B1L87 # !B1L132 # !B1_q[4];


--B1L801 is ps2_keyboard_interface:inst|reduce_nor~4936
--operation mode is normal

B1L801 = B1_q[6] & B1L37 & B1L47;


--B1L901 is ps2_keyboard_interface:inst|reduce_nor~4937
--operation mode is normal

B1L901 = B1L701 & !B1L58 & (B1_q[3] # !B1L801);


--B1L011 is ps2_keyboard_interface:inst|reduce_nor~4938
--operation mode is normal

B1L011 = !B1L39 & !B1L69 # !B1L922;


--B1L26 is ps2_keyboard_interface:inst|reduce_nor~53
--operation mode is normal

B1L26 = B1_q[3] # !B1L49 # !B1L09 # !B1_q[4];


--B1L111 is ps2_keyboard_interface:inst|reduce_nor~4939
--operation mode is normal

B1L111 = B1L48 & !B1L77 # !B1L87;


--B1L211 is ps2_keyboard_interface:inst|reduce_nor~4940
--operation mode is normal

B1L211 = B1L901 & B1L011 & B1L26 & B1L111;


--B1L311 is ps2_keyboard_interface:inst|reduce_nor~4941
--operation mode is normal

B1L311 = B1_q[8] # !B1_q[7] # !B1_q[5] # !B1_q[6];


--B1L411 is ps2_keyboard_interface:inst|reduce_nor~4942
--operation mode is normal

B1L411 = B1L311 & (!B1L301 # !B1L922) # !B1L311 & !B1L28 & (!B1L301 # !B1L922);


--B1L511 is ps2_keyboard_interface:inst|reduce_nor~4943
--operation mode is normal

B1L511 = B1L401 # !B1L411 # !B1L211 # !B1L761;


--B1L861 is ps2_keyboard_interface:inst|reduce_or~1321
--operation mode is normal

B1L861 = B1L56 & (!B1L77 & !B1L601 # !B1L97);


--B1L961 is ps2_keyboard_interface:inst|reduce_or~1322
--operation mode is normal

B1L961 = !B1L98 & (B1_q[3] # !B1L37) # !B1L97;


--B1L76 is ps2_keyboard_interface:inst|reduce_nor~62
--operation mode is normal

B1L76 = B1_q[3] # !B1L09 # !B1_q[4] # !B1L97;


--B1L071 is ps2_keyboard_interface:inst|reduce_or~1323
--operation mode is normal

B1L071 = B1L822 & (!B1L88) # !B1L822 & !B1L57 # !B1L49;


--B1L171 is ps2_keyboard_interface:inst|reduce_or~1324
--operation mode is normal

B1L171 = B1L512 & B1L76 & B1L071;


--B1L271 is ps2_keyboard_interface:inst|reduce_or~1325
--operation mode is normal

B1L271 = B1L861 & B1L961 & B1L171;


--B1L25 is ps2_keyboard_interface:inst|reduce_nor~26
--operation mode is normal

B1L25 = B1_q[6] # !B1L47 # !B1L37 # !B1_q[3];


--B1L371 is ps2_keyboard_interface:inst|reduce_or~1326
--operation mode is normal

B1L371 = !B1L77 & !B1L88 # !B1L922;


--B1L471 is ps2_keyboard_interface:inst|reduce_or~1327
--operation mode is normal

B1L471 = !B1L49 & (!B1L87 # !B1L822) # !B1L19;


--B1L571 is ps2_keyboard_interface:inst|reduce_or~1328
--operation mode is normal

B1L571 = !B1L88 & !B1L78 # !B1L97;


--B1L611 is ps2_keyboard_interface:inst|reduce_nor~4944
--operation mode is normal

B1L611 = B1L68 & B1_q[3] & B1_q[4] & !B1_q[6];


--B1L671 is ps2_keyboard_interface:inst|reduce_or~1329
--operation mode is normal

B1L671 = B1L571 & (!B1L611 # !B1L08 # !B1_q[2]);


--B1L711 is ps2_keyboard_interface:inst|reduce_nor~4945
--operation mode is normal

B1L711 = B1_q[4] & B1L09 & B1L38;


--B1L771 is ps2_keyboard_interface:inst|reduce_or~1330
--operation mode is normal

B1L771 = B1L471 & B1L671 & (!B1L711 # !B1_q[3]);


--B1L871 is ps2_keyboard_interface:inst|reduce_or~1331
--operation mode is normal

B1L871 = B1L271 & B1L25 & B1L371 & B1L771;


--B1L16 is ps2_keyboard_interface:inst|reduce_nor~52
--operation mode is normal

B1L16 = !B1L922 # !B1L132 # !B1_q[4] # !B1L822;


--B1L811 is ps2_keyboard_interface:inst|reduce_nor~4946
--operation mode is normal

B1L811 = !B1L78 & !B1L28 # !B1L922;


--B1L911 is ps2_keyboard_interface:inst|reduce_nor~4947
--operation mode is normal

B1L911 = B1L16 & B1L811 & (!B1L922 # !B1L531);


--B1L021 is ps2_keyboard_interface:inst|reduce_nor~4948
--operation mode is normal

B1L021 = !B1L28 & (!B1L57 # !B1L822) # !B1L49;


--B1L121 is ps2_keyboard_interface:inst|reduce_nor~4949
--operation mode is normal

B1L121 = B1L021 & (!B1L87 # !B1L88);


--B1L221 is ps2_keyboard_interface:inst|reduce_nor~4950
--operation mode is normal

B1L221 = B1L911 & B1L121 & (!B1L611 # !B1L09);


--B1L971 is ps2_keyboard_interface:inst|reduce_or~1332
--operation mode is normal

B1L971 = B1L45 & (!B1L19 # !B1L97);


--B1L86 is ps2_keyboard_interface:inst|reduce_nor~66
--operation mode is normal

B1L86 = B1_q[3] # !B1L38 # !B1L09 # !B1_q[4];


--B1L321 is ps2_keyboard_interface:inst|reduce_nor~4951
--operation mode is normal

B1L321 = B1L922 & (B1_left_shift_key # B1_right_shift_key);


--B1L421 is ps2_keyboard_interface:inst|reduce_nor~4952
--operation mode is normal

B1L421 = B1L631 & (!B1L501 & !B1L57 # !B1L321);


--B1L521 is ps2_keyboard_interface:inst|reduce_nor~4953
--operation mode is normal

B1L521 = B1_q[3] & B1_q[4] & B1L09;


--B1L621 is ps2_keyboard_interface:inst|reduce_nor~4954
--operation mode is normal

B1L621 = B1L86 & B1L421 & (!B1L521 # !B1L49);


--B1L721 is ps2_keyboard_interface:inst|reduce_nor~4955
--operation mode is normal

B1L721 = B1L37 & B1L47 & (!B1_q[6]);


--B1L821 is ps2_keyboard_interface:inst|reduce_nor~4956
--operation mode is normal

B1L821 = B1L971 & B1L621 & (B1_q[3] # !B1L721);


--B1L921 is ps2_keyboard_interface:inst|reduce_nor~4957
--operation mode is normal

B1L921 = B1L871 & B1L221 & B1L821 & B1L84;


--B1L081 is ps2_keyboard_interface:inst|reduce_or~1333
--operation mode is normal

B1L081 = B1L161 & (B1L931 # B1L511 # !B1L921);


--B1L65 is ps2_keyboard_interface:inst|reduce_nor~39
--operation mode is normal

B1L65 = B1_q[3] # !B1L922 # !B1L09 # !B1_q[4];


--B1L181 is ps2_keyboard_interface:inst|reduce_or~1334
--operation mode is normal

B1L181 = !B1L501 & !B1L78 # !B1L922 # !B1L822;


--B1L35 is ps2_keyboard_interface:inst|reduce_nor~27
--operation mode is normal