| .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_646 n_329 n_328 n_n73 [931] p_40 |
| ----1 1 |
| 1111- 1 |
| 1001- 1 |
| 1010- 1 |
| 1100- 1 |
| .names [179] [938] p_45 |
| 1- 1 |
| -1 1 |
| .names n_646 n_345 n_346 n_347 [940] p_46 |
| ----1 1 |
| 1111- 1 |
| 1001- 1 |
| 1010- 1 |
| 1100- 1 |
| .names n_646 n_349 n_350 [165] [166] [943] p_47 |
| -----1 1 |
| 1111-- 1 |
| 1001-- 1 |
| 111-1- 1 |
| 100-1- 1 |
| 10100- 1 |
| 11000- 1 |
| .names n_646 n_349 n_350 [165] [166] [946] p_48 |
| -----1 1 |
| 111--- 1 |
| 11-1-- 1 |
| 1-11-- 1 |
| 11--1- 1 |
| 1-1-1- 1 |
| .names n_329 n_328 n_n73 [98] [97] [949] p_41 |
| -----1 1 |
| 11-1-- 1 |
| 1-11-- 1 |
| -111-- 1 |
| 00--1- 1 |
| 0-0-1- 1 |
| -00-1- 1 |
| .names n_646 n_335 n_334 n_333 [952] p_42 |
| ----1 1 |
| 1111- 1 |
| 1001- 1 |
| 1010- 1 |
| 1100- 1 |
| .names [75] [956] p_43 |
| 1- 1 |
| -1 1 |
| .names n_340 n_339 n_341 n_646 [960] p_44 |
| ----1 1 |
| 1111- 1 |
| 0011- 1 |
| 0101- 1 |
| 1001- 1 |
| .names p_4 p_3 p_2 p_1 n_22 [93] n_58 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| -01011 1 |
| 1010-0 1 |
| .names p_9 p_2 p_1 n_18 n_451 |
| 110- 1 |
| -001 1 |
| .names p_10 p_2 p_1 n_19 n_456 |
| 110- 1 |
| -001 1 |
| .names p_11 p_2 p_1 n_20 n_461 |
| 110- 1 |
| -001 1 |
| .names p_12 p_2 p_1 n_21 n_466 |
| 110- 1 |
| -001 1 |
| .names p_5 p_2 p_1 n_14 n_431 |
| 110- 1 |
| -001 1 |
| .names p_6 p_2 p_1 n_15 n_436 |
| 110- 1 |
| -001 1 |
| .names p_7 p_2 p_1 n_16 n_441 |
| 110- 1 |
| -001 1 |
| .names p_8 p_2 p_1 n_17 n_446 |
| 110- 1 |
| -001 1 |
| .names p_4 p_2 p_1 n_13 n_426 |
| 110- 1 |
| -001 1 |
| .names p_5 p_3 p_2 p_1 n_23 [93] n_59 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| -01011 1 |
| 1010-0 1 |
| .names p_7 p_3 p_2 p_1 n_34 [86] n_570 |
| 1010-1 1 |
| -01010 1 |
| .names p_6 p_3 p_2 p_1 n_24 [93] n_60 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| -01011 1 |
| 1010-0 1 |
| .names p_6 p_3 p_2 p_1 n_33 [86] n_562 |
| 1010-1 1 |
| -01010 1 |
| .names p_7 p_3 p_2 p_1 n_25 [93] n_61 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| -01011 1 |
| 1010-0 1 |
| .names p_9 p_3 p_2 p_1 n_36 [86] n_586 |
| 1010-1 1 |
| -01010 1 |
| .names p_8 p_3 p_2 p_1 n_26 [93] n_62 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| -01011 1 |
| 1010-0 1 |
| .names p_8 p_3 p_2 p_1 n_35 [86] n_578 |
| 1010-1 1 |
| -01010 1 |
| .names p_9 p_3 p_2 p_1 n_27 [93] n_63 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| -01011 1 |
| 1010-0 1 |
| .names p_12 p_11 n_38 n_39 n_646 n_751 n_602 |
| 001-1- 1 |
| 110-1- 1 |
| 0-111- 1 |
| -0111- 1 |
| 11-01- 1 |
| -1001- 1 |
| 11--11 1 |
| -1-011 1 |
| 0-1-10 1 |
| --1110 1 |
| .names p_10 p_3 p_2 p_1 n_28 [93] n_64 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| -01011 1 |
| 1010-0 1 |
| .names p_10 p_3 p_2 p_1 n_37 [86] n_594 |
| 1010-1 1 |
| -01010 1 |
| .names p_12 p_11 n_29 n_30 n_646 n_722 n_65 |
| ----0- 1 |
| 01-11- 1 |
| 1-101- 1 |
| 111-11 1 |
| -11011 1 |
| 011-10 1 |
| -11110 1 |
| .names p_12 p_11 n_29 n_30 n_646 n_722 n_66 |
| ----0- 1 |
| 10111- 1 |
| 11011- 1 |
| 11-111 1 |
| 1-0111 1 |
| 10-110 1 |
| 1-1110 1 |
| .names p_12 p_11 n_38 n_39 n_646 n_751 n_610 |
| 0--11- 1 |
| 1--01- 1 |
| 110-1- 1 |
| -0111- 1 |
| 11--11 1 |
| 1-0-11 1 |
| -0-110 1 |
| --1110 1 |
| .names p_4 p_3 p_2 p_1 n_31 [86] n_546 |
| 1010-1 1 |
| -01010 1 |
| .names p_5 p_3 p_2 p_1 n_32 [86] n_554 |
| 1010-1 1 |
| -01010 1 |
| .names p_8 p_3 p_2 p_1 n_35 [86] n_337 |
| 1010-1 1 |
| -01010 1 |
| .names p_10 p_3 p_2 p_1 n_37 [86] n_343 |
| 1010-1 1 |
| -01010 1 |
| .names p_10 p_3 p_2 p_1 n_28 [93] n_344 |
| -01011 1 |
| 1010-0 1 |
| .names p_9 p_3 p_2 p_1 n_36 [86] n_340 |
| 1010-1 1 |
| -01010 1 |
| .names n_337 n_335 n_334 n_338 n_333 n_339 |
| 1--1- 1 |
| 111-- 1 |
| -111- 1 |
| 11--1 1 |
| 1-1-1 1 |
| -1-11 1 |
| --111 1 |
| .names p_9 p_3 p_2 p_1 n_27 [93] n_341 |
| -01011 1 |
| 1010-0 1 |
| .names p_3 p_2 p_1 n_646 |
| 010 1 |
| .names p_12 p_11 n_38 n_39 n_751 [86] |
| 1--0- 1 |
| 110-- 1 |
| -100- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_5 p_3 p_2 p_1 n_23 [93] n_329 |
| -01011 1 |
| 1010-0 1 |
| .names p_5 p_3 p_2 p_1 n_32 [86] n_328 |
| 1010-1 1 |
| -01010 1 |
| .names p_4 n_22 n_31 n_646 [86] [93] n_n73 |
| 11-11- 1 |
| 1-11-0 1 |
| 1--110 1 |
| -11101 1 |
| .names p_7 p_3 p_2 p_1 n_25 [93] n_335 |
| -01011 1 |
| 1010-0 1 |
| .names p_12 p_11 n_38 n_39 n_646 n_751 n_349 |
| 0--11- 1 |
| 1--01- 1 |
| 110-1- 1 |
| -0111- 1 |
| 11--11 1 |
| 1-0-11 1 |
| -0-110 1 |
| --1110 1 |
| .names p_7 p_3 p_2 p_1 n_34 [86] n_334 |
| 1010-1 1 |
| -01010 1 |
| .names n_343 n_344 n_340 n_339 n_341 n_345 |
| 11--- 1 |
| 1-11- 1 |
| -111- 1 |
| 1-1-1 1 |
| -11-1 1 |
| 1--11 1 |
| -1-11 1 |
| .names p_12 p_11 n_38 n_39 n_646 n_751 n_346 |
| 001-1- 1 |
| 110-1- 1 |
| 0-111- 1 |
| -0111- 1 |
| 11-01- 1 |
| -1001- 1 |
| 11--11 1 |
| -1-011 1 |
| 0-1-10 1 |
| --1110 1 |
| .names p_12 p_11 n_29 n_30 n_646 n_722 n_347 |
| 01-11- 1 |
| 1-101- 1 |
| 111-11 1 |
| -11011 1 |
| 011-10 1 |
| -11110 1 |
| .names n_346 n_347 [91] |
| 1- 1 |
| -1 1 |
| .names p_8 p_3 p_2 p_1 n_26 [93] n_338 |
| -01011 1 |
| 1010-0 1 |
| .names n_329 n_328 n_n73 n_332 n_331 n_333 |
| ---11 1 |
| 11-1- 1 |
| 1-11- 1 |
| -111- 1 |
| 11--1 1 |
| 1-1-1 1 |
| -11-1 1 |
| .names p_12 p_11 n_29 n_30 n_722 [93] |
| 1--0- 1 |
| 110-- 1 |
| -100- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_6 n_24 n_33 n_646 [86] [93] [98] |
| 0001-- 1 |
| 00-11- 1 |
| 0-01-0 1 |
| 1--110 1 |
| 0--110 1 |
| 11-111 1 |
| -11101 1 |
| -00101 1 |
| 1-1100 1 |
| .names p_6 n_24 n_33 n_646 [86] [93] [97] |
| 00110- 1 |
| 0101-1 1 |
| 01-111 1 |
| 10-111 1 |
| -01101 1 |
| -10101 1 |
| 0-1100 1 |
| 1-0100 1 |
| .names p_12 p_11 n_29 n_30 n_646 n_722 n_350 |
| 10111- 1 |
| 11011- 1 |
| 11-111 1 |
| 1-0111 1 |
| 10-110 1 |
| 1-1110 1 |
| .names p_6 p_3 p_2 p_1 n_24 [93] n_332 |
| -01011 1 |
| 1010-0 1 |
| .names p_10 p_9 n_27 n_28 n_716 n_722 |
| 1--0- 1 |
| 110-- 1 |
| -100- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_10 p_9 n_36 n_37 n_745 n_751 |
| 1--0- 1 |
| 110-- 1 |
| -100- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_6 p_3 p_2 p_1 n_33 [86] n_331 |
| 1010-1 1 |
| -01010 1 |
| .names p_8 p_7 n_34 n_35 n_739 n_745 |
| 1--0- 1 |
| 110-- 1 |
| -100- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_8 p_7 n_25 n_26 n_710 n_716 |
| 1--0- 1 |
| 110-- 1 |
| -100- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_6 p_5 p_4 n_33 n_31 n_32 n_739 |
| 1--0-- 1 |
| 11---0 1 |
| -1-0-0 1 |
| 111-0- 1 |
| -1100- 1 |
| 1-1-00 1 |
| --1000 1 |
| .names p_6 p_5 p_4 n_22 n_23 n_24 n_710 |
| 1----0 1 |
| 11--0- 1 |
| -1--00 1 |
| 1110-- 1 |
| 1-100- 1 |
| -110-0 1 |
| --1000 1 |
| .names n_337 n_646 n_335 n_334 n_338 n_333 [75] |
| 01001- 1 |
| 01110- 1 |
| 011-01 1 |
| 01-101 1 |
| 010-10 1 |
| 01-010 1 |
| .names n_343 n_344 n_340 n_339 n_341 [91] [165] |
| 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_346 n_347 [166] |
| 11 1 |
| .names n_343 n_344 n_340 n_339 n_341 n_646 [179] |
| 0011-1 1 |
| 0100-1 1 |
| 001-11 1 |
| 00-111 1 |
| 010-01 1 |
| 01-001 1 |
| .names p_4 p_3 p_2 p_1 n_13 [931] |
| --001 1 |
| 1110- 1 |
| .names p_10 n_28 n_37 n_646 [86] [93] [933] |
| 1--110 1 |
| 11-111 1 |
| -11101 1 |
| 1-1100 1 |
| .names p_10 n_28 n_37 n_646 [86] [93] [934] |
| 00110- 1 |
| 10-111 1 |
| -01101 1 |
| 0-1100 1 |
| .names p_9 p_3 p_2 p_1 n_18 [936] |
| --001 1 |
| 1110- 1 |
| .names n_340 n_339 n_341 [933] [934] [936] [938] |
| -----1 1 |
| 11-1-- 1 |
| 1-11-- 1 |
| -111-- 1 |
| 00--1- 1 |
| 0-0-1- 1 |
| -00-1- 1 |
| .names p_10 p_3 p_2 p_1 n_19 [940] |
| --001 1 |
| 1110- 1 |
| .names p_11 p_3 p_2 p_1 n_20 [943] |
| --001 1 |
| 1110- 1 |
| .names p_12 p_3 p_2 p_1 n_21 [946] |
| --001 1 |
| 1110- 1 |
| .names p_5 p_3 p_2 p_1 n_14 [949] |
| --001 1 |
| 1110- 1 |
| .names p_6 p_3 p_2 p_1 n_15 [952] |
| --001 1 |
| 1110- 1 |
| .names p_7 p_3 p_2 p_1 n_16 [955] |
| --001 1 |
| 1110- 1 |
| .names n_578 n_335 n_334 n_338 n_333 [955] [956] |
| -----1 1 |
| 1111-- 1 |
| 1000-- 1 |
| 11-11- 1 |
| 1-111- 1 |
| 10-00- 1 |
| 1-000- 1 |
| .names p_8 p_3 p_2 p_1 n_17 [960] |
| --001 1 |
| 1110- 1 |
| .end |