| .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 [156] [297] [299] [301] [1412] g535 |
| ---1--- 1 |
| ----1-- 1 |
| 11---1- 1 |
| 111---1 1 |
| .names ng41 g546 |
| 0 1 |
| .names g12 [161] [283] [284] [285] [291] [1426] g537 |
| --1---- 1 |
| ---1--- 1 |
| ----1-- 1 |
| 0----1- 1 |
| 01----1 1 |
| .names g12 g13 ng42 ng46 [275] [376] [1355] g548 |
| ----1-- 1 |
| 1001-00 1 |
| .names g12 g13 ng46 [164] [267] [376] [1355] g547 |
| ----1-- 1 |
| 1011-00 1 |
| .names g12 n_n59 [150] ng553 [317] [1398] [1438] [1439] g539 |
| -01----- 1 |
| 0--0--1- 1 |
| 0---00-1 1 |
| .names g12 g13 ng46 [252] [376] [1355] [1442] [1446] g549 |
| ---1---- 1 |
| -------1 1 |
| 101-001- 1 |
| .names g12 g1 g13 ng328 [173] n_n58 [190] [123] g551 |
| ---1---- 1 |
| -------1 1 |
| 011-101- 1 |
| .names g3 g2 g12 [66] ng553 [114] [115] [1389] g530 |
| -----1-- 1 |
| ------1- 1 |
| 00011--1 1 |
| .names g6 g4 [177] [100] [102] g552 |
| ---1- 1 |
| ----1 1 |
| 111-- 1 |
| .names g12 g13 ng46 ng279 [90] [376] [1355] [1463] g542 |
| ---0---- 1 |
| ----1--- 1 |
| 101--001 1 |
| .names [204] [70] [81] [1468] [1473] g532 |
| -1--- 1 |
| --1-- 1 |
| ----1 1 |
| 1--1- 1 |
| .names ng46 [75] [64] [376] [1355] [1356] [1479] [1482] g550 |
| -1------ 1 |
| --1----- 1 |
| -------1 1 |
| 1--0001- 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 g10 g11 g9 g8 ng30 ng31 ng513 |
| -----0-- 1 |
| 00------ 1 |
| -0----0- 1 |
| 0-1----0 1 |
| 0--0---0 1 |
| 0---0--0 1 |
| -1--0--0 1 |
| ----0-00 1 |
| -111---0 1 |
| --11--00 1 |
| .names g12 g13 ng46 ng279 [210] [376] [1355] [1357] ng514 |
| 0--11--- 1 |
| -1-11--- 1 |
| --011--- 1 |
| ---111-- 1 |
| ---11-1- 1 |
| ---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 g7 g6 g5 g4 g10 g11 g9 g8 ng517 |
| 11------ 1 |
| 1-1----- 1 |
| -01----- 1 |
| -10----- 1 |
| 1--1---- 1 |
| -1-0---- 1 |
| --10---- 1 |
| 1---0--- 1 |
| -1--0--- 1 |
| --1-0--- 1 |
| ----01-- 1 |
| 1----0-- 1 |
| -1---0-- 1 |
| --1--0-- 1 |
| ----10-- 1 |
| ----0-1- 1 |
| -----01- 1 |
| 1-----0- 1 |
| -1----0- 1 |
| --1---0- 1 |
| ----1-0- 1 |
| -----10- 1 |
| 0------1 1 |
| -1-----1 1 |
| --1----1 1 |
| ---1---1 1 |
| ----0--1 1 |
| -----0-1 1 |
| ------01 1 |
| 1------0 1 |
| 00--1--- 1 |
| 0-0-1--- 1 |
| -0-11--- 1 |
| --011--- 1 |
| 0--01--- 1 |
| 00---1-- 1 |
| 0-0--1-- 1 |
| -0-1-1-- 1 |
| --01-1-- 1 |
| 0--0-1-- 1 |
| 00----1- 1 |
| 0-0---1- 1 |
| -0-1--1- 1 |
| --01--1- 1 |
| 0--0--1- 1 |
| -0--1--0 1 |
| --0-1--0 1 |
| ---01--0 1 |
| -0---1-0 1 |
| --0--1-0 1 |
| ---0-1-0 1 |
| -0----10 1 |
| --0---10 1 |
| ---0--10 1 |
| .names g12 n_n59 [150] ng553 [317] [1389] [1398] [1399] ng518 |
| -11----- 1 |
| 0--1-1-- 1 |
| 0---1--1 1 |
| 0-----11 1 |
| .names g12 g13 ng32 n_n58 [190] ng507 |
| 0010- 1 |
| 01-01 1 |
| .names ng46 [62] [376] [1355] [1403] [1404] ng506 |
| 01---- 1 |
| -11--- 1 |
| -1-1-- 1 |
| -1--0- 1 |
| 0----0 1 |
| --1--0 1 |
| ---1-0 1 |
| ----00 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 [148] |
| 111 1 |
| .names g7 g6 g4 g10 g11 g9 g8 [153] |
| 1111111 1 |
| .names g7 g6 g5 g4 g10 g11 g9 g8 [157] |
| 000000-0 1 |
| 10011111 1 |
| 01111110 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 g5 g3 g2 g1 [348] [349] [1376] [1377] n_n59 |
| ------11 1 |
| 11111--- 1 |
| 1111-1-- 1 |
| .names g5 g4 g3 g12 g0 g13 ng46 [1355] [150] |
| ---1-00- 1 |
| ---1-0-1 1 |
| 0001-0-- 1 |
| 00-100-- 1 |
| -01100-- 1 |
| .names g3 g12 g13 ng33 n_n58 [190] [1440] [75] |
| 1-00--- 1 |
| -01-011 1 |
| .names g5 g2 [99] |
| 0- 1 |
| -0 1 |
| .names g6 g5 g4 g3 g2 [168] |
| 010-- 1 |
| -101- 1 |
| -1-10 1 |
| 1110- 1 |
| 1-001 1 |
| .names g12 g0 g13 ng46 [376] [1355] [1448] [1449] ng328 |
| 1-01001- 1 |
| 110100-1 1 |
| .names g6 g5 g4 g3 g2 [173] |
| 1-10- 1 |
| -010- 1 |
| -01-1 1 |
| 10-10 1 |
| -1110 1 |
| .names g6 ng36 [342] [66] |
| --1 1 |
| 01- 1 |
| .names g5 g4 g3 g2 g1 [175] |
| 01-1- 1 |
| -101- 1 |
| 1--10 1 |
| 1011- 1 |
| 0-111 1 |
| .names g12 g1 g13 ng32 [99] n_n58 [190] [147] [177] |
| 0-01-0-1 1 |
| 011-101- 1 |
| .names g6 g8 ng46 ng34 n_n124 [376] [1355] [1356] ng279 |
| ----0--- 1 |
| 00------ 1 |
| -00----- 1 |
| 0--0---- 1 |
| --00---- 1 |
| -0---1-- 1 |
| ---0-1-- 1 |
| -0----1- 1 |
| ---0--1- 1 |
| -0-----1 1 |
| ---0---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 g10 g9 g8 [55] |
| 0011 1 |
| 1001 1 |
| 0110 1 |
| .names g7 g6 g4 g10 g11 g9 g8 [188] |
| 1111111 1 |
| 0110010 1 |
| .names [148] [55] [188] [338] [342] [343] [1382] [1385] ng553 |
| ---1---- 1 |
| 1-1----- 1 |
| -1----1- 1 |
| ----1--1 1 |
| -----1-1 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 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 g2 g1 ng553 [196] [146] [1389] [1398] [1399] [204] |
| 0-1-11-- 1 |
| 10-11--1 1 |
| 10--1-11 1 |
| .names g7 g10 g9 g8 ng34 [210] |
| -0--- 1 |
| ---0- 1 |
| ----0 1 |
| 1-1-- 1 |
| .names g10 g11 [133] |
| 00 1 |
| .names g5 g3 g11 [146] |
| 011 1 |
| .names g3 g2 [147] |
| 01 1 |
| .names g2 ng553 [317] [1389] [1398] [1399] [1409] [1410] [156] |
| --1--11- 1 |
| ----111- 1 |
| 01-1---1 1 |
| .names g2 ng553 [317] [1389] [1398] [1399] [1424] [1425] [161] |
| --1--1-1 1 |
| ----11-1 1 |
| 01-1--1- 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 g0 g13 ng46 ng29 [376] [1355] [64] |
| 1101000 1 |
| .names g12 g0 g13 ng46 [183] [376] [1355] [70] |
| 1101100 1 |
| .names g12 g1 ng553 [317] [1389] [1398] [1399] [1469] [81] |
| 0-1-1--1 1 |
| 01-1--11 1 |
| 01---111 1 |
| .names g12 g13 ng43 n_n58 [190] [83] |
| 01001 1 |
| .names g7 g6 g5 g4 g10 g11 g9 g8 [84] |
| 11110101 1 |
| .names g6 g4 ng36 [85] |
| 001 1 |
| .names g7 g10 g9 g8 ng34 [90] |
| 110-1 1 |
| 11-01 1 |
| .names g6 g12 g13 ng32 n_n58 [190] [180] [179] [100] |
| 10010-1- 1 |
| 101-01-1 1 |
| .names g12 g13 ng40 ng46 [376] [1355] [102] |
| 100100 1 |
| .names g12 g13 ng46 [376] [1355] [1454] [114] |
| 101001 1 |
| .names g12 g0 g13 ng46 [175] [376] [1355] [115] |
| 1101100 1 |
| .names g4 g12 g13 ng39 ng32 n_n58 [190] [1450] [123] |
| 100110-- 1 |
| 101--011 1 |
| .names g12 g1 g13 [168] n_n58 [190] [252] |
| 011101 1 |
| .names g3 g13 ng33 [261] |
| 100 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 g5 g3 g2 g1 n_n59 [150] [295] [296] [283] |
| 1111111- 1 |
| 111111-1 1 |
| .names g12 g1 ng553 [317] [1389] [1398] [1399] [1419] [284] |
| 0-1-1--1 1 |
| 01-1--11 1 |
| 01---111 1 |
| .names g3 g2 g12 [157] ng553 [1389] [285] |
| 000111 1 |
| .names g1 ng553 [196] [1389] [1395] [1398] [1399] [1423] [291] |
| -1-1---1 1 |
| 1----111 1 |
| 1-1-1-11 1 |
| .names g6 g11 g9 g8 ng38 [295] |
| 11011 1 |
| .names g7 g6 g4 g10 g11 g0 g9 g8 [296] |
| 11111111 1 |
| .names g12 g1 ng553 [317] [1389] [1398] [1399] [1407] [297] |
| 0-1-1--1 1 |
| 01-1--11 1 |
| 01---111 1 |
| .names g3 g2 g12 ng44 ng553 [1389] [299] |
| 000011 1 |
| .names g12 g13 ng46 n_n59 [376] [1355] [1414] [301] |
| 1001--1 1 |
| 10-11-1 1 |
| 10-1-11 1 |
| .names g5 g3 g2 g1 g11 [196] [317] |
| 011011 1 |
| .names g5 g4 g3 g2 g11 ng35 [338] |
| 001111 1 |
| .names g7 g6 g5 g4 g10 g11 g9 g8 [342] |
| 11110101 1 |
| 01111110 1 |
| .names g6 ng36 [343] |
| 01 1 |
| .names g7 g4 g10 g11 g0 g8 ng37 [348] |
| 1001011 1 |
| .names g7 g6 g4 g10 g11 g0 g9 g8 [349] |
| 11111111 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 g5 g4 g3 g0 [376] |
| 000- 1 |
| 00-0 1 |
| -010 1 |
| .names g7 g6 g10 g11 g9 g8 ng30 ng31 [1355] |
| -0-1--0- 1 |
| 0--100-- 1 |
| 0-1010-- 1 |
| 0-0000-- 1 |
| -10000-- 1 |
| --00000- 1 |
| 0-000--0 1 |
| -1000--0 1 |
| 0-11-1-0 1 |
| -111-1-0 1 |
| 0--011-0 1 |
| 0--101-0 1 |
| -1-101-0 1 |
| --000-00 1 |
| --11-100 1 |
| ---10100 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 g2 g3 [1385] |
| 00 1 |
| .names g7 g10 g11 g13 g9 g8 ng30 ng32 [1389] |
| ---0---0 1 |
| 0--0-0-- 1 |
| 0--0--0- 1 |
| 10-00--- 1 |
| -0-000-- 1 |
| -0-00-0- 1 |
| 111011-- 1 |
| -110110- 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 g2 g1 n_n74 [153] n_n133 [59] [133] [1396] [1398] |
| 11-11--- 1 |
| 110----1 1 |
| 11--111- 1 |
| .names g7 g10 g11 g13 g9 g8 ng30 [190] [1399] |
| ---1---0 1 |
| 0--1-0-- 1 |
| 0--1--0- 1 |
| 10-10--- 1 |
| -0-100-- 1 |
| -0-10-0- 1 |
| 111111-- 1 |
| -111110- 1 |
| .names g4 g12 g1 g0 [1403] |
| 0111 1 |
| .names g5 g4 g2 g12 [1404] |
| 0110 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 g5 g3 g2 [153] [1419] |
| 1111 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 g7 g10 g11 g13 g9 g8 ng30 ng32 [1438] |
| ---0---0 1 |
| 0--0-0-- 1 |
| 0--0--0- 1 |
| 10-00--- 1 |
| -0-000-- 1 |
| -0-00-0- 1 |
| 111011-- 1 |
| -110110- 1 |
| .names g7 g10 g11 g13 g9 g8 ng30 [190] [1439] |
| ---1---0 1 |
| 0--1-0-- 1 |
| 0--1--0- 1 |
| 10-10--- 1 |
| -0-100-- 1 |
| -0-10-0- 1 |
| 111111-- 1 |
| -111110- 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 g12 g13 ng32 n_n58 [190] [261] [1440] [1443] [1446] |
| -----1-- 1 |
| 01-01-1- 1 |
| 0010---1 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 g7 g6 g10 g11 g9 g8 [1463] |
| -1100- 1 |
| 011--1 1 |
| -11-01 1 |
| -11110 1 |
| 11-100 1 |
| .names g7 g6 g4 g10 g12 g9 g8 [1468] |
| 0111010 1 |
| .names g7 g10 g2 g9 g8 [59] [1396] [1397] [1469] |
| --1--1-1 1 |
| 10101-1- 1 |
| 01110-1- 1 |
| .names g3 g2 g12 ng553 [83] [84] [85] [1389] [1473] |
| ----1--- 1 |
| 0001-1-1 1 |
| 0001--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 |
| .names g12 g13 ng32 n_n58 [190] [1480] [1481] [1482] |
| 0010-1- 1 |
| 01-01-1 1 |
| .end |
