| .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 g11 g8 [154] [1416] g535 |
| ---1 1 |
| 111- 1 |
| .names ng41 g546 |
| 0 1 |
| .names g12 [158] n_n59 [150] [1418] [1427] g537 |
| -----1 1 |
| 01---- 1 |
| --111- 1 |
| .names [275] [276] g548 |
| 1- 1 |
| -1 1 |
| .names g7 g10 g9 g8 ng34 [266] g547 |
| -----1 1 |
| 101-1- 1 |
| 1-101- 1 |
| 01111- 1 |
| .names g12 [150] [264] [265] [346] [347] g539 |
| 0-1--- 1 |
| 0--1-- 1 |
| -1--00 1 |
| .names [75] [250] [251] [252] g549 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [137] [244] [1449] [1452] g551 |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names [60] [66] [137] [175] [114] g530 |
| ----1 1 |
| 11--- 1 |
| --11- 1 |
| .names [102] [1460] g552 |
| 1- 1 |
| -1 1 |
| .names g8 ng34 n_n124 [192] [89] [90] g542 |
| ----1- 1 |
| -----1 1 |
| --10-- 1 |
| 111--- 1 |
| .names [137] [183] [80] [81] [1473] g532 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| .names ng29 [75] [137] [53] [56] [63] g550 |
| -1---- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 0-1--- 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 [239] ng513 |
| 00--- 1 |
| -00-- 1 |
| -0-0- 1 |
| 0---0 1 |
| -1--0 1 |
| --0-0 1 |
| ---00 1 |
| .names g8 ng34 n_n124 [192] [211] [210] ng514 |
| --0-11 1 |
| 0--111 1 |
| -0-111 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 [150] [118] [131] [346] [347] ng518 |
| 0-1--- 1 |
| 0--1-- 1 |
| -1--1- 1 |
| -1---1 1 |
| .names g12 g13 ng32 n_n58 [190] ng507 |
| 0010- 1 |
| 01-01 1 |
| .names ng46 [314] [376] [377] [1354] [1403] ng506 |
| 00---- 1 |
| -01--- 1 |
| -0-1-- 1 |
| -0--1- 1 |
| -0---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 g2 [337] [339] [1387] [1389] [1415] [60] |
| 01--11 1 |
| 0-1-11 1 |
| 0--111 1 |
| .names n_n59 [150] [304] [305] [1412] [1414] [154] |
| --1-1- 1 |
| ---11- 1 |
| 11---1 1 |
| .names g5 g3 g2 g1 [138] |
| 1111 1 |
| .names g5 g3 g2 [148] |
| 111 1 |
| .names [118] [293] [294] [306] [1423] [1426] [158] |
| 1---1- 1 |
| ---11- 1 |
| -1---1 1 |
| --1--1 1 |
| .names g6 n_n114 [59] n_n163 [289] [1371] [157] |
| 0---1- 1 |
| --1--1 1 |
| 01-1-- 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 g6 g4 g0 [347] [1375] [1376] n_n59 |
| ---1-- 1 |
| 100-11 1 |
| .names g12 g13 ng46 [376] [377] [1354] [150] |
| 100--- 1 |
| 10-1-- 1 |
| 10--1- 1 |
| 10---1 1 |
| .names g12 g13 n_n58 [190] [261] [1440] [75] |
| ----1- 1 |
| 0101-1 1 |
| .names g6 g5 g4 g3 g2 [168] |
| 010-- 1 |
| -101- 1 |
| -1-10 1 |
| 1110- 1 |
| 1-001 1 |
| .names g6 g5 g4 g3 g2 [173] |
| 1-10- 1 |
| -010- 1 |
| -01-1 1 |
| 10-10 1 |
| -1110 1 |
| .names g6 g5 g4 g11 ng36 n_n74 [66] |
| 0---1- 1 |
| 1111-0 1 |
| .names g0 ng46 [376] [377] [1354] [1356] [137] |
| 110000 1 |
| .names g5 g4 g3 g2 g1 [175] |
| 01-1- 1 |
| -101- 1 |
| 1--10 1 |
| 1011- 1 |
| 0-111 1 |
| .names g6 g4 n_n176 |
| 11 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 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 g6 ng46 [376] [377] [1354] [1356] [192] |
| 0----- 1 |
| -0---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names g7 g10 g11 g9 g8 n_n114 |
| 11111 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 g13 ng32 n_n58 [337] [339] [1387] [118] |
| 00-1-- 1 |
| 0-11-- 1 |
| 00--1- 1 |
| 0-1-1- 1 |
| 00---1 1 |
| 0-1--1 1 |
| .names [196] [318] [319] [1395] [1399] [131] |
| -1--1 1 |
| --1-1 1 |
| 1--11 1 |
| .names ng46 [376] [377] [1354] [1356] [1357] [211] |
| 0----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names g7 g10 g9 g8 ng34 [210] |
| -0--- 1 |
| ---0- 1 |
| ----0 1 |
| 1-1-- 1 |
| .names g5 g4 n_n163 |
| 01 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 ng30 [101] |
| 101 1 |
| .names g7 g10 g11 g9 g8 ng31 [239] |
| ----11 1 |
| -0111- 1 |
| 1-011- 1 |
| .names g5 g3 g11 [146] |
| 011 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 g6 g10 g9 g8 ng30 ng31 [235] |
| 0---0- 1 |
| -1-1-0 1 |
| --01-0 1 |
| .names ng46 [376] [377] [1354] [1356] [1479] [53] |
| 100001 1 |
| .names g12 g13 ng32 n_n58 [1480] [56] |
| 00101 1 |
| .names g12 g13 n_n58 [190] [1481] [63] |
| 01011 1 |
| .names g10 g12 [59] [86] [88] [80] |
| 1011- 1 |
| 101-1 1 |
| .names g12 [118] [306] [1469] [81] |
| 01-1 1 |
| 0-11 1 |
| .names g12 g13 ng43 n_n58 [190] [83] |
| 01001 1 |
| .names g6 g4 ng36 [85] |
| 001 1 |
| .names [196] [318] [319] [1395] [1399] [1466] [86] |
| -1--11 1 |
| --1-11 1 |
| 1--111 1 |
| .names g2 [146] [337] [339] [1387] [1389] [88] |
| 011--1 1 |
| 01-1-1 1 |
| 01--11 1 |
| .names ng46 [376] [377] [1354] [1356] [1463] [89] |
| 100001 1 |
| .names g7 g10 g9 g8 ng34 [90] |
| 110-1 1 |
| 11-01 1 |
| .names ng40 ng46 [376] [377] [1354] [1356] [102] |
| 010000 1 |
| .names g5 g2 g1 n_n58 [190] [1401] [104] |
| 0-1011 1 |
| -01011 1 |
| .names g3 g2 g12 g13 ng32 n_n58 [105] |
| 010010 1 |
| .names g12 g13 n_n58 [190] [179] [106] |
| 01011 1 |
| .names g12 g13 ng32 n_n58 [180] [107] |
| 00101 1 |
| .names ng46 [376] [377] [1354] [1356] [1454] [114] |
| 100001 1 |
| .names g12 g1 g13 [173] n_n58 [190] [124] |
| 011101 1 |
| .names g12 g13 n_n58 [190] [1450] [126] |
| 01011 1 |
| .names g12 g13 ng39 ng32 n_n58 [127] |
| 00110 1 |
| .names ng46 [376] [377] [1354] [1356] [1448] [244] |
| 100001 1 |
| .names ng46 [376] [377] [1354] [1356] [1442] [250] |
| 100001 1 |
| .names g12 g13 ng32 n_n58 [1443] [251] |
| 00101 1 |
| .names g12 g1 g13 [168] n_n58 [190] [252] |
| 011101 1 |
| .names g3 g13 ng33 [261] |
| 100 1 |
| .names g13 ng32 n_n58 [337] [339] [1387] [264] |
| 00-000 1 |
| 0-1000 1 |
| .names [196] [318] [319] [1395] [1439] [265] |
| 000-1 1 |
| -0001 1 |
| .names ng46 [164] [376] [377] [1354] [1356] [266] |
| 110000 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 ng42 ng46 [376] [377] [1354] [1356] [276] |
| 010000 1 |
| .names g7 g5 g4 g10 g11 g8 [289] |
| 000000 1 |
| .names g2 [337] [339] [1387] [1389] [1424] [293] |
| 01--11 1 |
| 0-1-11 1 |
| 0--111 1 |
| .names [196] [318] [319] [1395] [1399] [1425] [294] |
| -1--11 1 |
| --1-11 1 |
| 1--111 1 |
| .names g6 g11 g9 g8 ng38 [295] |
| 11011 1 |
| .names [196] [318] [319] [1395] [1399] [1409] [304] |
| -1--11 1 |
| --1-11 1 |
| 1--111 1 |
| .names g2 [337] [339] [1387] [1389] [1410] [305] |
| 01--11 1 |
| 0-1-11 1 |
| 0--111 1 |
| .names g1 [196] [318] [319] [1395] [1399] [306] |
| 1-1--1 1 |
| 1--1-1 1 |
| 11--11 1 |
| .names g5 g4 g2 g12 ng32 n_n58 [314] |
| 011010 1 |
| .names g6 g4 [138] n_n114 [318] |
| 1111 1 |
| .names g2 g1 n_n74 [59] [1396] [1397] [319] |
| 110-1- 1 |
| 11-1-1 1 |
| .names g6 g3 g2 ng36 n_n74 [1384] [337] |
| 0001-- 1 |
| -00-01 1 |
| .names g5 g4 g3 g2 g11 ng35 [338] |
| 001111 1 |
| .names g6 g4 [148] n_n114 [59] [133] [339] |
| --1-11 1 |
| 1111-- 1 |
| .names g6 g4 g0 [1375] [1376] [346] |
| 10011 1 |
| .names g0 ng511 [138] n_n176 n_n114 [1378] [347] |
| -11--1 1 |
| 1-111- 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 g11 g9 g8 [101] [235] [377] |
| -1--01 1 |
| 0100-- 1 |
| .names g10 g11 [229] [375] [1354] |
| ---1 1 |
| 001- 1 |
| .names g13 g12 [1356] |
| 1- 1 |
| -0 1 |
| .names g7 g6 g10 g9 [1357] |
| 0--- 1 |
| --0- 1 |
| -1-1 1 |
| .names g5 g10 g11 [1371] |
| 111 1 |
| .names g5 g2 g1 g11 [1375] |
| 0111 1 |
| .names g7 g10 g3 g9 g8 [1376] |
| 01000 1 |
| .names g11 g8 ng37 [1378] |
| 111 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 g13 ng32 n_n58 [1389] |
| 00- 1 |
| 0-1 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 g13 n_n58 [190] [1399] |
| 11- 1 |
| 1-0 1 |
| .names g13 g12 [1401] |
| 10 1 |
| .names g4 g12 g1 g0 [1403] |
| 0111 1 |
| .names g6 g5 g4 g3 g2 g11 [1406] |
| 100111 1 |
| .names g7 g10 g9 g8 [1406] [1407] |
| 10011 1 |
| 01101 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 g12 ng44 [60] [118] [306] [1407] [1416] |
| -01--- 1 |
| 0--1-1 1 |
| 0---11 1 |
| .names g6 g4 g0 [138] n_n114 [295] [1418] |
| ---1-1 1 |
| 11111- 1 |
| .names g6 g5 g4 g3 g2 n_n114 [1419] |
| 111111 1 |
| .names g7 g6 g4 g10 g9 g8 [1422] |
| 110001 1 |
| .names g5 g3 g2 g11 [1422] [1423] |
| 01111 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 g12 [60] [157] [118] [306] [1419] [1427] |
| -11--- 1 |
| 0--1-1 1 |
| 0---11 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 [1443] |
| 10-1 1 |
| 1-01 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 g4 [124] [126] [127] [1452] |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names g5 g4 g3 g2 g1 g0 [1454] |
| -1-110 1 |
| 1-0110 1 |
| .names g6 g4 [104] [105] [106] [107] [1460] |
| 1---1- 1 |
| 1----1 1 |
| 111--- 1 |
| 11-1-- 1 |
| .names g7 g6 g10 g11 g9 g8 [1463] |
| -1100- 1 |
| 011--1 1 |
| -11-01 1 |
| -11110 1 |
| 11-100 1 |
| .names g5 g3 g2 g1 g11 [1466] |
| 01101 1 |
| .names g2 n_n74 [59] [1396] [1397] [1469] |
| 10-1- 1 |
| 1-1-1 1 |
| .names g5 g11 g8 [1470] |
| 111 1 |
| .names g7 g6 g4 g10 g9 [1471] |
| 11100 1 |
| .names [60] [83] [85] [1470] [1471] [1473] |
| -1--- 1 |
| 1-1-- 1 |
| 1--11 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 |
| .end |
