| .model top |
| .inputs ck g7 g6 g5 g4 g10 g3 g2 g12 g1 g11 g0 g13 g9 g8 |
| .outputs g535 g546 g537 g548 g547 g539 g549 g551 g530 g552 g542 g532 g550 g45 |
| .latch ng511 ng38 re ck 2 |
| .latch ng512 ng39 re ck 2 |
| .latch ng509 ng36 re ck 2 |
| .latch ng508 ng35 re ck 2 |
| .latch ng510 ng37 re ck 2 |
| .latch ng515 ng42 re ck 2 |
| .latch ng516 ng43 re ck 2 |
| .latch ng513 ng40 re ck 2 |
| .latch ng514 ng41 re ck 2 |
| .latch ng503 ng30 re ck 2 |
| .latch ng519 ng46 re ck 2 |
| .latch ng502 ng29 re ck 2 |
| .latch ng517 ng44 re ck 2 |
| .latch ng518 g45 re ck 2 |
| .latch ng507 ng34 re ck 2 |
| .latch ng506 ng33 re ck 2 |
| .latch ng505 ng32 re ck 2 |
| .latch ng504 ng31 re ck 2 |
| .names g12 n_n74 ng146 [298] [299] [1406] g535 |
| ---1-- 1 |
| ----1- 1 |
| 001--1 1 |
| .names ng41 g546 |
| 0 1 |
| .names g12 [148] [153] ng146 [283] [285] [286] g537 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 0111--- 1 |
| .names g12 g13 ng42 [65] [275] g548 |
| ----1 1 |
| 1000- 1 |
| .names g12 g13 [164] [65] [267] g547 |
| ----1 1 |
| 1010- 1 |
| .names g12 g13 n_n59 [65] [262] g539 |
| ----1 1 |
| 1001- 1 |
| .names g12 g13 [75] [65] [251] [252] [1442] g549 |
| --1---- 1 |
| ----1-- 1 |
| -----1- 1 |
| 10-0--1 1 |
| .names g4 ng328 [172] [124] g551 |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names g12 g0 g13 [175] [65] [116] [1454] g530 |
| -----1- 1 |
| 1-0-0-1 1 |
| 11010-- 1 |
| .names g12 g13 ng40 [65] [1460] g552 |
| ----1 1 |
| 1000- 1 |
| .names g6 [181] n_n124 [193] [65] [90] [1356] g542 |
| -----1- 1 |
| --10--- 1 |
| 11--0-0 1 |
| 1-1-0-0 1 |
| .names g12 g0 g13 ng423 [183] [65] g532 |
| ---1-- 1 |
| 110-10 1 |
| .names g0 ng29 [75] [65] [1356] [1479] [1482] g550 |
| --1---- 1 |
| ------1 1 |
| ---001- 1 |
| 10-00-- 1 |
| .names g7 g4 g10 g0 ng511 |
| 1000 1 |
| .names g5 g3 g2 ng512 |
| 0-1 1 |
| -01 1 |
| 110 1 |
| .names g7 g5 g10 g11 g9 g8 ng509 |
| 0000-0 1 |
| 101111 1 |
| .names g7 g6 g10 g9 g8 ng508 |
| 11001 1 |
| 01110 1 |
| 10000 1 |
| .names g6 g9 ng510 |
| 01 1 |
| 10 1 |
| .names g7 g6 g10 g11 g9 g8 ng515 |
| ---0-- 1 |
| 00---- 1 |
| -00-1- 1 |
| 0-0-0- 1 |
| 0---00 1 |
| 111-1- 1 |
| -10-01 1 |
| .names g6 g5 g4 g3 g2 g1 ng516 |
| ---0-- 1 |
| ----00 1 |
| 000--- 1 |
| 00--0- 1 |
| 00---0 1 |
| -01--0 1 |
| -00-11 1 |
| 111-11 1 |
| .names g7 g6 g8 ng30 [395] ng513 |
| 0---0 1 |
| -1--0 1 |
| --0-0 1 |
| ---00 1 |
| .names g6 n_n124 [193] [210] [65] [1356] [1357] ng514 |
| -0-11-- 1 |
| --111-- 1 |
| -0-1-1- 1 |
| --11-1- 1 |
| -0-1--1 1 |
| 0-11--1 1 |
| .names g10 g11 g9 ng503 |
| 1-- 1 |
| -10 1 |
| .names g7 g6 g10 ng30 [355] [357] ng519 |
| -1--00 1 |
| 1-1-00 1 |
| 1--100 1 |
| .names g5 g4 g3 g2 g1 ng502 |
| 0-0-- 1 |
| -10-- 1 |
| --00- 1 |
| --0-1 1 |
| ---11 1 |
| 00-1- 1 |
| 01-0- 1 |
| 01--1 1 |
| .names g6 g5 g10 g11 [59] [350] ng517 |
| 10---- 1 |
| 1-0--- 1 |
| -10--- 1 |
| 1--0-- 1 |
| -1-0-- 1 |
| 1---0- 1 |
| -1--0- 1 |
| -0---1 1 |
| --0--1 1 |
| ---0-1 1 |
| ----01 1 |
| .names g12 g13 n_n59 [65] [315] ng518 |
| ----1 1 |
| 1011- 1 |
| .names g12 g13 ng32 n_n58 [190] ng507 |
| 0010- 1 |
| 01-01 1 |
| .names g5 g4 g2 g12 [62] [65] [1403] ng506 |
| 1----1- 1 |
| -0---1- 1 |
| --0--1- 1 |
| ---1-1- 1 |
| ----11- 1 |
| 1-----0 1 |
| -0----0 1 |
| --0---0 1 |
| ---1--0 1 |
| ----1-0 1 |
| .names g6 g5 g4 g3 g2 ng505 |
| 01--1 1 |
| -01-1 1 |
| -10-1 1 |
| -1-01 1 |
| -1-10 1 |
| 1-010 1 |
| .names g7 g10 g11 g9 ng504 |
| 0-1- 1 |
| -10- 1 |
| -1-0 1 |
| .names g7 g10 g9 g8 n_n74 |
| 0--1 1 |
| -1-1 1 |
| --11 1 |
| 1--0 1 |
| -0-0 1 |
| --00 1 |
| .names g5 g3 g2 g11 [57] |
| 0111 1 |
| .names g5 g3 g2 g1 [138] |
| 1111 1 |
| .names g5 g3 g2 [148] |
| 111 1 |
| .names g7 g6 g4 g10 g11 g9 g8 [153] |
| 1111111 1 |
| .names g6 g5 g10 g11 [59] [160] [157] |
| 0----1 1 |
| -1111- 1 |
| .names g7 g6 g10 g11 g9 g8 [164] |
| 101-1- 1 |
| 110-1- 1 |
| -10-10 1 |
| -1-110 1 |
| 0101-1 1 |
| 011-11 1 |
| .names g0 [138] [153] [348] [1376] [1377] n_n59 |
| -1-1-- 1 |
| ----11 1 |
| 111--- 1 |
| .names g3 g12 g13 ng33 n_n58 [190] [1440] [75] |
| 1-00--- 1 |
| -01-011 1 |
| .names g6 g5 g4 g3 g2 [168] |
| 010-- 1 |
| -101- 1 |
| -1-10 1 |
| 1110- 1 |
| 1-001 1 |
| .names g12 g0 g13 [65] [1448] [1449] ng328 |
| 1-001- 1 |
| 1100-1 1 |
| .names g6 g5 g4 g3 g2 [173] |
| 1-10- 1 |
| -010- 1 |
| -01-1 1 |
| 10-10 1 |
| -1110 1 |
| .names g12 g13 ng39 ng32 n_n58 [190] [1450] [172] |
| 00110-- 1 |
| 01--011 1 |
| .names g2 g1 [58] |
| 11 1 |
| .names g6 g5 g4 g11 ng36 n_n74 [66] |
| 0---1- 1 |
| 1111-0 1 |
| .names g5 g4 g3 g2 g1 [175] |
| 01-1- 1 |
| -101- 1 |
| 1--10 1 |
| 1011- 1 |
| 0-111 1 |
| .names g12 g13 ng32 n_n58 [190] [180] [179] [178] |
| 0010-1- 1 |
| 01-01-1 1 |
| .names g7 g10 g11 g9 g8 [181] |
| -100- 1 |
| 01--1 1 |
| -1-01 1 |
| -1110 1 |
| 1-100 1 |
| .names g12 ng146 [86] [88] [1468] [1469] [1473] ng423 |
| ------1 1 |
| --1-1-- 1 |
| ---11-- 1 |
| 01---1- 1 |
| .names g5 g4 g3 g2 g1 [183] |
| 010-- 1 |
| -101- 1 |
| -01-1 1 |
| -1-10 1 |
| 1110- 1 |
| 1-001 1 |
| 111-0 1 |
| .names g5 g3 n_n133 |
| 11 1 |
| .names g7 g6 g4 g10 g11 g9 g8 [188] |
| 1111111 1 |
| 0110010 1 |
| .names g7 g10 g11 g9 g8 ng30 n_n58 |
| 0---0- 1 |
| 0----0 1 |
| 10-0-- 1 |
| -0-00- 1 |
| -0-0-0 1 |
| 11111- 1 |
| -11110 1 |
| .names g6 g5 g4 g3 g2 g1 [190] |
| 01--1- 1 |
| -1--10 1 |
| 101--1 1 |
| 010--1 1 |
| 01-1-1 1 |
| -101-1 1 |
| 1-10-1 1 |
| -010-1 1 |
| 0-1-11 1 |
| 1--011 1 |
| 1--101 1 |
| 1-0-10 1 |
| .names g7 g10 g9 n_n124 |
| 101 1 |
| .names g8 ng34 [193] |
| 0- 1 |
| -0 1 |
| .names g7 g10 g11 g9 g8 ng30 ng32 [62] |
| ------0 1 |
| 0---0-- 1 |
| 0----0- 1 |
| 10-0--- 1 |
| -0-00-- 1 |
| -0-0-0- 1 |
| 11111-- 1 |
| -11110- 1 |
| .names g7 g6 g4 g10 g9 g8 [196] |
| 011011 1 |
| 111001 1 |
| 011110 1 |
| 100000 1 |
| .names g7 g6 g4 g9 g8 [59] |
| 01110 1 |
| .names g6 g5 g4 g11 g8 ng36 [1471] [203] |
| 0-0--1- 1 |
| -1-11-1 1 |
| .names g1 [317] [1387] [1388] [1389] [1398] [1399] ng146 |
| --1-1-- 1 |
| ---11-- 1 |
| 11----1 1 |
| 1----11 1 |
| .names g7 g10 g9 g8 ng34 [210] |
| -0--- 1 |
| ---0- 1 |
| ----0 1 |
| 1-1-- 1 |
| .names g10 g11 ng46 [229] [234] [375] [376] [65] |
| --0---- 1 |
| -----1- 1 |
| ------1 1 |
| -1--1-- 1 |
| 00-1--- 1 |
| .names g10 g11 [133] |
| 00 1 |
| .names g7 g6 g9 g8 ng30 ng31 [229] |
| 0-00-- 1 |
| -100-- 1 |
| --000- 1 |
| 0-0--0 1 |
| -10--0 1 |
| --0-00 1 |
| .names g7 g6 g10 g9 g8 ng30 ng31 [234] |
| -0---0- 1 |
| 0--00-- 1 |
| 0-1-1-0 1 |
| -11-1-0 1 |
| 0--01-0 1 |
| -1-01-0 1 |
| --1-100 1 |
| ---0100 1 |
| .names g5 g3 g11 [146] |
| 011 1 |
| .names g3 g2 [147] |
| 01 1 |
| .names g7 g5 g4 g10 g11 g9 g8 [160] |
| 00000-0 1 |
| 1011111 1 |
| .names g5 g4 g3 g2 [180] |
| 01-1 1 |
| 10-1 1 |
| 1-10 1 |
| -010 1 |
| .names g5 g4 g3 g2 g1 [179] |
| -001- 1 |
| 1--10 1 |
| -0-10 1 |
| 101-1 1 |
| .names g12 g13 ng43 n_n58 [190] [83] |
| 01001 1 |
| .names g13 n_n58 [190] [196] [1395] [1398] [1466] [86] |
| 11---11 1 |
| 1-0--11 1 |
| 11-11-1 1 |
| 1-011-1 1 |
| .names g2 g13 [62] [146] [1387] [1388] [88] |
| 00111- 1 |
| 0011-1 1 |
| .names g7 g10 g9 g8 ng34 [90] |
| 110-1 1 |
| 11-01 1 |
| .names g5 g2 g12 g1 g13 n_n58 [190] [104] |
| 0-01101 1 |
| -001101 1 |
| .names g3 g2 g12 [66] [1387] [1388] [1389] [116] |
| 00011-1 1 |
| 0001-11 1 |
| .names g12 g1 g13 [173] n_n58 [190] [124] |
| 011101 1 |
| .names g5 g4 g3 g2 g12 g13 [62] [251] |
| 10-1000 1 |
| 1-01000 1 |
| .names g12 g1 g13 [168] n_n58 [190] [252] |
| 011101 1 |
| .names g12 [317] [1387] [1388] [1398] [1438] [1439] [262] |
| 0-00-1- 1 |
| 00--0-1 1 |
| .names g7 g10 g9 g8 ng34 [267] |
| 101-1 1 |
| 1-101 1 |
| 01111 1 |
| .names g7 g10 g11 g9 g8 ng34 [275] |
| 1011-1 1 |
| 1110-1 1 |
| 011-11 1 |
| 0-1011 1 |
| 1-1101 1 |
| .names g12 g13 n_n59 [65] [1418] [283] |
| 10111 1 |
| .names g3 g2 g12 [157] [1387] [1388] [1389] [285] |
| 00011-1 1 |
| 0001-11 1 |
| .names g12 [57] ng146 [293] [294] [1422] [1426] [286] |
| 0--1--1 1 |
| 0---1-1 1 |
| 011--1- 1 |
| .names g2 g13 [62] [1387] [1388] [1424] [293] |
| 0011-1 1 |
| 001-11 1 |
| .names g13 n_n58 [190] [196] [1395] [1398] [1425] [294] |
| 11---11 1 |
| 1-0--11 1 |
| 11-11-1 1 |
| 1-011-1 1 |
| .names g6 g11 g9 g8 ng38 [295] |
| 11011 1 |
| .names g11 g8 [301] [304] [305] [1412] [298] |
| 111--- 1 |
| 11-1-1 1 |
| 11--11 1 |
| .names g3 g2 g12 ng44 [1387] [1388] [1389] [299] |
| 00001-1 1 |
| 0000-11 1 |
| .names g12 g13 n_n59 [65] [1414] [301] |
| 10111 1 |
| .names g13 n_n58 [190] [196] [1395] [1398] [1409] [304] |
| 11---11 1 |
| 1-0--11 1 |
| 11-11-1 1 |
| 1-011-1 1 |
| .names g2 g13 [62] [1387] [1388] [1410] [305] |
| 0011-1 1 |
| 001-11 1 |
| .names g12 [317] [1387] [1388] [1389] [1398] [1399] [315] |
| 0-1-1-- 1 |
| 0--11-- 1 |
| 01----1 1 |
| 0----11 1 |
| .names g5 g3 g2 g1 g11 [196] [317] |
| 011011 1 |
| .names g5 g4 g3 g2 g11 ng35 [338] |
| 001111 1 |
| .names g6 ng36 [343] |
| 01 1 |
| .names g7 g4 g10 g11 g0 g8 ng37 [348] |
| 1001011 1 |
| .names g7 g4 g10 g11 g9 g8 [350] |
| 11---- 1 |
| 0-1--- 1 |
| -11--- 1 |
| 1-0--- 1 |
| 0--1-- 1 |
| -1-1-- 1 |
| --01-- 1 |
| 1--0-- 1 |
| --10-- 1 |
| 0---1- 1 |
| -1--1- 1 |
| --0-1- 1 |
| ---01- 1 |
| 1---0- 1 |
| --1-0- 1 |
| ---10- 1 |
| 0----1 1 |
| -1---1 1 |
| --0--1 1 |
| ---0-1 1 |
| ----01 1 |
| 1----0 1 |
| --1--0 1 |
| ---1-0 1 |
| ----10 1 |
| .names g5 g4 g3 g2 g1 g0 [355] |
| 00110- 1 |
| 0001-1 1 |
| -00111 1 |
| 111111 1 |
| .names g5 g4 g3 g2 g1 g0 [357] |
| ----00 1 |
| 000-0- 1 |
| 1-000- 1 |
| -0000- 1 |
| 01100- 1 |
| .names g7 g10 g11 g9 g8 ng31 [375] |
| 01010- 1 |
| 0-0110 1 |
| .names g5 g4 g3 g0 [376] |
| 000- 1 |
| 00-0 1 |
| -010 1 |
| .names g7 g6 g10 g11 g9 g8 ng31 [395] |
| -1---11 1 |
| -10111- 1 |
| 11-011- 1 |
| .names g13 g12 [1356] |
| 1- 1 |
| -0 1 |
| .names g7 g6 g10 g9 [1357] |
| 0--- 1 |
| --0- 1 |
| -1-1 1 |
| .names g7 g10 g3 g9 g8 [1376] |
| 01000 1 |
| .names g6 g5 g4 g2 g1 g11 g0 [1377] |
| 1001110 1 |
| .names g6 g5 g4 g3 g2 g11 [1382] |
| 101101 1 |
| .names g6 g5 g4 g11 [1384] |
| 1111 1 |
| .names g7 g10 g9 g8 [338] [1382] [1387] |
| ----1- 1 |
| 0011-1 1 |
| 1001-1 1 |
| 0110-1 1 |
| .names g5 g3 g2 n_n74 [188] [343] [1384] [1388] |
| -00--1- 1 |
| 111-1-- 1 |
| -000--1 1 |
| .names [62] g13 [1389] |
| 10 1 |
| .names g5 g3 g2 g1 g11 [1395] |
| 01101 1 |
| .names g6 g5 g4 g3 g11 [1396] |
| 10011 1 |
| .names g5 g10 g3 g11 [1397] |
| 1010 1 |
| .names n_n74 [153] [58] n_n133 [59] [133] [1396] [1398] |
| -111--- 1 |
| 0-1---1 1 |
| --1111- 1 |
| .names g13 n_n58 [190] [1399] |
| 11- 1 |
| 1-0 1 |
| .names g13 g12 [1400] |
| 1- 1 |
| -1 1 |
| .names g4 g12 g1 g0 [1403] |
| 0111 1 |
| .names g6 g5 g4 g3 g2 g11 [1406] |
| 100111 1 |
| .names g6 g5 g4 g2 g1 [1409] |
| 10110 1 |
| .names g6 g5 g4 [1410] |
| 101 1 |
| .names g7 g10 g3 g12 g9 [1412] |
| 00101 1 |
| 10100 1 |
| .names g5 g3 g2 g1 ng38 ng37 [1414] |
| 111111 1 |
| .names g12 g3 [1415] |
| 00 1 |
| .names g5 g3 g2 g1 g0 [153] [295] [1418] |
| 1111--1 1 |
| 111111- 1 |
| .names g7 g6 g4 g10 g9 g8 [1422] |
| 110001 1 |
| .names g5 g3 g11 [1424] |
| 011 1 |
| .names g5 g3 g2 g1 g11 [1425] |
| 01101 1 |
| .names g7 g6 g4 g10 g9 g8 [1426] |
| 111001 1 |
| 011110 1 |
| .names [62] g13 [1438] |
| 10 1 |
| .names g13 n_n58 [190] [1439] |
| 11- 1 |
| 1-0 1 |
| .names g5 g4 g2 g1 [1440] |
| 0111 1 |
| .names g4 g3 g1 g0 [1442] |
| 101- 1 |
| 1-10 1 |
| .names g5 g4 g3 g2 g1 g0 [1448] |
| 1-001- 1 |
| 11--10 1 |
| 1-0-10 1 |
| 1101-1 1 |
| .names g5 g4 g3 g1 [1449] |
| 101- 1 |
| 1-10 1 |
| .names g5 g2 g1 [1450] |
| 110 1 |
| .names g5 g4 g3 g2 g1 g0 [1454] |
| -1-110 1 |
| 1-0110 1 |
| .names g6 g4 [178] [62] [147] [104] [1400] [1460] |
| 1-1---- 1 |
| 11---1- 1 |
| 11-01-0 1 |
| .names g5 g3 g2 g1 g11 [1466] |
| 01101 1 |
| .names g7 g6 g4 g10 g12 g9 g8 [1468] |
| 0111010 1 |
| .names g2 n_n74 [59] [1396] [1397] [1469] |
| 10-1- 1 |
| 1-1-1 1 |
| .names g7 g6 g4 g10 g9 [1471] |
| 11100 1 |
| .names g2 [203] [83] [1387] [1388] [1389] [1415] [1473] |
| --1---- 1 |
| 01-1-11 1 |
| 01--111 1 |
| .names g4 g3 g1 g0 [1479] |
| 1110 1 |
| .names g5 g4 g3 g2 [1480] |
| 101- 1 |
| 1-10 1 |
| .names g5 g4 g2 g1 [1481] |
| 101- 1 |
| 1-10 1 |
| .names g12 g13 ng32 n_n58 [190] [1480] [1481] [1482] |
| 0010-1- 1 |
| 01-01-1 1 |
| .end |
