| .model top |
| .inputs pg7 pg6 pg5 pg4 pg3 pg2 pg1 pg0 pg9 pg8 pclk pg10 pg12 pg11 pg13 |
| .outputs pg550 pg530 pg539 pg549 pg45 pg542 pg532 pg537 pg548 pg551 pg547 \ |
| pg552 pg535 pg546 |
| .latch ng511 ng38 re pclk 2 |
| .latch ng507 ng34 re pclk 2 |
| .latch ng508 ng35 re pclk 2 |
| .latch ng509 ng36 re pclk 2 |
| .latch ng510 ng37 re pclk 2 |
| .latch ng503 ng30 re pclk 2 |
| .latch ng504 ng31 re pclk 2 |
| .latch ng505 ng32 re pclk 2 |
| .latch ng506 ng33 re pclk 2 |
| .latch ng502 ng29 re pclk 2 |
| .latch ng512 ng39 re pclk 2 |
| .latch ng513 ng40 re pclk 2 |
| .latch ng514 ng41 re pclk 2 |
| .latch ng515 ng42 re pclk 2 |
| .latch ng516 ng43 re pclk 2 |
| .latch ng517 ng44 re pclk 2 |
| .latch ng518 pg45 re pclk 2 |
| .latch ng519 ng46 re pclk 2 |
| .names pg3 ng29 [88] [140] [283] [285] [1291] pg550 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 1-1---- 1 |
| -0-1--- 1 |
| .names pg5 pg4 pg3 pg2 [140] [277] [278] pg530 |
| -----1- 1 |
| ------1 1 |
| 10111-- 1 |
| .names [76] [133] [273] pg539 |
| --1 1 |
| 11- 1 |
| .names [88] [96] [78] [265] [266] [1214] [1302] pg549 |
| 1------ 1 |
| -1----- 1 |
| ---1--- 1 |
| ----1-- 1 |
| --0--11 1 |
| .names pg7 pg9 pg8 pg10 ng34 [193] [257] pg542 |
| ------1 1 |
| 10-11-- 1 |
| 1-011-- 1 |
| 11-0-0- 1 |
| 11101-- 1 |
| .names pg12 [80] [166] [249] [251] [1319] [1322] pg532 |
| -1----- 1 |
| ------1 1 |
| 0--1--- 1 |
| 0---1-- 1 |
| 0-1--1- 1 |
| .names pg2 pg12 [125] [229] [230] [231] pg537 |
| --1--- 1 |
| -0-1-- 1 |
| 10--1- 1 |
| 10---1 1 |
| .names pg7 pg9 pg8 pg10 pg11 ng34 [120] pg548 |
| ------1 1 |
| 001-11- 1 |
| 110-11- 1 |
| 10-111- 1 |
| 0-1111- 1 |
| 11-011- 1 |
| .names [140] [100] [102] [103] [105] [1336] pg551 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| 1----1 1 |
| .names pg7 pg9 pg8 pg10 ng34 [85] pg547 |
| -----1 1 |
| 110-1- 1 |
| 11-01- 1 |
| 01111- 1 |
| .names pg6 pg4 [184] [183] [72] pg552 |
| ----1 1 |
| 1-1-- 1 |
| 11-1- 1 |
| .names pg12 [80] [189] [57] [65] [66] [67] pg535 |
| -1----- 1 |
| ---1--- 1 |
| 0---1-- 1 |
| 0-1--1- 1 |
| 0-1---1 1 |
| .names ng41 pg546 |
| 0 1 |
| .names pg7 pg4 pg0 pg10 ng511 |
| 1000 1 |
| .names pg12 pg13 ng32 ng523 ng534 ng507 |
| 001-1 1 |
| 01-11 1 |
| .names pg7 pg6 pg9 pg8 pg10 ng508 |
| 01101 1 |
| 11010 1 |
| 10000 1 |
| .names pg7 pg5 pg9 pg8 pg10 pg11 ng509 |
| 00-000 1 |
| 101111 1 |
| .names pg6 pg9 ng510 |
| 01 1 |
| 10 1 |
| .names pg9 pg10 pg11 ng503 |
| -1- 1 |
| 0-1 1 |
| .names pg7 pg9 pg10 pg11 ng504 |
| -01- 1 |
| 0--1 1 |
| --10 1 |
| .names pg6 pg5 pg4 pg3 pg2 ng505 |
| 01--1 1 |
| -01-1 1 |
| -10-1 1 |
| -1-01 1 |
| -1-10 1 |
| 1-010 1 |
| .names pg5 pg4 pg2 pg12 ng311 [78] ng506 |
| 1---0- 1 |
| -0--0- 1 |
| --0-0- 1 |
| ---10- 1 |
| ----01 1 |
| .names pg5 pg4 pg3 pg2 pg1 ng502 |
| 0-0-- 1 |
| -10-- 1 |
| --00- 1 |
| --0-1 1 |
| ---11 1 |
| 00-1- 1 |
| 01-0- 1 |
| 01--1 1 |
| .names pg5 pg3 pg2 ng512 |
| 0-1 1 |
| -01 1 |
| 110 1 |
| .names pg6 pg9 pg8 pg10 pg11 ng360 ng513 |
| 0----0 1 |
| -0---0 1 |
| --0--0 1 |
| ---1-0 1 |
| ----00 1 |
| .names pg7 pg9 pg8 pg10 ng34 [193] [214] ng514 |
| 0-0---1 1 |
| -00---1 1 |
| --01--1 1 |
| 0--0--1 1 |
| -0-0--1 1 |
| 0---0-1 1 |
| -0--0-1 1 |
| ---10-1 1 |
| --0--11 1 |
| ----011 1 |
| 11-1--1 1 |
| .names pg7 pg6 pg9 pg8 pg10 pg11 ng515 |
| -----0 1 |
| 00---- 1 |
| 0-00-- 1 |
| -01-0- 1 |
| 0-0-0- 1 |
| 111-1- 1 |
| -1010- 1 |
| .names pg6 pg5 pg4 pg3 pg2 pg1 ng516 |
| ---0-- 1 |
| ----00 1 |
| 000--- 1 |
| 00--0- 1 |
| 00---0 1 |
| -01--0 1 |
| -00-11 1 |
| 111-11 1 |
| .names pg7 pg9 pg8 pg10 pg11 [318] [1258] ng517 |
| 10----- 1 |
| 0-1---- 1 |
| -01---- 1 |
| 1-0---- 1 |
| 1--0--- 1 |
| --10--- 1 |
| 1---0-- 1 |
| --1-0-- 1 |
| 0----1- 1 |
| -0---1- 1 |
| --0--1- 1 |
| ---0-1- 1 |
| ----01- 1 |
| 1-----1 1 |
| --1---1 1 |
| -----11 1 |
| .names pg12 [76] [133] [222] ng518 |
| -01- 1 |
| 0--1 1 |
| .names pg7 pg6 pg10 ng30 ng460 [217] ng519 |
| -1--01 1 |
| 1-1-01 1 |
| 1--101 1 |
| .names pg5 pg3 ng134 |
| 0- 1 |
| -0 1 |
| .names pg11 [224] [223] [344] [1238] [1247] [1290] [88] |
| 10-0011 1 |
| 0-00011 1 |
| -000011 1 |
| .names pg3 pg13 ng33 [96] |
| 100 1 |
| .names pg0 pg11 [224] [223] [344] [1238] [1247] [140] |
| 110-001 1 |
| 10-0001 1 |
| 1-00001 1 |
| .names pg5 pg4 pg2 [149] |
| 011 1 |
| .names ng134 ng213 [316] [1276] [1277] [1280] [1281] [76] |
| ------1 1 |
| 1--0--- 1 |
| 1---0-- 1 |
| -100--- 1 |
| -10-0-- 1 |
| --00-0- 1 |
| --0-00- 1 |
| .names pg12 pg11 pg13 [224] [223] [344] [1238] [133] |
| 1-0--1- 1 |
| 1-0---1 1 |
| 1101--- 1 |
| 100-1-- 1 |
| .names pg6 pg5 pg4 pg3 pg2 [157] |
| -10-- 1 |
| -01-1 1 |
| --001 1 |
| -1-10 1 |
| 1110- 1 |
| .names pg13 [78] [300] [301] [305] [1265] [1314] [80] |
| 1-1---1 1 |
| 1--1--1 1 |
| 01--1-1 1 |
| 01---11 1 |
| .names pg5 pg4 pg3 pg2 pg1 [162] |
| 010-- 1 |
| -101- 1 |
| -01-1 1 |
| --001 1 |
| -1-10 1 |
| 1110- 1 |
| .names pg6 pg5 pg4 pg3 pg2 [174] |
| -01-- 1 |
| 1-10- 1 |
| --110 1 |
| 10-10 1 |
| .names pg7 pg6 pg9 pg8 pg10 pg11 [180] |
| 101-1- 1 |
| 111-0- 1 |
| -1100- 1 |
| -110-1 1 |
| 01111- 1 |
| 01-101 1 |
| .names pg12 pg13 ng32 ng523 ng534 [186] [185] [184] |
| 001-11- 1 |
| 01-11-1 1 |
| .names pg12 pg13 ng32 [104] ng523 ng534 [145] [183] |
| 01-111- 1 |
| 001--11 1 |
| .names pg7 pg9 pg8 pg10 ng273 |
| 0101 1 |
| 1010 1 |
| .names pg5 pg2 [104] |
| 0- 1 |
| -0 1 |
| .names pg4 pg2 pg1 [139] |
| 010 1 |
| .names pg6 pg5 pg4 pg3 pg2 pg1 ng523 |
| -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 pg11 [224] [223] [344] [1238] [1243] ng311 |
| 10-001 1 |
| 0-0001 1 |
| -00001 1 |
| .names pg6 pg11 [224] [223] [344] [1238] [1247] [193] |
| 0------ 1 |
| ----1-- 1 |
| -----1- 1 |
| ------0 1 |
| -11---- 1 |
| -0-1--- 1 |
| .names pg7 pg9 pg8 pg10 pg11 ng30 ng32 [78] |
| ------0 1 |
| 0-0---- 1 |
| 0----0- 1 |
| 10-0--- 1 |
| -000--- 1 |
| -0-0-0- 1 |
| 11111-- 1 |
| -11110- 1 |
| .names pg7 pg6 pg9 pg8 pg11 ng30 ng31 ng360 |
| -1-1--1 1 |
| 10-1-1- 1 |
| 11110-- 1 |
| .names pg7 pg9 pg8 pg10 pg11 ng30 ng534 |
| 10-1-- 1 |
| 1-01-- 1 |
| 11-0-- 1 |
| 1--10- 1 |
| 0-1--1 1 |
| .names pg5 pg4 pg3 pg2 pg1 pg0 ng460 |
| 00110- 1 |
| 0001-1 1 |
| -00111 1 |
| 111111 1 |
| .names pg7 pg6 pg9 pg8 pg10 [144] |
| 10000 1 |
| .names pg7 pg9 pg8 pg10 pg11 ng213 |
| 0---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names pg6 pg4 pg3 [107] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names pg11 [224] [223] [344] [1238] [1247] [1248] [214] |
| ---1--- 1 |
| ----1-- 1 |
| -----0- 1 |
| ------1 1 |
| 11----- 1 |
| 0-1---- 1 |
| .names pg5 pg4 pg3 pg2 pg1 pg0 [217] |
| ----1- 1 |
| 1-1--1 1 |
| -01--1 1 |
| --11-1 1 |
| 010--1 1 |
| 01-1-1 1 |
| -101-1 1 |
| 1--101 1 |
| .names pg13 [78] [68] [300] [301] [305] [1265] [222] |
| 1-11--- 1 |
| 1-1-1-- 1 |
| 01---1- 1 |
| 01----1 1 |
| .names pg6 pg5 pg4 pg3 pg2 pg1 ng534 [68] |
| ------0 1 |
| ----00- 1 |
| 000---- 1 |
| 00---0- 1 |
| -01--0- 1 |
| 00-10-- 1 |
| 1-000-- 1 |
| 01100-- 1 |
| -00111- 1 |
| 111111- 1 |
| .names pg7 pg6 pg9 pg8 pg10 ng30 ng31 [224] |
| -0---0- 1 |
| 0-00--- 1 |
| 0-01--0 1 |
| -101--0 1 |
| 0--11-0 1 |
| -1-11-0 1 |
| --01-00 1 |
| ---1100 1 |
| .names pg7 pg6 pg9 pg8 pg10 ng30 ng31 [223] |
| 0-101-- 1 |
| 0-000-- 1 |
| -1000-- 1 |
| --0000- 1 |
| 0-11--0 1 |
| 0-0-0-0 1 |
| -10-0-0 1 |
| --0-000 1 |
| .names pg7 pg9 pg8 pg10 pg11 [227] |
| 11111 1 |
| 01000 1 |
| .names pg3 pg2 [145] |
| 01 1 |
| .names pg13 [78] [107] [300] [301] [305] [1265] [166] |
| 1--1--- 1 |
| 1---1-- 1 |
| 010--1- 1 |
| 010---1 1 |
| .names pg7 pg6 pg5 pg4 pg9 pg10 pg11 [165] |
| -0-0--- 1 |
| 1111001 1 |
| .names pg7 pg8 ng213 [171] [236] [1329] [170] |
| ----1- 1 |
| --0--1 1 |
| 00-1-- 1 |
| .names pg6 pg5 pg4 pg9 pg10 pg11 [171] |
| 000-00 1 |
| 111111 1 |
| .names pg5 pg4 pg3 pg2 [186] |
| 01-1 1 |
| 10-1 1 |
| 1-10 1 |
| -010 1 |
| .names pg5 pg4 pg3 pg2 pg1 [185] |
| 1-1-- 1 |
| -0-1- 1 |
| ---10 1 |
| .names pg7 pg9 pg10 [189] |
| -10 1 |
| 100 1 |
| .names ng38 ng37 [133] [1324] [57] |
| 1111 1 |
| .names pg3 pg13 ng44 [78] [305] [1265] [65] |
| 00011- 1 |
| 0001-1 1 |
| .names pg13 [78] [308] [309] [1260] [1265] [1352] [66] |
| 01---11 1 |
| 011-1-1 1 |
| 01-11-1 1 |
| .names pg6 pg5 pg4 pg13 [300] [301] [67] |
| 10111- 1 |
| 1011-1 1 |
| .names pg11 ng40 [224] [223] [344] [1238] [1247] [72] |
| 100-001 1 |
| 00-0001 1 |
| -000001 1 |
| .names pg11 [180] [224] [223] [344] [1238] [1247] [85] |
| 110-001 1 |
| 01-0001 1 |
| -100001 1 |
| .names pg11 [224] [223] [344] [1238] [1247] [1335] [100] |
| 10-0011 1 |
| 0-00011 1 |
| -000011 1 |
| .names pg4 pg2 pg1 pg12 pg13 ng523 ng534 [102] |
| 1100111 1 |
| .names pg4 pg12 pg13 ng39 [78] [103] |
| 10010 1 |
| .names pg1 pg12 pg13 [174] ng523 ng534 [105] |
| 101111 1 |
| .names pg11 ng42 [224] [223] [344] [1238] [1247] [120] |
| 100-001 1 |
| 00-0001 1 |
| -000001 1 |
| .names [133] [1324] [1326] [125] |
| 111 1 |
| .names pg13 [78] [170] [308] [309] [1260] [1265] [229] |
| 011---1 1 |
| 0111-1- 1 |
| 011-11- 1 |
| .names pg13 [78] [300] [301] [305] [1265] [1327] [230] |
| 1-1---1 1 |
| 1--1--1 1 |
| 01--1-1 1 |
| 01---11 1 |
| .names pg2 pg1 pg13 [227] [300] [1264] [1328] [231] |
| --1-1-1 1 |
| 1111-11 1 |
| .names pg7 pg6 pg4 pg3 pg9 pg8 pg10 [236] |
| 0111101 1 |
| 1111010 1 |
| .names pg13 [78] [300] [301] [305] [1265] [1318] [249] |
| 1-1---1 1 |
| 1--1--1 1 |
| 01--1-1 1 |
| 01---11 1 |
| .names pg3 pg13 [78] [165] [305] [1265] [251] |
| 00111- 1 |
| 0011-1 1 |
| .names pg11 [224] [223] [344] [1238] [1247] [1311] [257] |
| 10-0011 1 |
| 0-00011 1 |
| -000011 1 |
| .names pg11 [224] [223] [344] [1238] [1247] [1303] [265] |
| 10-0011 1 |
| 0-00011 1 |
| -000011 1 |
| .names pg1 pg12 pg13 [157] ng523 ng534 [266] |
| 101111 1 |
| .names pg12 [300] [301] [305] [1265] [1300] [1301] [273] |
| 0--001- 1 |
| 000---1 1 |
| .names pg11 [224] [223] [344] [1238] [1247] [1296] [277] |
| 10-0011 1 |
| 0-00011 1 |
| -000011 1 |
| .names pg3 pg13 [78] [305] [1265] [1297] [278] |
| 0011-1 1 |
| 001-11 1 |
| .names pg12 pg13 ng523 ng534 [1288] [283] |
| 01111 1 |
| .names pg1 pg12 pg13 [149] ng523 ng534 [285] |
| 101111 1 |
| .names ng273 [139] [144] [310] [1268] [1269] [1271] [300] |
| -11---1 1 |
| 1---1-1 1 |
| 1----11 1 |
| ---1-11 1 |
| .names pg6 pg5 pg4 pg3 pg2 pg1 [227] [301] |
| 1111111 1 |
| .names pg5 pg4 pg3 pg2 pg11 ng35 [308] [305] |
| 0-1-1-1 1 |
| 001111- 1 |
| .names pg7 pg6 pg4 pg2 pg9 pg8 pg10 [308] |
| 0110101 1 |
| 0110110 1 |
| 1110010 1 |
| .names pg4 pg2 ng35 [309] |
| 011 1 |
| .names pg7 pg9 pg8 pg10 [310] |
| 0110 1 |
| .names pg6 ng36 [313] |
| 01 1 |
| .names pg7 pg4 pg0 pg8 pg10 pg11 ng37 [316] |
| 1001011 1 |
| .names pg6 pg5 pg4 pg9 pg10 pg11 [318] |
| 01---- 1 |
| 10---- 1 |
| 1-0--- 1 |
| -10--- 1 |
| 0--1-- 1 |
| -0-1-- 1 |
| --01-- 1 |
| 1--0-- 1 |
| -1-0-- 1 |
| 0---1- 1 |
| -0--1- 1 |
| --0-1- 1 |
| ---01- 1 |
| 1---0- 1 |
| -1--0- 1 |
| ---10- 1 |
| 0----1 1 |
| -0---1 1 |
| --0--1 1 |
| ---0-1 1 |
| ----01 1 |
| 1----0 1 |
| -1---0 1 |
| ---1-0 1 |
| ----10 1 |
| .names pg5 pg4 pg3 [344] |
| 000 1 |
| .names pg13 pg12 [1214] |
| 00 1 |
| .names pg4 pg3 pg0 ng46 [1238] |
| ---0 1 |
| 010- 1 |
| .names pg4 pg1 pg0 pg12 [1243] |
| 0111 1 |
| .names pg13 pg12 [1247] |
| 01 1 |
| .names pg7 pg6 pg9 pg10 [1248] |
| 0--- 1 |
| ---0 1 |
| -11- 1 |
| .names pg6 pg5 pg4 [1258] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pg5 pg3 pg11 [1260] |
| 011 1 |
| .names pg6 pg5 pg4 pg11 [1261] |
| 1111 1 |
| .names pg6 pg5 pg4 pg3 [1264] |
| 1111 1 |
| .names pg3 pg2 ng273 [227] [313] [1261] [1264] [1265] |
| 00--1-- 1 |
| -1-1--1 1 |
| 001--1- 1 |
| .names pg6 pg4 pg2 pg1 [1268] |
| 1011 1 |
| .names pg6 pg4 pg2 pg1 [1269] |
| 1110 1 |
| .names pg5 pg3 pg11 [1271] |
| 011 1 |
| .names pg6 pg4 pg3 pg0 [1276] |
| 1000 1 |
| .names pg7 pg5 pg9 pg8 pg10 pg11 [1277] |
| 000011 1 |
| .names pg6 pg4 pg0 [1280] |
| 111 1 |
| .names pg1 pg2 [1281] |
| 0- 1 |
| -0 1 |
| .names pg5 pg4 pg2 pg1 [1288] |
| 101- 1 |
| 1-10 1 |
| .names pg5 pg4 pg3 pg2 [1289] |
| 101- 1 |
| 1-10 1 |
| .names pg4 pg1 pg0 [1290] |
| 110 1 |
| .names pg3 pg12 pg13 ng33 [78] [1289] [1291] |
| 1-00-- 1 |
| -00-01 1 |
| .names pg5 pg4 pg3 pg2 pg1 pg0 [1296] |
| ---110 1 |
| 0-111- 1 |
| 01-1-1 1 |
| -101-1 1 |
| 1--101 1 |
| .names pg6 pg5 pg4 pg12 pg11 ng36 ng273 [1297] |
| 0--0-1- 1 |
| 11101-1 1 |
| .names [78] pg13 [1300] |
| 10 1 |
| .names pg13 ng523 ng534 [1301] |
| 10- 1 |
| 1-0 1 |
| .names pg5 pg4 pg3 pg2 [1302] |
| 10-1 1 |
| 1-01 1 |
| .names pg4 pg3 pg1 [1303] |
| 101 1 |
| .names pg7 pg6 pg9 pg8 pg10 pg11 [1311] |
| -10-1- 1 |
| 1100-- 1 |
| 01-11- 1 |
| -1-011 1 |
| .names pg7 pg6 pg4 pg9 pg8 pg10 pg12 [1314] |
| 0101010 1 |
| 1100100 1 |
| .names pg7 pg6 pg5 pg9 pg8 pg10 pg11 [1318] |
| 0111000 1 |
| .names pg9 pg8 pg10 pg11 [1319] |
| 1011 1 |
| .names pg12 pg13 ng43 [140] [162] ng523 ng534 [1322] |
| ---11-- 1 |
| 010--11 1 |
| .names ng134 ng213 [316] [1276] [1277] [1280] [1281] [1324] |
| 0-1---0 1 |
| 0--11-0 1 |
| 00---10 1 |
| .names pg7 pg6 pg2 pg9 pg10 ng38 [1326] |
| 1-1-1- 1 |
| -110-1 1 |
| .names pg7 pg6 pg5 pg3 pg9 pg8 pg10 [1327] |
| --11-1- 1 |
| 11--010 1 |
| .names pg7 pg6 pg4 pg3 pg9 pg8 pg10 [1328] |
| 0111101 1 |
| 1111010 1 |
| .names pg6 pg5 pg4 [1329] |
| 001 1 |
| .names pg5 pg4 pg3 pg2 pg1 pg0 [1335] |
| 110-1- 1 |
| 1-001- 1 |
| 11--10 1 |
| 1-0-10 1 |
| 1101-1 1 |
| .names pg5 pg4 pg3 pg1 [1336] |
| 101- 1 |
| 1-10 1 |
| .names pg6 pg5 pg4 pg3 pg11 [1352] |
| 10111 1 |
| .end |
