| .model top |
| .inputs p_10 p_12 p_11 pclk p_9 p_8 p_7 p_6 p_5 p_4 p_3 p_2 p_1 |
| .outputs p_40 p_45 p_46 p_47 p_41 p_42 p_43 p_44 p_39 |
| .latch n_57 n_22 re pclk 2 |
| .latch n_556 n_18 re pclk 2 |
| .latch n_561 n_19 re pclk 2 |
| .latch n_566 n_20 re pclk 2 |
| .latch n_571 n_21 re pclk 2 |
| .latch n_536 n_14 re pclk 2 |
| .latch n_541 n_15 re pclk 2 |
| .latch n_546 n_16 re pclk 2 |
| .latch n_551 n_17 re pclk 2 |
| .latch n_531 n_13 re pclk 2 |
| .latch n_58 n_23 re pclk 2 |
| .latch n_675 n_34 re pclk 2 |
| .latch n_59 n_24 re pclk 2 |
| .latch n_667 n_33 re pclk 2 |
| .latch n_60 n_25 re pclk 2 |
| .latch n_691 n_36 re pclk 2 |
| .latch n_61 n_26 re pclk 2 |
| .latch n_683 n_35 re pclk 2 |
| .latch n_62 n_27 re pclk 2 |
| .latch n_710 n_38 re pclk 2 |
| .latch n_63 n_28 re pclk 2 |
| .latch n_699 n_37 re pclk 2 |
| .latch n_64 n_29 re pclk 2 |
| .latch n_643 n_30 re pclk 2 |
| .latch n_651 n_31 re pclk 2 |
| .latch n_659 n_32 re pclk 2 |
| .names n_436 [137] [210] [1181] p_40 |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names n_452 n_451 n_450 n_776 [1186] p_45 |
| ----1 1 |
| 1111- 1 |
| 0011- 1 |
| 0101- 1 |
| 1001- 1 |
| .names p_11 p_3 p_2 p_1 n_20 [183] p_46 |
| -----1 1 |
| --001- 1 |
| 1110-- 1 |
| .names p_12 p_3 p_2 p_1 n_21 [179] p_47 |
| -----1 1 |
| --001- 1 |
| 1110-- 1 |
| .names n_776 n_440 n_438 n_439 [1193] p_41 |
| ----1 1 |
| 1111- 1 |
| 1001- 1 |
| 1010- 1 |
| 1100- 1 |
| .names [167] [1201] p_42 |
| 1- 1 |
| -1 1 |
| .names n_776 n_446 n_444 n_445 [1203] p_43 |
| ----1 1 |
| 1111- 1 |
| 1001- 1 |
| 1010- 1 |
| 1100- 1 |
| .names [81] [1207] p_44 |
| 1- 1 |
| -1 1 |
| .names n_776 n_434 n_433 [219] [220] [1209] p_39 |
| -----1 1 |
| 1111-- 1 |
| 1001-- 1 |
| 111-1- 1 |
| 100-1- 1 |
| 10100- 1 |
| 11000- 1 |
| .names p_4 n_22 n_776 [111] n_83 n_57 |
| --0-- 1 |
| -111- 1 |
| 1-10- 1 |
| --111 1 |
| .names p_9 p_2 p_1 n_18 n_556 |
| 110- 1 |
| -001 1 |
| .names p_10 p_2 p_1 n_19 n_561 |
| 110- 1 |
| -001 1 |
| .names p_11 p_2 p_1 n_20 n_566 |
| 110- 1 |
| -001 1 |
| .names p_12 p_2 p_1 n_21 n_571 |
| 110- 1 |
| -001 1 |
| .names p_5 p_2 p_1 n_14 n_536 |
| 110- 1 |
| -001 1 |
| .names p_6 p_2 p_1 n_15 n_541 |
| 110- 1 |
| -001 1 |
| .names p_7 p_2 p_1 n_16 n_546 |
| 110- 1 |
| -001 1 |
| .names p_8 p_2 p_1 n_17 n_551 |
| 110- 1 |
| -001 1 |
| .names p_4 p_2 p_1 n_13 n_531 |
| 110- 1 |
| -001 1 |
| .names p_5 n_23 n_776 [111] n_83 n_58 |
| --0-- 1 |
| -111- 1 |
| 1-10- 1 |
| --111 1 |
| .names p_8 n_34 n_776 [97] n_83 n_675 |
| 1-11- 1 |
| -1100 1 |
| .names p_6 n_24 n_776 [111] n_83 n_59 |
| --0-- 1 |
| -111- 1 |
| 1-10- 1 |
| --111 1 |
| .names p_7 n_33 n_776 [97] n_83 n_667 |
| 1-11- 1 |
| -1100 1 |
| .names p_7 n_25 n_776 [111] n_83 n_60 |
| --0-- 1 |
| -111- 1 |
| 1-10- 1 |
| --111 1 |
| .names p_10 n_36 n_776 [97] n_83 n_691 |
| 1-11- 1 |
| -1100 1 |
| .names p_8 n_26 n_776 [111] n_83 n_61 |
| --0-- 1 |
| -111- 1 |
| 1-10- 1 |
| --111 1 |
| .names p_9 n_35 n_776 [97] n_83 n_683 |
| 1-11- 1 |
| -1100 1 |
| .names p_9 n_27 n_776 [111] n_83 n_62 |
| --0-- 1 |
| -111- 1 |
| 1-10- 1 |
| --111 1 |
| .names p_12 p_2 p_1 n_455 [1174] n_710 |
| ----1 1 |
| 1101- 1 |
| .names p_10 n_28 n_776 [111] n_83 n_63 |
| --0-- 1 |
| -111- 1 |
| 1-10- 1 |
| --111 1 |
| .names p_11 n_37 n_776 [97] n_83 n_699 |
| 1-11- 1 |
| -1100 1 |
| .names p_11 n_29 n_776 [111] n_83 n_64 |
| --0-- 1 |
| -111- 1 |
| 1-10- 1 |
| --111 1 |
| .names p_4 n_30 n_776 [97] [63] n_643 |
| 1-11- 1 |
| -10-0 1 |
| -1-00 1 |
| .names p_5 n_31 n_776 [97] n_83 n_651 |
| 1-11- 1 |
| -1100 1 |
| .names p_6 n_32 n_776 [97] n_83 n_659 |
| 1-11- 1 |
| -1100 1 |
| .names p_12 p_11 n_776 [117] [154] [153] [69] |
| 1-10-- 1 |
| 111--0 1 |
| 111-11 1 |
| 0110-0 1 |
| 101-10 1 |
| 011011 1 |
| 001010 1 |
| .names p_8 n_26 n_776 [111] n_83 n_443 |
| -111- 1 |
| 1-10- 1 |
| --111 1 |
| .names p_12 p_11 n_776 [145] [147] [99] [92] |
| 1-11-- 1 |
| 01111- 1 |
| 11101- 1 |
| 001111 1 |
| 101011 1 |
| 011101 1 |
| 111001 1 |
| .names p_10 n_36 n_776 [97] n_83 n_448 |
| 1-11- 1 |
| -1100 1 |
| .names n_21 n_38 [73] |
| 1- 1 |
| -1 1 |
| .names n_21 n_38 n_418 [63] [245] n_454 |
| ----1 1 |
| 1-00- 1 |
| -100- 1 |
| .names p_12 p_11 n_776 [117] [154] [153] n_455 |
| 10110- 1 |
| 1011-1 1 |
| 1111-0 1 |
| 111111 1 |
| 111101 1 |
| 101110 1 |
| .names n_29 [69] n_83 [229] n_452 |
| ---1 1 |
| 11-- 1 |
| -11- 1 |
| .names n_37 n_418 [63] [233] n_451 |
| ---1 1 |
| 100- 1 |
| .names n_448 n_446 n_444 n_445 n_449 n_450 |
| 1---1 1 |
| 111-- 1 |
| 11-1- 1 |
| 1-11- 1 |
| -11-1 1 |
| -1-11 1 |
| --111 1 |
| .names p_3 p_2 p_1 n_776 |
| 010 1 |
| .names p_12 p_11 n_37 [73] [63] [99] [97] |
| 1--0-- 1 |
| 1---1- 1 |
| 01--1- 1 |
| 0100-- 1 |
| 00--11 1 |
| 11010- 1 |
| 0000-1 1 |
| 111101 1 |
| 100101 1 |
| 011001 1 |
| .names p_12 p_11 n_776 [145] [147] [99] n_418 |
| 1-11-- 1 |
| 01111- 1 |
| 11101- 1 |
| 001111 1 |
| 101011 1 |
| 011101 1 |
| 111001 1 |
| .names p_5 n_23 n_776 [111] n_83 n_434 |
| -111- 1 |
| 1-10- 1 |
| --111 1 |
| .names p_5 n_31 n_776 [97] n_83 n_433 |
| 1-11- 1 |
| -1100 1 |
| .names p_7 n_25 n_776 [111] n_83 n_440 |
| -111- 1 |
| 1-10- 1 |
| --111 1 |
| .names p_6 n_32 n_776 [97] n_83 n_436 |
| 1-11- 1 |
| -1100 1 |
| .names p_6 n_24 n_776 [111] n_83 n_437 |
| -111- 1 |
| 1-10- 1 |
| --111 1 |
| .names n_434 n_433 n_436 n_437 [219] [220] n_438 |
| --11-- 1 |
| 111--- 1 |
| 11-1-- 1 |
| 1-1-1- 1 |
| -11-1- 1 |
| 1--11- 1 |
| -1-11- 1 |
| 1-1--1 1 |
| -11--1 1 |
| 1--1-1 1 |
| -1-1-1 1 |
| .names p_9 n_27 n_776 [111] n_83 n_446 |
| -111- 1 |
| 1-10- 1 |
| --111 1 |
| .names n_443 n_440 n_438 n_442 n_439 n_444 |
| 1--1- 1 |
| 111-- 1 |
| -111- 1 |
| 11--1 1 |
| 1-1-1 1 |
| -1-11 1 |
| --111 1 |
| .names p_9 n_35 n_776 [97] n_83 n_445 |
| 1-11- 1 |
| -1100 1 |
| .names p_8 n_34 n_776 [97] n_83 n_442 |
| 1-11- 1 |
| -1100 1 |
| .names p_12 p_11 n_776 [117] [154] [153] [111] |
| 1-0--- 1 |
| 1--0-- 1 |
| 010--- 1 |
| 11---0 1 |
| 000-1- 1 |
| 01-0-0 1 |
| 10--10 1 |
| 111-11 1 |
| 00-010 1 |
| 011011 1 |
| .names p_12 p_11 n_776 [117] [154] [153] n_428 |
| 1-10-- 1 |
| 111--0 1 |
| 111-11 1 |
| 0110-0 1 |
| 101-10 1 |
| 011011 1 |
| 001010 1 |
| .names n_35 [63] [116] |
| 0- 1 |
| -1 1 |
| .names p_10 n_28 n_776 [111] n_83 n_449 |
| -111- 1 |
| 1-10- 1 |
| --111 1 |
| .names [355] [1154] [1155] [1156] [1157] [1158] [117] |
| 1----- 1 |
| -11111 1 |
| .names p_7 n_33 n_776 [97] n_83 n_439 |
| 1-11- 1 |
| -1100 1 |
| .names p_3 p_2 p_1 [123] [122] |
| 1--- 1 |
| -0-- 1 |
| --1- 1 |
| ---0 1 |
| .names p_3 p_2 p_1 [125] [124] |
| 1--- 1 |
| -0-- 1 |
| --1- 1 |
| ---0 1 |
| .names p_3 p_2 p_1 [129] [128] |
| 1--- 1 |
| -0-- 1 |
| --1- 1 |
| ---0 1 |
| .names p_3 p_2 p_1 [134] [133] |
| 1--- 1 |
| -0-- 1 |
| --1- 1 |
| ---0 1 |
| .names n_33 [63] [136] |
| 0- 1 |
| -1 1 |
| .names n_776 n_434 n_433 n_437 [219] [220] [137] |
| 1001-- 1 |
| 1110-- 1 |
| 11-01- 1 |
| 1-101- 1 |
| 11-0-1 1 |
| 1-10-1 1 |
| 10-100 1 |
| 1-0100 1 |
| .names p_8 n_34 [63] n_93 |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names p_8 p_3 p_2 p_1 [141] n_113 |
| 11--- 1 |
| 1-0-- 1 |
| 1--1- 1 |
| 1---0 1 |
| 00101 1 |
| .names p_12 p_3 p_2 p_1 n_21 [74] |
| --001 1 |
| 1110- 1 |
| .names n_32 [63] [142] |
| 0- 1 |
| -1 1 |
| .names n_21 n_38 [144] |
| 11 1 |
| 00 1 |
| .names [1154] [1155] [1156] [1157] [1158] n_83 |
| 11111 1 |
| .names n_21 n_38 [63] [145] |
| --1 1 |
| 00- 1 |
| .names n_36 [63] [146] |
| 0- 1 |
| -1 1 |
| .names n_37 [63] [147] |
| 0- 1 |
| -1 1 |
| .names n_776 [144] [1154] [1155] [1156] [1157] [63] |
| 0----- 1 |
| 111111 1 |
| .names p_10 p_9 [124] [128] [331] [332] [154] |
| 1--1-- 1 |
| 0111-- 1 |
| 1110-- 1 |
| 00111- 1 |
| 01011- 1 |
| 10101- 1 |
| 11001- 1 |
| 0011-1 1 |
| 0101-1 1 |
| 1010-1 1 |
| 1100-1 1 |
| .names p_10 p_9 [116] [146] [274] [275] [99] |
| 1--1-- 1 |
| 0111-- 1 |
| 1110-- 1 |
| 00111- 1 |
| 01011- 1 |
| 10101- 1 |
| 11001- 1 |
| 0011-1 1 |
| 0101-1 1 |
| 1010-1 1 |
| 1100-1 1 |
| .names p_5 p_4 n_30 n_31 [63] [104] |
| 1--0- 1 |
| 1---1 1 |
| 01--1 1 |
| 0100- 1 |
| 11010 1 |
| .names n_23 [1154] [1155] [1156] [1157] [1158] [115] |
| 1----- 1 |
| -11111 1 |
| .names n_24 [1154] [1155] [1156] [1157] [1158] [123] |
| 1----- 1 |
| -11111 1 |
| .names n_27 [1154] [1155] [1156] [1157] [1158] [125] |
| 1----- 1 |
| -11111 1 |
| .names n_28 [1154] [1155] [1156] [1157] [1158] [129] |
| 1----- 1 |
| -11111 1 |
| .names n_25 [1154] [1155] [1156] [1157] [1158] [134] |
| 1----- 1 |
| -11111 1 |
| .names n_26 [1154] [1155] [1156] [1157] [1158] [141] |
| 1----- 1 |
| -11111 1 |
| .names n_29 [1154] [1155] [1156] [1157] [1158] [153] |
| 1----- 1 |
| -11111 1 |
| .names p_5 p_4 n_776 [115] [339] [159] |
| 1-0-- 1 |
| 1--0- 1 |
| 010-- 1 |
| 01-01 1 |
| 11111 1 |
| .names n_448 n_776 n_446 n_444 n_445 n_449 [81] |
| 0100-1 1 |
| 010-01 1 |
| 01-001 1 |
| 0111-0 1 |
| 011-10 1 |
| 01-110 1 |
| .names n_443 n_776 n_440 n_438 n_442 n_439 [167] |
| 11111- 1 |
| 11000- 1 |
| 111-11 1 |
| 11-111 1 |
| 110-00 1 |
| 11-000 1 |
| .names n_454 n_455 n_452 n_451 n_450 n_776 [179] |
| 11---1 1 |
| 1-11-1 1 |
| -111-1 1 |
| 1-1-11 1 |
| -11-11 1 |
| 1--111 1 |
| -1-111 1 |
| .names n_454 n_455 n_452 n_451 n_450 n_776 [183] |
| 1111-1 1 |
| 0011-1 1 |
| 0100-1 1 |
| 1000-1 1 |
| 111-11 1 |
| 001-11 1 |
| 11-111 1 |
| 00-111 1 |
| 010-01 1 |
| 100-01 1 |
| 01-001 1 |
| 10-001 1 |
| .names n_659 n_434 n_433 n_437 [219] [220] [210] |
| 1111-- 1 |
| 1000-- 1 |
| 11-11- 1 |
| 1-111- 1 |
| 11-1-1 1 |
| 1-11-1 1 |
| 10-000 1 |
| 1-0000 1 |
| .names n_22 n_30 n_418 n_428 [63] [219] |
| 11010 1 |
| .names p_4 n_30 [92] n_428 [63] [1179] [220] |
| 1-10-- 1 |
| 1-1--1 1 |
| 11-00- 1 |
| .names p_12 p_11 n_776 [117] [154] [153] [229] |
| 0111-- 1 |
| 011-01 1 |
| -11101 1 |
| .names p_12 p_11 n_776 [145] [147] [99] [233] |
| 1111-- 1 |
| 01111- 1 |
| 11101- 1 |
| 011101 1 |
| 111001 1 |
| .names p_12 p_11 n_776 [145] [147] [99] [245] |
| 1-11-- 1 |
| 11101- 1 |
| 101011 1 |
| 111001 1 |
| .names p_7 p_6 [136] n_93 [142] [104] [274] |
| 1-10-- 1 |
| 01101- 1 |
| 11001- 1 |
| 001011 1 |
| 100011 1 |
| 011001 1 |
| 110001 1 |
| .names p_8 n_34 [63] [275] |
| 10- 1 |
| 1-1 1 |
| .names p_7 p_6 [122] [133] n_113 [159] [331] |
| 1--10- 1 |
| 01110- 1 |
| 11100- 1 |
| 001101 1 |
| 010101 1 |
| 101001 1 |
| 110001 1 |
| .names p_8 p_3 p_2 p_1 [141] [332] |
| 11--- 1 |
| 1-0-- 1 |
| 1--1- 1 |
| 1---0 1 |
| .names n_22 [1154] [1155] [1156] [1157] [1158] [339] |
| 00---- 1 |
| 0-0--- 1 |
| 0--0-- 1 |
| 0---0- 1 |
| 0----0 1 |
| .names n_21 n_38 [355] |
| 11 1 |
| .names n_22 n_23 n_34 n_24 [1154] |
| 1101 1 |
| .names n_33 n_25 n_36 n_26 [1155] |
| 0101 1 |
| .names n_35 n_27 n_28 n_37 [1156] |
| 0110 1 |
| .names n_29 n_30 n_31 n_32 [1157] |
| 1000 1 |
| .names p_3 p_2 p_1 n_21 n_38 [1158] |
| 01011 1 |
| 01000 1 |
| .names p_12 n_21 n_38 n_776 [74] n_83 [1174] |
| ----1- 1 |
| 01-1-0 1 |
| 0-11-0 1 |
| .names n_22 [1154] [1155] [1156] [1157] [1158] [1179] |
| 1----- 1 |
| -11111 1 |
| .names p_5 p_3 p_2 p_1 n_14 [1181] |
| --001 1 |
| 1110- 1 |
| .names p_10 p_3 p_2 p_1 n_19 [1186] |
| --001 1 |
| 1110- 1 |
| .names p_6 p_3 p_2 p_1 n_15 [1193] |
| --001 1 |
| 1110- 1 |
| .names p_8 n_26 n_776 n_442 [111] n_83 [1196] |
| 0-100- 1 |
| -01010 1 |
| .names p_8 n_675 n_26 n_776 [111] n_83 [1197] |
| -1-0-- 1 |
| 01--0- 1 |
| -10-10 1 |
| .names p_7 p_3 p_2 p_1 n_16 [1199] |
| --001 1 |
| 1110- 1 |
| .names n_440 n_438 n_439 [1196] [1197] [1199] [1201] |
| -----1 1 |
| 11-1-- 1 |
| 1-11-- 1 |
| -111-- 1 |
| 00--1- 1 |
| 0-0-1- 1 |
| -00-1- 1 |
| .names p_8 p_3 p_2 p_1 n_17 [1203] |
| --001 1 |
| 1110- 1 |
| .names p_9 p_3 p_2 p_1 n_18 [1206] |
| --001 1 |
| 1110- 1 |
| .names n_691 n_446 n_444 n_445 n_449 [1206] [1207] |
| -----1 1 |
| 111-1- 1 |
| 11-11- 1 |
| 1-111- 1 |
| 100-0- 1 |
| 10-00- 1 |
| 1-000- 1 |
| .names p_4 p_3 p_2 p_1 n_13 [1209] |
| --001 1 |
| 1110- 1 |
| .end |
