| .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_12 n_n76 n_n155 [41] [376] pz |
| --1-- 1 |
| ---11 1 |
| 11--1 1 |
| .names n_n185 n_n186 [47] ni209 |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names n_n182 n_n183 n_n184 n_n80 ni111 |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names n_n183 n_n184 n_n80 ni112 |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names n_n184 n_n80 ni113 |
| 01 1 |
| 10 1 |
| .names n_n185 n_n76 n_n186 [47] ni208 |
| 01-- 1 |
| -10- 1 |
| -1-1 1 |
| 1010 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_n183 n_n184 n_n75 n_n80 ni110 |
| 0--1- 1 |
| -0-1- 1 |
| --01- 1 |
| ---10 1 |
| 11101 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_n186 [47] ni210 |
| 11 1 |
| 00 1 |
| .names n_n183 n_n184 n_n187 n_n80 [355] ni211 |
| 0-1-- 1 |
| -01-- 1 |
| --10- 1 |
| --1-0 1 |
| 11011 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_n188 n_n189 [47] [356] ni308 |
| 01--- 1 |
| -10-- 1 |
| -1-1- 1 |
| -1--0 1 |
| 10101 1 |
| .names n_n185 n_n76 n_n186 n_n189 [47] ni309 |
| 0--1- 1 |
| -0-1- 1 |
| --01- 1 |
| ---11 1 |
| 11100 1 |
| .names [55] n_n152 [70] [362] n_n155 |
| -1-- 1 |
| --1- 1 |
| 1--1 1 |
| .names pc_9 pc_8 n_n75 n_n187 [85] [55] |
| -11-- 1 |
| --0-1 1 |
| 1-01- 1 |
| .names pc_4 n_n74 [79] [80] [365] n_n152 |
| 11--1 1 |
| -01-1 1 |
| -0-11 1 |
| .names pp_0 n_n179 n_n180 n_n181 n_n74 n_n80 |
| 11111 1 |
| .names n_n183 n_n184 n_n187 n_n80 [355] [47] |
| 0---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names n_n186 n_n188 n_n189 [47] [356] [40] |
| 0---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---1- 1 |
| ----0 1 |
| .names pc_13 n_n76 n_n189 [66] [67] [41] |
| 101-- 1 |
| -001- 1 |
| -00-1 1 |
| .names pc_15 pc_16 n_n77 n_n78 n_n188 [66] |
| 1--10 1 |
| -1100 1 |
| .names pc_14 n_n188 [67] |
| 11 1 |
| .names pp_0 pc_1 pc_0 n_n181 [369] [70] |
| 1-1-- 1 |
| 1---1 1 |
| 11-1- 1 |
| .names pc_7 pc_6 n_n182 n_n183 n_n184 [79] |
| -1-10 1 |
| 1-100 1 |
| .names pc_5 n_n184 [80] |
| 11 1 |
| .names pc_10 pc_11 n_n185 n_n186 n_n187 [85] |
| 1--10 1 |
| -1100 1 |
| .names n_n75 n_n182 [355] |
| 11 1 |
| .names n_n76 n_n185 [356] |
| 11 1 |
| .names n_n182 n_n183 n_n184 n_n179 [360] |
| 0000 1 |
| .names pp_0 n_n180 n_n181 n_n74 [360] [362] |
| 10001 1 |
| .names pp_0 n_n179 n_n180 n_n181 [365] |
| 1000 1 |
| .names pc_3 pc_2 n_n179 n_n180 n_n181 [369] |
| -1-10 1 |
| 1-100 1 |
| .names pp_0 n_n185 n_n75 n_n186 n_n187 [375] |
| 10000 1 |
| .names n_n180 n_n181 n_n74 [360] [375] [376] |
| 00011 1 |
| .end |