| .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_48 p_41 p_42 p_43 p_44 |
| .latch n_58 n_22 re pclk 2 |
| .latch n_451 n_18 re pclk 2 |
| .latch n_456 n_19 re pclk 2 |
| .latch n_461 n_20 re pclk 2 |
| .latch n_466 n_21 re pclk 2 |
| .latch n_431 n_14 re pclk 2 |
| .latch n_436 n_15 re pclk 2 |
| .latch n_441 n_16 re pclk 2 |
| .latch n_446 n_17 re pclk 2 |
| .latch n_426 n_13 re pclk 2 |
| .latch n_59 n_23 re pclk 2 |
| .latch n_570 n_34 re pclk 2 |
| .latch n_60 n_24 re pclk 2 |
| .latch n_562 n_33 re pclk 2 |
| .latch n_61 n_25 re pclk 2 |
| .latch n_586 n_36 re pclk 2 |
| .latch n_62 n_26 re pclk 2 |
| .latch n_578 n_35 re pclk 2 |
| .latch n_63 n_27 re pclk 2 |
| .latch n_602 n_38 re pclk 2 |
| .latch n_64 n_28 re pclk 2 |
| .latch n_594 n_37 re pclk 2 |
| .latch n_65 n_29 re pclk 2 |
| .latch n_66 n_30 re pclk 2 |
| .latch n_610 n_39 re pclk 2 |
| .latch n_546 n_31 re pclk 2 |
| .latch n_554 n_32 re pclk 2 |
| .names n_329 [101] [932] p_40 |
| --1 1 |
| 11- 1 |
| .names n_343 [121] [938] p_45 |
| --1 1 |
| 01- 1 |
| .names [168] [941] p_46 |
| 1- 1 |
| -1 1 |
| .names [158] [944] p_47 |
| 1- 1 |
| -1 1 |
| .names [154] [947] p_48 |
| 1- 1 |
| -1 1 |
| .names n_330 [98] [950] p_41 |
| --1 1 |
| 11- 1 |
| .names n_335 [114] [953] p_42 |
| --1 1 |
| 11- 1 |
| .names n_337 [134] [956] p_43 |
| --1 1 |
| 01- 1 |
| .names n_340 [132] [962] p_44 |
| --1 1 |
| 01- 1 |
| .names [275] [925] n_58 |
| 1- 1 |
| -1 1 |
| .names [272] [273] n_451 |
| 1- 1 |
| -1 1 |
| .names [270] [271] n_456 |
| 1- 1 |
| -1 1 |
| .names [268] [269] n_461 |
| 1- 1 |
| -1 1 |
| .names [266] [267] n_466 |
| 1- 1 |
| -1 1 |
| .names [264] [265] n_431 |
| 1- 1 |
| -1 1 |
| .names [262] [263] n_436 |
| 1- 1 |
| -1 1 |
| .names [260] [261] n_441 |
| 1- 1 |
| -1 1 |
| .names [258] [259] n_446 |
| 1- 1 |
| -1 1 |
| .names [256] [257] n_426 |
| 1- 1 |
| -1 1 |
| .names n_646 [254] [255] n_59 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_646 [236] [237] n_570 |
| 11- 1 |
| 1-1 1 |
| .names n_646 [234] [235] n_60 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_646 [232] [233] n_562 |
| 11- 1 |
| 1-1 1 |
| .names n_646 [230] [231] n_61 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_646 [228] [229] n_586 |
| 11- 1 |
| 1-1 1 |
| .names n_646 [226] [227] n_62 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_646 [224] [225] n_578 |
| 11- 1 |
| 1-1 1 |
| .names n_646 [222] [223] n_63 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_646 [220] [221] n_602 |
| 11- 1 |
| 1-1 1 |
| .names n_646 [218] [219] n_64 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_646 [216] [217] n_594 |
| 11- 1 |
| 1-1 1 |
| .names n_646 [214] [215] n_65 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_646 [212] [213] n_66 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_646 [210] [211] n_610 |
| 11- 1 |
| 1-1 1 |
| .names [208] [209] n_546 |
| 1- 1 |
| -1 1 |
| .names n_646 [206] [207] n_554 |
| 11- 1 |
| 1-1 1 |
| .names [224] [225] n_337 |
| 1- 1 |
| -1 1 |
| .names [216] [217] n_343 |
| 1- 1 |
| -1 1 |
| .names [218] [219] n_344 |
| 1- 1 |
| -1 1 |
| .names [228] [229] n_340 |
| 1- 1 |
| -1 1 |
| .names n_337 n_338 n_336 n_339 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [222] [223] n_341 |
| 1- 1 |
| -1 1 |
| .names n_340 n_339 n_341 n_342 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names p_3 p_2 p_1 n_646 |
| 010 1 |
| .names p_12 n_39 [88] [86] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names n_646 [86] n_322 |
| 11 1 |
| .names [254] [255] n_329 |
| 1- 1 |
| -1 1 |
| .names [206] [207] n_328 |
| 1- 1 |
| -1 1 |
| .names [111] [202] [929] n_n73 |
| -1- 1 |
| 1-1 1 |
| .names n_329 n_328 n_n73 n_330 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [230] [231] n_335 |
| 1- 1 |
| -1 1 |
| .names [210] [211] n_349 |
| 1- 1 |
| -1 1 |
| .names [236] [237] n_334 |
| 1- 1 |
| -1 1 |
| .names n_343 n_344 n_342 n_345 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [220] [221] n_346 |
| 1- 1 |
| -1 1 |
| .names [214] [215] n_347 |
| 1- 1 |
| -1 1 |
| .names n_345 n_346 n_347 n_348 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [226] [227] n_338 |
| 1- 1 |
| -1 1 |
| .names n_330 n_332 n_331 n_333 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names n_335 n_334 n_333 n_336 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names p_12 n_30 [95] [93] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_3 p_2 p_1 [81] |
| 110 1 |
| .names n_646 n_332 n_331 [98] |
| 111 1 |
| 100 1 |
| .names n_646 n_332 n_331 [97] |
| 101 1 |
| 110 1 |
| .names n_646 n_328 n_n73 [101] |
| 111 1 |
| 100 1 |
| .names [212] [213] n_350 |
| 1- 1 |
| -1 1 |
| .names [234] [235] n_332 |
| 1- 1 |
| -1 1 |
| .names p_9 n_27 n_716 [103] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_10 n_28 [103] n_722 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_9 n_36 n_745 [106] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_10 n_37 [106] n_751 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names [232] [233] n_331 |
| 1- 1 |
| -1 1 |
| .names n_322 [112] [205] [111] |
| --1 1 |
| 11- 1 |
| .names n_646 n_334 n_333 [114] |
| 111 1 |
| 100 1 |
| .names p_7 n_34 n_739 [116] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_8 n_35 [116] n_745 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_7 n_25 n_710 [119] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_8 n_26 [119] n_716 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names n_344 n_342 n_646 [121] |
| 011 1 |
| 101 1 |
| .names n_646 n_345 n_346 [122] |
| 111 1 |
| 100 1 |
| .names n_646 n_348 n_350 [124] |
| 101 1 |
| 110 1 |
| .names p_5 n_32 [926] [127] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_6 n_33 [127] n_739 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_5 n_23 [924] [130] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_6 n_24 [130] n_710 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names n_339 n_341 n_646 [132] |
| 011 1 |
| 101 1 |
| .names n_646 n_338 n_336 [134] |
| 101 1 |
| 110 1 |
| .names p_11 n_38 n_751 [88] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_11 n_29 n_722 [95] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names n_22 n_646 [93] [112] |
| 1-- 1 |
| -0- 1 |
| --0 1 |
| .names p_2 p_1 n_17 [71] |
| 001 1 |
| .names n_578 n_338 n_336 [74] |
| 111 1 |
| 100 1 |
| .names p_2 p_1 n_16 [77] |
| 001 1 |
| .names n_61 n_334 n_333 [137] |
| 001 1 |
| 010 1 |
| .names p_2 p_1 n_15 [140] |
| 001 1 |
| .names p_2 p_1 n_14 [148] |
| 001 1 |
| .names n_610 n_348 n_350 [154] |
| 11- 1 |
| 1-1 1 |
| .names p_2 p_1 n_21 [156] |
| 001 1 |
| .names n_610 n_348 n_350 [158] |
| 111 1 |
| 100 1 |
| .names p_2 p_1 n_20 [160] |
| 001 1 |
| .names n_65 n_345 n_346 [168] |
| 001 1 |
| 010 1 |
| .names p_2 p_1 n_19 [170] |
| 001 1 |
| .names p_2 p_1 n_18 [181] |
| 001 1 |
| .names n_59 n_328 n_n73 [194] |
| 001 1 |
| 010 1 |
| .names p_2 p_1 n_13 [197] |
| 001 1 |
| .names n_646 [86] [928] [202] |
| 101 1 |
| .names n_31 n_646 [93] [205] |
| 10- 1 |
| 1-0 1 |
| .names p_5 n_646 [86] [206] |
| 111 1 |
| .names n_32 n_646 [86] [207] |
| 110 1 |
| .names p_4 n_646 [86] [208] |
| 111 1 |
| .names n_31 n_646 [86] [209] |
| 110 1 |
| .names p_12 n_646 [86] [210] |
| 111 1 |
| .names n_39 n_646 [86] [211] |
| 110 1 |
| .names p_12 n_646 [93] [212] |
| 110 1 |
| .names n_30 n_646 [93] [213] |
| 111 1 |
| .names p_11 n_646 [93] [214] |
| 110 1 |
| .names n_29 n_646 [93] [215] |
| 111 1 |
| .names p_10 n_646 [86] [216] |
| 111 1 |
| .names n_37 n_646 [86] [217] |
| 110 1 |
| .names p_10 n_646 [93] [218] |
| 110 1 |
| .names n_28 n_646 [93] [219] |
| 111 1 |
| .names p_11 n_646 [86] [220] |
| 111 1 |
| .names n_38 n_646 [86] [221] |
| 110 1 |
| .names p_9 n_646 [93] [222] |
| 110 1 |
| .names n_27 n_646 [93] [223] |
| 111 1 |
| .names p_8 n_646 [86] [224] |
| 111 1 |
| .names n_35 n_646 [86] [225] |
| 110 1 |
| .names p_8 n_646 [93] [226] |
| 110 1 |
| .names n_26 n_646 [93] [227] |
| 111 1 |
| .names p_9 n_646 [86] [228] |
| 111 1 |
| .names n_36 n_646 [86] [229] |
| 110 1 |
| .names p_7 n_646 [93] [230] |
| 110 1 |
| .names n_25 n_646 [93] [231] |
| 111 1 |
| .names p_6 n_646 [86] [232] |
| 111 1 |
| .names n_33 n_646 [86] [233] |
| 110 1 |
| .names p_6 n_646 [93] [234] |
| 110 1 |
| .names n_24 n_646 [93] [235] |
| 111 1 |
| .names p_7 n_646 [86] [236] |
| 111 1 |
| .names n_34 n_646 [86] [237] |
| 110 1 |
| .names p_5 n_646 [93] [254] |
| 110 1 |
| .names n_23 n_646 [93] [255] |
| 111 1 |
| .names p_2 p_1 n_13 [256] |
| 001 1 |
| .names p_4 p_2 p_1 [257] |
| 110 1 |
| .names p_2 p_1 n_17 [258] |
| 001 1 |
| .names p_8 p_2 p_1 [259] |
| 110 1 |
| .names p_2 p_1 n_16 [260] |
| 001 1 |
| .names p_7 p_2 p_1 [261] |
| 110 1 |
| .names p_2 p_1 n_15 [262] |
| 001 1 |
| .names p_6 p_2 p_1 [263] |
| 110 1 |
| .names p_2 p_1 n_14 [264] |
| 001 1 |
| .names p_5 p_2 p_1 [265] |
| 110 1 |
| .names p_2 p_1 n_21 [266] |
| 001 1 |
| .names p_12 p_2 p_1 [267] |
| 110 1 |
| .names p_2 p_1 n_20 [268] |
| 001 1 |
| .names p_11 p_2 p_1 [269] |
| 110 1 |
| .names p_2 p_1 n_19 [270] |
| 001 1 |
| .names p_10 p_2 p_1 [271] |
| 110 1 |
| .names p_2 p_1 n_18 [272] |
| 001 1 |
| .names p_9 p_2 p_1 [273] |
| 110 1 |
| .names n_22 n_646 [93] [275] |
| 111 1 |
| .names n_22 p_4 [924] |
| 01 1 |
| .names p_4 n_646 [93] [925] |
| -0- 1 |
| 110 1 |
| .names n_31 p_4 [926] |
| 01 1 |
| .names n_31 n_22 [927] |
| 11 1 |
| .names n_646 [93] [927] [928] |
| 111 1 |
| .names n_646 p_4 [929] |
| 11 1 |
| .names p_4 [81] [197] [931] |
| --1 1 |
| 11- 1 |
| .names [194] [931] [932] |
| 1- 1 |
| -1 1 |
| .names n_594 [218] [219] [933] |
| 11- 1 |
| 1-1 1 |
| .names n_64 [216] [217] [934] |
| 01- 1 |
| 0-1 1 |
| .names p_9 [81] [181] [936] |
| --1 1 |
| 11- 1 |
| .names n_342 [933] [936] [937] |
| --1 1 |
| 11- 1 |
| .names n_342 [934] [937] [938] |
| --1 1 |
| 01- 1 |
| .names p_10 [81] [170] [940] |
| --1 1 |
| 11- 1 |
| .names n_347 [122] [940] [941] |
| --1 1 |
| 11- 1 |
| .names p_11 [81] [160] [943] |
| --1 1 |
| 11- 1 |
| .names n_349 [124] [943] [944] |
| --1 1 |
| 01- 1 |
| .names n_646 [212] [213] [945] |
| 11- 1 |
| 1-1 1 |
| .names p_12 [81] [156] [946] |
| --1 1 |
| 11- 1 |
| .names n_348 [945] [946] [947] |
| --1 1 |
| 11- 1 |
| .names p_5 [81] [148] [949] |
| --1 1 |
| 11- 1 |
| .names n_330 [97] [949] [950] |
| --1 1 |
| 01- 1 |
| .names p_6 [81] [140] [952] |
| --1 1 |
| 11- 1 |
| .names [137] [952] [953] |
| 1- 1 |
| -1 1 |
| .names p_7 [81] [77] [955] |
| --1 1 |
| 11- 1 |
| .names [74] [955] [956] |
| 1- 1 |
| -1 1 |
| .names n_586 [222] [223] [957] |
| 11- 1 |
| 1-1 1 |
| .names n_63 [228] [229] [958] |
| 01- 1 |
| 0-1 1 |
| .names p_8 [81] [71] [960] |
| --1 1 |
| 11- 1 |
| .names n_339 [957] [960] [961] |
| --1 1 |
| 11- 1 |
| .names n_339 [958] [961] [962] |
| --1 1 |
| 01- 1 |
| .end |