block1.map.eqn

暑假时参加电子设计大赛曾经用EDA开发实现液晶显示TJUCI学校名的一个小程序

D1L561 = D1L461 & (D1L68 # !B1_dou[2]) # !D1L461 & D1L48 & B1_dou[2];


--D1L102 is ROM:inst2|Mux~2035
--operation mode is normal

D1L102 = J1_q[3] & !J1_q[0] & !B1_dou[0];


--D1L202 is ROM:inst2|Mux~2036
--operation mode is normal

D1L202 = B1_dou[2] & D1L102 & !J1_q[1] & !J1_q[2];


--D1L28 is ROM:inst2|Mux~294
--operation mode is normal

D1L28 = J1_q[1] & !J1_q[3] & (B1_dou[2] $ J1_q[2]);


--D1L18 is ROM:inst2|Mux~292
--operation mode is normal

D1L18 = J1_q[1] & !J1_q[2] & (B1_dou[2] $ J1_q[3]) # !J1_q[1] & !B1_dou[2] & J1_q[2] & !J1_q[3];


--D1L302 is ROM:inst2|Mux~2037
--operation mode is normal

D1L302 = J1_q[0] & (B1_dou[0] & D1L28 # !B1_dou[0] & D1L18);


--D1L402 is ROM:inst2|Mux~2038
--operation mode is normal

D1L402 = B1_dou[1] & D1L561 # !B1_dou[1] & (D1L202 # D1L302);


--D1L72 is ROM:inst2|dout[9]~1506
--operation mode is normal

D1L72 = D1L72 & (D1L402 # CR) # !D1L72 & D1L402 & !CR;


--D1L39 is ROM:inst2|Mux~316
--operation mode is normal

D1L39 = J1_q[1] & !J1_q[3] & (J1_q[0] $ !B1_dou[0]);


--D1L29 is ROM:inst2|Mux~314
--operation mode is normal

D1L29 = !J1_q[1] & (J1_q[0] & B1_dou[0] & !J1_q[3] # !J1_q[0] & J1_q[3]);


--D1L19 is ROM:inst2|Mux~312
--operation mode is normal

D1L19 = J1_q[0] & (J1_q[3] & !B1_dou[0] # !J1_q[3] & J1_q[1]) # !J1_q[0] & J1_q[1] & B1_dou[0] & J1_q[3];


--D1L861 is ROM:inst2|Mux~585
--operation mode is normal

D1L861 = B1_dou[2] & (J1_q[2] # D1L29) # !B1_dou[2] & !J1_q[2] & D1L19;


--D1L49 is ROM:inst2|Mux~319
--operation mode is normal

D1L49 = B1_dou[0] & !J1_q[3] & !J1_q[1] & !J1_q[0];


--D1L961 is ROM:inst2|Mux~586
--operation mode is normal

D1L961 = D1L861 & (D1L49 # !J1_q[2]) # !D1L861 & D1L39 & J1_q[2];


--D1L88 is ROM:inst2|Mux~306
--operation mode is normal

D1L88 = J1_q[2] & !J1_q[3] & (J1_q[0] # J1_q[1]) # !J1_q[2] & (J1_q[1] & !J1_q[0] # !J1_q[1] & J1_q[3]);


--D1L98 is ROM:inst2|Mux~308
--operation mode is normal

D1L98 = J1_q[0] & (J1_q[2] $ J1_q[3] # !J1_q[1]) # !J1_q[0] & (J1_q[2] # J1_q[3]);


--D1L78 is ROM:inst2|Mux~304
--operation mode is normal

D1L78 = !J1_q[0] & J1_q[1] & (J1_q[2] $ J1_q[3]);


--D1L661 is ROM:inst2|Mux~583
--operation mode is normal

D1L661 = B1_dou[0] & (B1_dou[2] # D1L98) # !B1_dou[0] & !B1_dou[2] & D1L78;


--D1L09 is ROM:inst2|Mux~310
--operation mode is normal

D1L09 = J1_q[0] & !J1_q[2] & (J1_q[1] $ J1_q[3]) # !J1_q[0] & J1_q[1] & J1_q[2] & !J1_q[3];


--D1L761 is ROM:inst2|Mux~584
--operation mode is normal

D1L761 = D1L661 & (D1L09 # !B1_dou[2]) # !D1L661 & D1L88 & B1_dou[2];


--D1L42 is ROM:inst2|dout[8]~1529
--operation mode is normal

D1L42 = D1L32 & (B1_dou[1] & D1L961 # !B1_dou[1] & D1L761);


--D1L52 is ROM:inst2|dout[8]~1530
--operation mode is normal

D1L52 = !CR & (B1_dou[1] & D1L961 # !B1_dou[1] & D1L761);


--D1L32 is ROM:inst2|dout[8]~1507
--operation mode is normal

D1L32 = D1L42 # D1L52 # D1L32 & CR;


--D1L79 is ROM:inst2|Mux~327
--operation mode is normal

D1L79 = B1_dou[0] & J1_q[0] & (J1_q[1] $ B1_dou[2]) # !B1_dou[0] & J1_q[1] & !B1_dou[2];


--D1L89 is ROM:inst2|Mux~329
--operation mode is normal

D1L89 = B1_dou[0] & (J1_q[1] & J1_q[0] # !J1_q[1] & !B1_dou[2]) # !B1_dou[0] & (J1_q[0] & B1_dou[2] # !J1_q[0] & J1_q[1]);


--D1L502 is ROM:inst2|Mux~2039
--operation mode is normal

D1L502 = D1L79 & (!D1L89 # !J1_q[3]) # !D1L79 & J1_q[3] & !D1L89;


--D1L99 is ROM:inst2|Mux~331
--operation mode is normal

D1L99 = J1_q[0] & (B1_dou[2] & !B1_dou[0] # !J1_q[1]) # !J1_q[0] & (B1_dou[2] $ B1_dou[0]);


--D1L602 is ROM:inst2|Mux~2040
--operation mode is normal

D1L602 = J1_q[2] & !J1_q[3] & !D1L99 # !J1_q[2] & D1L502;


--D1L59 is ROM:inst2|Mux~322
--operation mode is normal

D1L59 = J1_q[1] & B1_dou[0] & (B1_dou[2] $ J1_q[3]);


--D1L69 is ROM:inst2|Mux~324
--operation mode is normal

D1L69 = B1_dou[2] & (J1_q[1] $ (B1_dou[0] & J1_q[3])) # !B1_dou[2] & !J1_q[1] & (B1_dou[0] $ J1_q[3]);


--D1L702 is ROM:inst2|Mux~2041
--operation mode is normal

D1L702 = J1_q[3] & B1_dou[2] & !B1_dou[0] & !J1_q[1];


--D1L071 is ROM:inst2|Mux~587
--operation mode is normal

D1L071 = J1_q[0] & (J1_q[2] # D1L69) # !J1_q[0] & !J1_q[2] & D1L702;


--D1L341 is ROM:inst2|Mux~482
--operation mode is normal

D1L341 = J1_q[1] & !J1_q[3] & !B1_dou[2];


--D1L171 is ROM:inst2|Mux~588
--operation mode is normal

D1L171 = D1L071 & (D1L341 # !J1_q[2]) # !D1L071 & D1L59 & J1_q[2];


--D1L802 is ROM:inst2|Mux~2042
--operation mode is normal

D1L802 = D1L602 & (D1L171 # B1_dou[1]) # !D1L602 & D1L171 & !B1_dou[1];


--D1L12 is ROM:inst2|dout[7]~1508
--operation mode is normal

D1L12 = D1L12 & (D1L802 # CR) # !D1L12 & D1L802 & !CR;


--D1L641 is ROM:inst2|Mux~551
--operation mode is normal

D1L641 = B1_dou[0] & (B1_dou[2] & !B1_dou[1] # !B1_dou[2] & J1_q[0]) # !B1_dou[0] & B1_dou[1] & (J1_q[0] $ !B1_dou[2]);


--D1L902 is ROM:inst2|Mux~2043
--operation mode is normal

D1L902 = J1_q[3] & D1L291 & !J1_q[0] # !J1_q[3] & D1L641;


--D1L201 is ROM:inst2|Mux~337
--operation mode is normal

D1L201 = !B1_dou[2] & (J1_q[0] & !J1_q[3] # !J1_q[0] & J1_q[1] & J1_q[3]);


--D1L101 is ROM:inst2|Mux~335
--operation mode is normal

D1L101 = J1_q[0] & (J1_q[1] $ !J1_q[3] # !B1_dou[2]) # !J1_q[0] & (J1_q[1] # B1_dou[2] $ J1_q[3]);


--D1L001 is ROM:inst2|Mux~333
--operation mode is normal

D1L001 = J1_q[0] & J1_q[1] & B1_dou[2] # !J1_q[0] & J1_q[3] & (!B1_dou[2] # !J1_q[1]);


--D1L271 is ROM:inst2|Mux~589
--operation mode is normal

D1L271 = B1_dou[0] & (B1_dou[1] # !D1L101) # !B1_dou[0] & !B1_dou[1] & D1L001;


--D1L301 is ROM:inst2|Mux~339
--operation mode is normal

D1L301 = J1_q[0] & !J1_q[3] & (J1_q[1] # B1_dou[2]) # !J1_q[0] & J1_q[3] & (J1_q[1] $ B1_dou[2]);


--D1L371 is ROM:inst2|Mux~590
--operation mode is normal

D1L371 = D1L271 & (D1L301 # !B1_dou[1]) # !D1L271 & D1L201 & B1_dou[1];


--D1L012 is ROM:inst2|Mux~2044
--operation mode is normal

D1L012 = J1_q[2] & J1_q[1] & D1L902 # !J1_q[2] & D1L371;


--D1L91 is ROM:inst2|dout[6]~1509
--operation mode is normal

D1L91 = D1L91 & (D1L012 # CR) # !D1L91 & D1L012 & !CR;


--D1L801 is ROM:inst2|Mux~352
--operation mode is normal

D1L801 = J1_q[3] & !B1_dou[2] & !J1_q[0] & !B1_dou[0];


--D1L701 is ROM:inst2|Mux~349
--operation mode is normal

D1L701 = B1_dou[2] & (J1_q[3] & !B1_dou[0] # !J1_q[3] & !J1_q[0]) # !B1_dou[2] & (J1_q[0] $ J1_q[3]);


--D1L601 is ROM:inst2|Mux~347
--operation mode is normal

D1L601 = B1_dou[2] & (J1_q[0] & B1_dou[0] & !J1_q[3] # !J1_q[0] & J1_q[3]);


--D1L471 is ROM:inst2|Mux~591
--operation mode is normal

D1L471 = J1_q[1] & (J1_q[2] # D1L701) # !J1_q[1] & !J1_q[2] & D1L601;


--D1L901 is ROM:inst2|Mux~353
--operation mode is normal

D1L901 = B1_dou[2] # J1_q[3] # J1_q[0] $ B1_dou[0];


--D1L571 is ROM:inst2|Mux~592
--operation mode is normal

D1L571 = D1L471 & (!D1L901 # !J1_q[2]) # !D1L471 & D1L801 & J1_q[2];


--D1L401 is ROM:inst2|Mux~341
--operation mode is normal

D1L401 = J1_q[2] # J1_q[3] # J1_q[0] & J1_q[1];


--D1L501 is ROM:inst2|Mux~343
--operation mode is normal

D1L501 = J1_q[2] & (!J1_q[3] # !J1_q[1]) # !J1_q[2] & (J1_q[3] # J1_q[0] & J1_q[1]);


--D1L112 is ROM:inst2|Mux~2045
--operation mode is normal

D1L112 = B1_dou[2] & D1L501 & !B1_dou[0] # !B1_dou[2] & (D1L401 # !B1_dou[0]);


--D1L212 is ROM:inst2|Mux~2046
--operation mode is normal

D1L212 = B1_dou[0] & J1_q[1] & J1_q[0] & !J1_q[3];


--D1L312 is ROM:inst2|Mux~2047
--operation mode is normal

D1L312 = D1L112 # B1_dou[2] & D1L212 & !J1_q[2];


--D1L412 is ROM:inst2|Mux~2048
--operation mode is normal

D1L412 = D1L571 & (D1L312 # B1_dou[1]) # !D1L571 & D1L312 & !B1_dou[1];


--D1L71 is ROM:inst2|dout[5]~1510
--operation mode is normal

D1L71 = D1L71 & (D1L412 # CR) # !D1L71 & D1L412 & !CR;


--D1L611 is ROM:inst2|Mux~367
--operation mode is normal

D1L611 = B1_dou[1] & (J1_q[3] $ (J1_q[0] # J1_q[1]));


--D1L511 is ROM:inst2|Mux~365
--operation mode is normal

D1L511 = J1_q[0] & (B1_dou[1] # !J1_q[3] # !J1_q[1]) # !J1_q[0] & (J1_q[1] & !B1_dou[1] # !J1_q[1] & B1_dou[1] & J1_q[3]);


--D1L411 is ROM:inst2|Mux~363
--operation mode is normal

D1L411 = J1_q[0] & J1_q[1] & !B1_dou[1] # !J1_q[0] & (J1_q[1] & B1_dou[1] & !J1_q[3] # !J1_q[1] & J1_q[3]);


--D1L871 is ROM:inst2|Mux~595
--operation mode is normal

D1L871 = B1_dou[0] & (J1_q[2] # D1L511) # !B1_dou[0] & !J1_q[2] & D1L411;


--D1L711 is ROM:inst2|Mux~369
--operation mode is normal

D1L711 = !J1_q[3] & (J1_q[0] $ (J1_q[1] & !B1_dou[1]));


--D1L971 is ROM:inst2|Mux~596
--operation mode is normal

D1L971 = D1L871 & (D1L711 # !J1_q[2]) # !D1L871 & D1L611 & J1_q[2];


--D1L111 is ROM:inst2|Mux~358
--operation mode is normal

D1L111 = J1_q[3] & J1_q[0] & !J1_q[2] & !B1_dou[0];


--D1L211 is ROM:inst2|Mux~359
--operation mode is normal

D1L211 = B1_dou[0] & J1_q[2] & (J1_q[0] $ J1_q[3]);


--D1L011 is ROM:inst2|Mux~356
--operation mode is normal

D1L011 = J1_q[3] & !J1_q[2] & !J1_q[0] & !B1_dou[0];


--D1L671 is ROM:inst2|Mux~593
--operation mode is normal

D1L671 = J1_q[1] & (B1_dou[1] # D1L211) # !J1_q[1] & !B1_dou[1] & D1L011;


--D1L311 is ROM:inst2|Mux~361
--operation mode is normal

D1L311 = J1_q[3] & !J1_q[0] & B1_dou[0] & !J1_q[2] # !J1_q[3] & (J1_q[0] $ (!B1_dou[0] & J1_q[2]));


--D1L771 is ROM:inst2|Mux~594
--operation mode is normal

D1L771 = D1L671 & (D1L311 # !B1_dou[1]) # !D1L671 & D1L111 & B1_dou[1];


--D1L41 is ROM:inst2|dout[4]~1535
--operation mode is normal

D1L41 = D1L31 & (B1_dou[2] & D1L971 # !B1_dou[2] & D1L771);


--D1L51 is ROM:inst2|dout[4]~1536
--operation mode is normal

D1L51 = !CR & (B1_dou[2] & D1L971 # !B1_dou[2] & D1L771);


--D1L31 is ROM:inst2|dout[4]~1511
--operation mode is normal

D1L31 = D1L41 # D1L51 # D1L31 & CR;


--D1L321 is ROM:inst2|Mux~383
--operation mode is normal

D1L321 = !J1_q[0] & (J1_q[1] & !B1_dou[2] & !B1_dou[1] # !J1_q[1] & B1_dou[2] & B1_dou[1]);


--D1L221 is ROM:inst2|Mux~381
--operation mode is normal

D1L221 = J1_q[1] & (B1_dou[2] $ (J1_q[0] # B1_dou[1])) # !J1_q[1] & B1_dou[1];


--D1L512 is ROM:inst2|Mux~2049
--operation mode is normal

D1L512 = J1_q[1] & J1_q[0];


--D1L612 is ROM:inst2|Mux~2050
--operation mode is normal

D1L612 = E1L7 & (D1L512 # B1_dou[0] & D1L221) # !E1L7 & B1_dou[0] & D1L221;


--D1L712 is ROM:inst2|Mux~2051
--operation mode is normal

D1L712 = J1_q[3] & B1_dou[0] & D1L321 # !J1_q[3] & D1L612;


--D1L021 is ROM:inst2|Mux~375
--operation mode is normal

D1L021 = J1_q[0] & !J1_q[1] & (B1_dou[2] $ !B1_dou[1]) # !J1_q[0] & J1_q[1] & B1_dou[2] & !B1_dou[1];


--D1L911 is ROM:inst2|Mux~373
--operation mode is normal

D1L911 = J1_q[0] & (B1_dou[2] & !J1_q[1] # !B1_dou[2] & !B1_dou[1]) # !J1_q[0] & (B1_dou[1] & B1_dou[2] # !B1_dou[1] & J1_q[1]);


--D1L811 is ROM:inst2|Mux~371
--operation mode is normal

D1L811 = B1_dou[2] & (J1_q[0] & (J1_q[1] # !B1_dou[1]) # !J1_q[0] & J1_q[1] & !B1_dou[1]);


--D1L081 is ROM:inst2|Mux~597
--operation mode is normal

D1L081 = J1_q[3] & (B1_dou[0] # !D1L911) # !J1_q[3] & !B1_dou[0] & D1L811;


--D1L121 is ROM:inst2|Mux~377
--operation mode is normal

D1L121 = !J1_q[1] & (B1_dou[2] & J1_q[0] & !B1_dou[1] # !B1_dou[2] & B1_dou[1]);


--D1L181 is ROM:inst2|Mux~598
--operation mode is normal

D1L181 = D1L081 & (D1L121 # !B1_dou[0]) # !D1L081 & D1L021 & B1_dou[0];


--D1L812 is ROM:inst2|Mux~2052
--operation mode is normal

D1L812 = D1L712 & (D1L181 # J1_q[2]) # !D1L712 & D1L181 & !J1_q[2];


--D1L11 is ROM:inst2|dout[3]~1512
--operation mode is normal

D1L11 = D1L11 & (D1L812 # CR) # !D1L11 & D1L812 & !CR;


--D1L921 is ROM:inst2|Mux~395
--operation mode is normal

D1L921 = J1_q[0] & (J1_q[2] # !J1_q[1] & B1_dou[0]) # !J1_q[0] & J1_q[2] & (B1_dou[0] # !J1_q[1]);


--D1L821 is ROM:inst2|Mux~393
--operation mode is normal

D1L821 = J1_q[2] # J1_q[0] & J1_q[1] # !J1_q[0] & B1_dou[0];


--D1L721 is ROM:inst2|Mux~391
--operation mode is normal

D1L721 = J1_q[0] & J1_q[2] & !B1_dou[0] # !J1_q[0] & J1_q[1];


--D1L481 is ROM:inst2|Mux~601
--operation mode is normal

D1L481 = J1_q[3] & (B1_dou[1] # !D1L821) # !J1_q[3] & !B1_dou[1] & D1L721;


--D1L031 is ROM:inst2|Mux~397
--operation mode is normal

D1L031 = J1_q[0] & (J1_q[2] # J1_q[1] & !B1_dou[0]) # !J1_q[0] & J1_q[2] & (J1_q[1] # !B1_dou[0]);


--D1L581 is ROM:inst2|Mux~602
--operation mode is normal

D1L581 = D1L481 & (!D1L031 # !B1_dou[1]) # !D1L481 & D1L921 & B1_dou[1];


--D1L521 is ROM:inst2|Mux~387
--operation mode is normal

D1L521 = !J1_q[1] & J1_q[3] & (J1_q[0] $ J1_q[2]);


--D1L421 is ROM:inst2|Mux~386
--operation mode is normal

D1L421 = J1_q[3] & !J1_q[2] & !J1_q[1] & !J1_q[0];


--D1L281 is ROM:inst2|Mux~599
--operation mode is normal

D1L281 = B1_dou[0] & (B1_dou[1] # D1L98) # !B1_dou[0] & !B1_dou[1] & D1L421;


--D1L621 is ROM:inst2|Mux~390
--operation mode is normal

D1L621 = J1_q[2] & J1_q[1] & J1_q[0] & !J1_q[3];


--D1L381 is ROM:inst2|Mux~600
--operation mode is normal

D1L381 = D1L281 & (D1L621 # !B1_dou[1]) # !D1L281 & D1L521 & B1_dou[1];


--D1L8 is ROM:inst2|dout[2]~1539
--operation mode is normal

D1L8 = D1L7 & (B1_dou[2] & D1L581 # !B1_dou[2] & D1L381);


--D1L9 is ROM:inst2|dout[2]~1540
--operation mode is normal

D1L9 = !CR & (B1_dou[2] & D1L581 # !B1_dou[2] & D1L381);


--D1L7 is ROM:inst2|dout[2]~1513
--operation mode is normal

D1L7 = D1L8 # D1L9 # D1L7 & CR;


--D1L631 is ROM:inst2|Mux~411
--operation mode is normal

D1L631 = B1_dou[0] & (J1_q[3] $ (J1_q[0] # J1_q[1])) # !B1_dou[0] & J1_q[1] & (J1_q[0] # J1_q[3]);


--D1L531 is ROM:inst2|Mux~408
--operation mode is normal

D1L531 = J1_q[3] & J1_q[0] & !J1_q[1] & !B1_dou[0];