| .model top |
| .inputs pc_10 pc_11 pc_12 pp_0 pclk pc_9 pc_8 pc_13 pc_7 pc_14 pc_6 pc_15 pc_5 \ |
| pc_16 pc_4 pc_3 pc_2 pc_1 pc_0 |
| .outputs pz |
| .latch ni209 n_n185 re pclk 2 |
| .latch ni111 n_n182 re pclk 2 |
| .latch ni112 n_n183 re pclk 2 |
| .latch ni113 n_n184 re pclk 2 |
| .latch ni208 n_n76 re pclk 2 |
| .latch ni13 n_n179 re pclk 2 |
| .latch ni14 n_n180 re pclk 2 |
| .latch ni15 n_n181 re pclk 2 |
| .latch ni110 n_n75 re pclk 2 |
| .latch ni12 n_n74 re pclk 2 |
| .latch ni210 n_n186 re pclk 2 |
| .latch ni211 n_n187 re pclk 2 |
| .latch ni306 n_n77 re pclk 2 |
| .latch ni307 n_n78 re pclk 2 |
| .latch ni308 n_n188 re pclk 2 |
| .latch ni309 n_n189 re pclk 2 |
| .names pc_4 n_n74 [35] [77] [365] [370] pz |
| --1--- 1 |
| -----1 1 |
| ---11- 1 |
| 11--1- 1 |
| .names n_n185 n_n182 n_n75 n_n186 n_n187 [38] ni209 |
| 10---- 1 |
| 1-0--- 1 |
| 1--0-- 1 |
| 1---0- 1 |
| 1----1 1 |
| 011110 1 |
| .names n_n182 [38] ni111 |
| 11 1 |
| 00 1 |
| .names pp_0 n_n183 n_n184 n_n179 n_n180 n_n181 n_n74 ni112 |
| 01----- 1 |
| -10---- 1 |
| -1-0--- 1 |
| -1--0-- 1 |
| -1---0- 1 |
| -1----0 1 |
| 1011111 1 |
| .names pp_0 n_n184 n_n179 n_n180 n_n181 n_n74 ni113 |
| 01---- 1 |
| -10--- 1 |
| -1-0-- 1 |
| -1--0- 1 |
| -1---0 1 |
| 101111 1 |
| .names n_n185 n_n182 n_n76 n_n75 n_n186 n_n187 [38] ni208 |
| 0-1---- 1 |
| -01---- 1 |
| --10--- 1 |
| --1-0-- 1 |
| --1--0- 1 |
| --1---1 1 |
| 1101110 1 |
| .names pp_0 n_n179 n_n180 n_n181 ni13 |
| 01-- 1 |
| -10- 1 |
| -1-0 1 |
| 1011 1 |
| .names pp_0 n_n180 n_n181 ni14 |
| 01- 1 |
| -10 1 |
| 101 1 |
| .names pp_0 n_n181 ni15 |
| 01 1 |
| 10 1 |
| .names n_n182 n_n75 [38] ni110 |
| 01- 1 |
| -11 1 |
| 100 1 |
| .names pp_0 n_n179 n_n180 n_n181 n_n74 ni12 |
| 0---1 1 |
| -0--1 1 |
| --0-1 1 |
| ---01 1 |
| 11110 1 |
| .names n_n182 n_n75 n_n186 n_n187 [38] ni210 |
| 0-1-- 1 |
| -01-- 1 |
| --10- 1 |
| --1-1 1 |
| 11010 1 |
| .names n_n182 n_n75 n_n187 [38] ni211 |
| 0-1- 1 |
| -01- 1 |
| --11 1 |
| 1100 1 |
| .names n_n77 n_n78 [40] ni306 |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names n_n78 [40] ni307 |
| 11 1 |
| 00 1 |
| .names n_n186 n_n187 n_n188 n_n189 [38] [355] [356] ni308 |
| 0-1---- 1 |
| -01---- 1 |
| --10--- 1 |
| --1-1-- 1 |
| --1--0- 1 |
| --1---0 1 |
| 1101011 1 |
| .names n_n182 n_n75 n_n186 n_n187 n_n189 [38] [356] ni309 |
| 0---1-- 1 |
| -0--1-- 1 |
| --0-1-- 1 |
| ---01-- 1 |
| ----11- 1 |
| ----1-0 1 |
| 1111001 1 |
| .names n_n182 n_n183 n_n184 n_n179 n_n180 n_n181 n_n74 [49] |
| 0000000 1 |
| .names pp_0 n_n183 n_n184 n_n179 n_n180 n_n181 n_n74 [38] |
| 0------ 1 |
| -0----- 1 |
| --0---- 1 |
| ---0--- 1 |
| ----0-- 1 |
| -----0- 1 |
| ------0 1 |
| .names pc_3 pc_2 pc_1 pc_0 n_n179 n_n180 n_n181 [58] |
| ---1--- 1 |
| --1---1 1 |
| -1---10 1 |
| 1---100 1 |
| .names n_n186 n_n187 n_n188 n_n189 [38] [355] [356] [40] |
| 0------ 1 |
| -0----- 1 |
| --0---- 1 |
| ---0--- 1 |
| ----1-- 1 |
| -----0- 1 |
| ------0 1 |
| .names pc_12 pc_13 n_n76 n_n189 [49] [43] [375] [35] |
| 1-1-1-1 1 |
| --0-111 1 |
| -1011-1 1 |
| .names pc_14 pc_15 pc_16 n_n77 n_n78 n_n188 n_n189 [43] |
| 1----10 1 |
| -1--100 1 |
| --11000 1 |
| .names pc_7 pc_6 pc_5 n_n182 n_n183 n_n184 n_n74 [77] |
| --1--10 1 |
| -1--100 1 |
| 1--1000 1 |
| .names pc_10 pc_11 pc_9 n_n185 n_n75 n_n186 n_n187 [83] |
| --1-0-1 1 |
| 1---010 1 |
| -1-1000 1 |
| .names n_n75 n_n182 [355] |
| 11 1 |
| .names n_n76 n_n185 [356] |
| 11 1 |
| .names pp_0 n_n179 n_n180 n_n181 [365] |
| 1000 1 |
| .names pp_0 pc_8 n_n75 [49] [58] [83] [370] |
| 1---1- 1 |
| 1--1-1 1 |
| 1111-- 1 |
| .names pp_0 n_n185 n_n75 n_n186 n_n187 [375] |
| 10000 1 |
| .end |
