| .model top |
| .inputs c_6 c_5 c_4 c_19 c_3 c_29 c_2 c_1 c_0 ck c_13 c_24 c_14 c_23 c_11 c_22 \ |
| c_12 c_21 c_17 c_28 c_31 c_18 c_27 c_32 c_15 c_26 c_16 c_25 clear c_30 c_20 \ |
| c_10 x c_9 c_8 c_7 |
| .outputs w z |
| .latch n_n76 ny_4 re ck 2 |
| .latch n_n152 ny_9 re ck 2 |
| .latch ni765 ny_22 re ck 2 |
| .latch n_n61 ny_16 re ck 2 |
| .latch n_n50 ny_23 re ck 2 |
| .latch n_n60 ny_15 re ck 2 |
| .latch n_n46 ny_28 re ck 2 |
| .latch n_n127 ny_29 re ck 2 |
| .latch ni461 ny_14 re ck 2 |
| .latch n_n137 ny_21 re ck 2 |
| .latch n_n71 ny_8 re ck 2 |
| .latch n_n40 ny_31 re ck 2 |
| .latch n_n162 ny_1 re ck 2 |
| .latch ni1069 ny_30 re ck 2 |
| .latch ni5 ny_2 re ck 2 |
| .latch n_n65 ny_11 re ck 2 |
| .latch n_n51 ny_24 re ck 2 |
| .latch n_n75 ny_3 re ck 2 |
| .latch ni309 ny_10 re ck 2 |
| .latch n_n142 ny_17 re ck 2 |
| .latch n_n66 ny_12 re ck 2 |
| .latch n_n157 ny_5 re ck 2 |
| .latch ni157 ny_6 re ck 2 |
| .latch n_n70 ny_7 re ck 2 |
| .latch n_n147 ny_13 re ck 2 |
| .latch ni917 ny_26 re ck 2 |
| .latch n_n56 ny_20 re ck 2 |
| .latch n_n45 ny_27 re ck 2 |
| .latch n_n55 ny_19 re ck 2 |
| .latch n_n41 ny_32 re ck 2 |
| .latch ni613 ny_18 re ck 2 |
| .latch n_n132 ny_25 re ck 2 |
| .names ny_29 ny_31 ny_30 ny_32 w |
| 1111 1 |
| .names n_n4 n_n0 n_n3 [831] [861] z |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---0- 1 |
| ----1 1 |
| .names clear x ny_4 ny_1 ny_2 ny_3 n_n76 |
| 0110-- 1 |
| 011-0- 1 |
| 011--0 1 |
| 010111 1 |
| .names clear ny_9 ny_8 ny_5 ny_6 ny_7 n_n152 |
| 001111 1 |
| .names clear ny_22 ny_21 ny_17 ny_20 ny_19 ny_18 ni765 |
| 0011111 1 |
| 0101111 1 |
| .names ny_16 ny_15 ny_14 [100] [104] n_n61 |
| 1---1 1 |
| 0111- 1 |
| .names clear ny_22 ny_23 ny_21 ny_17 ny_20 ny_19 ny_18 n_n50 |
| 001-1111 1 |
| 0-101111 1 |
| 01011111 1 |
| .names clear ny_9 ny_15 ny_14 ny_11 ny_10 ny_12 ny_13 n_n60 |
| 0110111- 1 |
| 011-1110 1 |
| 01011111 1 |
| .names ny_28 ny_26 ny_27 [101] [115] n_n46 |
| 1---1 1 |
| 0111- 1 |
| .names clear ny_28 ny_29 ny_26 ny_27 ny_25 n_n127 |
| 010111 1 |
| .names clear ny_9 ny_14 ny_11 ny_10 ny_12 ny_13 ni461 |
| 0101111 1 |
| 0111110 1 |
| .names clear ny_21 ny_17 ny_20 ny_19 ny_18 n_n137 |
| 001111 1 |
| .names ny_8 ny_7 [98] [112] n_n71 |
| 1--1 1 |
| 011- 1 |
| .names clear ny_28 ny_29 ny_31 ny_30 ny_26 ny_27 ny_25 n_n40 |
| 0101-111 1 |
| 01-10111 1 |
| 01101111 1 |
| .names clear x ny_1 n_n162 |
| 010 1 |
| .names clear ny_28 ny_29 ny_30 ny_26 ny_27 ny_25 ni1069 |
| 0101111 1 |
| 0110111 1 |
| .names clear x ny_1 ny_2 ni5 |
| 0101 1 |
| 0110 1 |
| .names clear ny_9 ny_8 ny_11 ny_10 ny_5 ny_6 ny_7 n_n65 |
| 0011-111 1 |
| 0-110111 1 |
| 01101111 1 |
| .names ny_23 ny_24 [94] [107] n_n51 |
| -1-1 1 |
| 101- 1 |
| .names clear x ny_1 ny_2 ny_3 n_n75 |
| 010-1 1 |
| 01-01 1 |
| 01110 1 |
| .names clear ny_9 ny_8 ny_10 ny_5 ny_6 ny_7 ni309 |
| 0011111 1 |
| 0110111 1 |
| .names clear ny_16 ny_15 ny_14 ny_17 ny_13 n_n142 |
| 011101 1 |
| .names ny_11 ny_12 [93] [103] n_n66 |
| -1-1 1 |
| 101- 1 |
| .names clear ny_4 ny_1 ny_2 ny_3 ny_5 n_n157 |
| 011110 1 |
| .names clear ny_4 ny_1 ny_2 ny_3 ny_5 ny_6 ni157 |
| 0111101 1 |
| 0111110 1 |
| .names clear ny_4 ny_1 ny_2 ny_3 ny_5 ny_6 ny_7 n_n70 |
| 011110-1 1 |
| 01111-01 1 |
| 01111110 1 |
| .names clear ny_9 ny_11 ny_10 ny_12 ny_13 n_n147 |
| 011110 1 |
| .names clear ny_22 ny_23 ny_21 ny_24 ny_26 ny_25 ni917 |
| 0111101 1 |
| 0111110 1 |
| .names ny_20 ny_19 [97] [106] n_n56 |
| 1--1 1 |
| 011- 1 |
| .names clear ny_22 ny_23 ny_21 ny_24 ny_26 ny_27 ny_25 n_n45 |
| 0111101- 1 |
| 01111-10 1 |
| 01111101 1 |
| .names clear ny_16 ny_15 ny_14 ny_17 ny_13 ny_19 ny_18 n_n55 |
| 0111011- 1 |
| 0111-110 1 |
| 01111101 1 |
| .names ny_29 ny_31 ny_30 ny_32 n_n38 [114] n_n41 |
| ---1-1 1 |
| 11100- 1 |
| .names clear ny_16 ny_15 ny_14 ny_17 ny_13 ny_18 ni613 |
| 0111011 1 |
| 0111110 1 |
| .names clear ny_22 ny_23 ny_21 ny_24 ny_25 n_n132 |
| 011110 1 |
| .names x ny_4 ny_1 ny_2 ny_3 ny_5 n_n118 |
| 100000 1 |
| .names c_27 ny_28 ny_27 [71] [799] [800] [803] [804] n_n4 |
| -------1 1 |
| 1-1111-- 1 |
| -001111- 1 |
| .names ny_26 ny_25 [71] [799] [802] [837] [839] [843] n_n0 |
| -------1 1 |
| --1---1- 1 |
| 001111-- 1 |
| .names clear ny_9 ny_11 ny_10 ny_12 ny_13 [100] |
| 011111 1 |
| .names clear ny_9 ny_8 ny_10 ny_5 ny_6 ny_7 [93] |
| 0111111 1 |
| .names clear ny_9 ny_8 ny_11 ny_10 ny_5 ny_6 ny_7 [103] |
| 001--111 1 |
| 0-10-111 1 |
| 0-1-0111 1 |
| .names clear ny_9 ny_15 ny_14 ny_11 ny_10 ny_12 ny_13 [104] |
| 010-111- 1 |
| 01-0111- 1 |
| 01--1110 1 |
| .names clear ny_16 ny_15 ny_14 ny_17 ny_13 ny_18 [97] |
| 0111111 1 |
| .names clear ny_22 ny_21 ny_17 ny_20 ny_19 ny_18 [94] |
| 0111111 1 |
| .names clear ny_28 ny_26 ny_27 ny_25 n_n38 |
| 1---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names clear ny_16 ny_15 ny_14 ny_17 ny_13 ny_19 ny_18 [106] |
| 011101-- 1 |
| 0111-10- 1 |
| 0111-1-0 1 |
| .names clear ny_22 ny_23 ny_21 ny_17 ny_20 ny_19 ny_18 [107] |
| 00--1111 1 |
| 0-0-1111 1 |
| 0--01111 1 |
| .names clear ny_22 ny_23 ny_21 ny_24 ny_25 [101] |
| 011111 1 |
| .names n_n118 [786] [788] [789] [790] [791] [796] [797] [71] |
| 11111111 1 |
| .names clear ny_4 ny_1 ny_2 ny_3 ny_5 ny_6 [98] |
| 0111111 1 |
| .names [71] [799] [800] [802] [809] [811] [815] [817] n_n3 |
| -------1 1 |
| 1-----1- 1 |
| 11---1-- 1 |
| 11111--- 1 |
| .names clear ny_4 ny_1 ny_2 ny_3 ny_5 ny_6 ny_7 [112] |
| 011110-- 1 |
| 01111-0- 1 |
| 01111--0 1 |
| .names clear ny_28 ny_29 ny_31 ny_30 ny_26 ny_27 ny_25 [114] |
| 010--111 1 |
| 01-0-111 1 |
| 01--0111 1 |
| .names clear ny_22 ny_23 ny_21 ny_24 ny_26 ny_27 ny_25 [115] |
| 011110-- 1 |
| 01111-0- 1 |
| 01111--0 1 |
| .names ny_8 ny_12 ny_6 ny_7 ny_13 n_n118 [788] [846] [69] |
| 00000111 1 |
| .names n_n118 [786] [788] [789] [790] [791] [796] [850] [81] |
| 11111111 1 |
| .names c_3 x ny_1 ny_2 ny_3 [84] |
| 11001 1 |
| .names c_5 x ny_4 ny_1 ny_2 ny_3 ny_5 [129] |
| 1100001 1 |
| .names n_n118 [786] [788] [789] [790] [791] [796] [821] [130] |
| 11111111 1 |
| .names ny_12 ny_13 n_n118 [786] [788] [790] [791] [823] [132] |
| 00111111 1 |
| .names c_2 x ny_1 ny_2 [135] |
| 1101 1 |
| .names ny_8 ny_6 ny_7 [786] |
| 000 1 |
| .names ny_9 ny_11 ny_10 [788] |
| 000 1 |
| .names ny_13 ny_12 [789] |
| 00 1 |
| .names ny_14 ny_15 [790] |
| 00 1 |
| .names ny_17 ny_16 [791] |
| 00 1 |
| .names c_19 ny_19 ny_18 [793] |
| 110 1 |
| .names c_8 c_7 ny_8 ny_6 ny_7 [795] |
| -1-01 1 |
| 1-100 1 |
| .names ny_18 ny_19 [796] |
| 00 1 |
| .names ny_20 ny_21 [797] |
| 00 1 |
| .names ny_22 ny_23 ny_24 [799] |
| 000 1 |
| .names ny_25 ny_26 [800] |
| 00 1 |
| .names ny_27 ny_28 [802] |
| 00 1 |
| .names ny_29 c_29 [803] |
| 11 1 |
| .names n_n118 [786] [788] [789] [790] [791] [793] [795] [804] |
| 1------1 1 |
| 1111111- 1 |
| .names c_32 ny_29 ny_31 ny_30 ny_32 [809] |
| 10001 1 |
| .names c_26 ny_26 ny_25 [811] |
| 110 1 |
| .names c_24 c_23 ny_22 ny_23 ny_24 [815] |
| -101- 1 |
| 1-001 1 |
| .names c_14 ny_14 ny_12 ny_13 n_n118 [135] [786] [788] [817] |
| -----1-- 1 |
| 11001-11 1 |
| .names ny_20 c_20 [821] |
| 11 1 |
| .names ny_16 c_16 [822] |
| 11 1 |
| .names ny_18 c_18 [823] |
| 11 1 |
| .names ny_12 ny_13 n_n118 [129] [786] [788] [790] [822] [824] |
| ---1---- 1 |
| 001-1111 1 |
| .names c_17 ny_16 ny_17 [828] |
| 0-- 1 |
| -1- 1 |
| --0 1 |
| .names c_0 x n_n118 [786] [788] [789] [790] [828] [829] |
| 0-0----- 1 |
| -00----- 1 |
| 0--0---- 1 |
| -0-0---- 1 |
| 0---0--- 1 |
| -0--0--- 1 |
| 0----0-- 1 |
| -0---0-- 1 |
| 0-----0- 1 |
| -0----0- 1 |
| 0------1 1 |
| -0-----1 1 |
| .names c_25 ny_25 [71] [130] [132] [799] [824] [829] [831] |
| 0--00-01 1 |
| -0-00-01 1 |
| --000-01 1 |
| ---00001 1 |
| .names c_13 ny_12 ny_13 [833] |
| 101 1 |
| .names c_31 c_30 ny_29 ny_31 ny_30 [837] |
| -10-1 1 |
| 1-010 1 |
| .names ny_22 c_22 [839] |
| 11 1 |
| .names c_4 c_1 x ny_4 ny_1 ny_2 ny_3 [841] |
| -11-1-- 1 |
| 1-11000 1 |
| .names c_9 ny_9 ny_11 ny_10 n_n118 [786] [833] [841] [843] |
| -------1 1 |
| 11--11-- 1 |
| -000111- 1 |
| .names c_15 ny_15 ny_14 [846] |
| 110 1 |
| .names c_28 ny_28 ny_27 [848] |
| 110 1 |
| .names c_21 ny_21 ny_20 [850] |
| 110 1 |
| .names c_11 c_10 ny_9 ny_11 ny_10 [852] |
| -10-1 1 |
| 1-010 1 |
| .names ny_6 c_6 [855] |
| 11 1 |
| .names c_12 ny_12 n_n118 [84] [786] [788] [852] [855] [858] |
| ---1---- 1 |
| --1----1 1 |
| --1-1-1- 1 |
| 111-11-- 1 |
| .names ny_26 ny_25 [71] [69] [81] [799] [848] [858] [861] |
| ---1---- 1 |
| ----1--- 1 |
| -------1 1 |
| 001--11- 1 |
| .end |
