| .model top |
| .inputs p_10 p_12 p_11 pclk p_14 p_13 p_16 p_15 p_9 p_18 p_8 p_17 p_7 p_6 p_5 \ |
| p_4 p_3 p_1 |
| .outputs p_36 |
| .latch n_96 n_28 re pclk 2 |
| .latch n_92 n_24 re pclk 2 |
| .latch n_93 n_25 re pclk 2 |
| .latch n_94 n_26 re pclk 2 |
| .latch n_95 n_27 re pclk 2 |
| .latch n_88 n_20 re pclk 2 |
| .latch n_89 n_21 re pclk 2 |
| .latch n_90 n_22 re pclk 2 |
| .latch n_91 n_23 re pclk 2 |
| .latch n_107 n_2 re pclk 2 |
| .latch n_97 n_29 re pclk 2 |
| .latch n_98 n_30 re pclk 2 |
| .latch n_99 n_31 re pclk 2 |
| .latch n_100 n_32 re pclk 2 |
| .latch n_101 n_33 re pclk 2 |
| .latch n_102 n_34 re pclk 2 |
| .names p_3 p_1 n_20 p_36 |
| 0-1 1 |
| -01 1 |
| 110 1 |
| .names [76] [157] [158] n_96 |
| 11- 1 |
| 1-1 1 |
| 000 1 |
| .names n_24 n_117 [43] [80] n_92 |
| 11-1 1 |
| 1-01 1 |
| -101 1 |
| 00-0 1 |
| 0-10 1 |
| -010 1 |
| .names n_26 [37] [163] [164] n_93 |
| 011- 1 |
| 101- 1 |
| 01-1 1 |
| 10-1 1 |
| 1100 1 |
| 0000 1 |
| .names p_10 p_1 n_27 n_123 n_94 |
| 0-01 1 |
| -001 1 |
| 0-10 1 |
| -010 1 |
| 1111 1 |
| 1100 1 |
| .names n_27 n_123 [38] [84] n_95 |
| 11-1 1 |
| 1-01 1 |
| -101 1 |
| 00-0 1 |
| 0-10 1 |
| -010 1 |
| .names n_21 [85] n_88 |
| 11 1 |
| 00 1 |
| .names n_21 n_n89 [40] [87] n_89 |
| 11-1 1 |
| 1-01 1 |
| -101 1 |
| 00-0 1 |
| 0-10 1 |
| -010 1 |
| .names [88] [169] [170] n_90 |
| 11- 1 |
| 1-1 1 |
| 000 1 |
| .names p_7 p_1 n_24 n_117 n_91 |
| 0-01 1 |
| -001 1 |
| 0-10 1 |
| -010 1 |
| 1111 1 |
| 1100 1 |
| .names p_18 p_1 n_2 [107] n_107 |
| ---1 1 |
| 111- 1 |
| .names p_13 p_1 n_30 n_129 n_97 |
| 0-01 1 |
| -001 1 |
| 0-10 1 |
| -010 1 |
| 1111 1 |
| 1100 1 |
| .names n_30 n_129 [45] [93] n_98 |
| 11-1 1 |
| 1-01 1 |
| -101 1 |
| 00-0 1 |
| 0-10 1 |
| -010 1 |
| .names [90] [115] [116] n_99 |
| 11- 1 |
| 1-1 1 |
| 000 1 |
| .names p_16 p_1 n_33 n_135 n_100 |
| 0-01 1 |
| -001 1 |
| 0-10 1 |
| -010 1 |
| 1111 1 |
| 1100 1 |
| .names n_34 [95] n_101 |
| 11 1 |
| 00 1 |
| .names n_34 n_137 [49] [92] n_102 |
| 11-1 1 |
| 1-01 1 |
| -101 1 |
| 00-0 1 |
| 0-10 1 |
| -010 1 |
| .names p_16 p_1 n_33 n_135 n_137 |
| --11 1 |
| 111- 1 |
| 11-1 1 |
| .names p_17 p_1 [49] |
| 0- 1 |
| -0 1 |
| .names p_5 p_1 n_22 [67] |
| --1 1 |
| 11- 1 |
| .names p_11 p_1 n_28 [68] |
| --1 1 |
| 11- 1 |
| .names p_12 p_1 [35] |
| 0- 1 |
| -0 1 |
| .names n_29 [35] [157] [158] n_129 |
| 10-- 1 |
| 1-1- 1 |
| -01- 1 |
| 1--1 1 |
| -0-1 1 |
| .names p_14 p_1 n_31 [70] |
| --1 1 |
| 11- 1 |
| .names p_18 p_1 n_2 [71] |
| --1 1 |
| 11- 1 |
| .names n_23 [42] [169] [170] n_117 |
| 10-- 1 |
| 1-1- 1 |
| -01- 1 |
| 1--1 1 |
| -0-1 1 |
| .names p_7 p_1 [43] |
| 0- 1 |
| -0 1 |
| .names n_26 [37] [163] [164] n_123 |
| 10-- 1 |
| 1-1- 1 |
| -01- 1 |
| 1--1 1 |
| -0-1 1 |
| .names p_10 p_1 [38] |
| 0- 1 |
| -0 1 |
| .names p_13 p_1 [45] |
| 0- 1 |
| -0 1 |
| .names p_15 p_1 [44] |
| 0- 1 |
| -0 1 |
| .names n_32 [44] [115] [116] n_135 |
| 10-- 1 |
| 1-1- 1 |
| -01- 1 |
| 1--1 1 |
| -0-1 1 |
| .names p_12 p_1 n_29 [76] |
| 0-0 1 |
| -00 1 |
| 111 1 |
| .names p_8 p_1 n_25 [77] |
| --1 1 |
| 11- 1 |
| .names p_3 p_1 n_20 n_n89 |
| 111 1 |
| .names p_6 p_1 [42] |
| 0- 1 |
| -0 1 |
| .names p_4 p_1 [40] |
| 0- 1 |
| -0 1 |
| .names p_8 p_1 n_25 [80] |
| 0-0 1 |
| -00 1 |
| 111 1 |
| .names p_16 p_1 [48] |
| 0- 1 |
| -0 1 |
| .names p_11 p_1 n_28 [84] |
| 0-0 1 |
| -00 1 |
| 111 1 |
| .names p_4 p_3 p_1 n_20 [85] |
| --0- 1 |
| 00-- 1 |
| 0--0 1 |
| 1111 1 |
| .names p_9 p_1 [37] |
| 0- 1 |
| -0 1 |
| .names p_5 p_1 n_22 [87] |
| 0-0 1 |
| -00 1 |
| 111 1 |
| .names p_6 p_1 n_23 [88] |
| 0-0 1 |
| -00 1 |
| 111 1 |
| .names p_15 p_1 n_32 [90] |
| 0-0 1 |
| -00 1 |
| 111 1 |
| .names p_18 p_1 n_2 [92] |
| 0-0 1 |
| -00 1 |
| 111 1 |
| .names p_14 p_1 n_31 [93] |
| 0-0 1 |
| -00 1 |
| 111 1 |
| .names n_33 [49] n_135 [48] [95] |
| 101- 1 |
| 010- 1 |
| 01-1 1 |
| -101 1 |
| 10-0 1 |
| -010 1 |
| .names n_34 n_137 [49] [71] [107] |
| 11-1 1 |
| 1-01 1 |
| -101 1 |
| .names n_30 n_129 [70] [45] [115] |
| 111- 1 |
| 1-10 1 |
| -110 1 |
| .names p_14 p_1 n_31 [116] |
| 111 1 |
| .names n_27 [68] n_123 [38] [157] |
| 111- 1 |
| 11-0 1 |
| -110 1 |
| .names p_11 p_1 n_28 [158] |
| 111 1 |
| .names n_24 n_117 [43] [77] [163] |
| 11-1 1 |
| 1-01 1 |
| -101 1 |
| .names p_8 p_1 n_25 [164] |
| 111 1 |
| .names n_21 [67] n_n89 [40] [169] |
| 111- 1 |
| 11-0 1 |
| -110 1 |
| .names p_5 p_1 n_22 [170] |
| 111 1 |
| .end |