| .model top |
| .inputs s510_in_12_ s510_in_11_ s510_in_10_ s510_in_9_ s510_in_5_ s510_in_6_ \ |
| s510_in_7_ s510_in_8_ s510_in_1_ s510_in_2_ s510_in_3_ s510_in_4_ s510_in_0_ \ |
| s510_in_18_ s510_in_17_ clock s510_in_16_ s510_in_15_ s510_in_14_ s510_in_13_ |
| .outputs s510_out_0_ s510_out_1_ s510_out_2_ s510_out_3_ s510_out_4_ \ |
| s510_out_5_ s510_out_6_ |
| .latch n_n54 n_n169 re clock 2 |
| .latch n_n55 n_n170 re clock 2 |
| .latch n_n56 n_n171 re clock 2 |
| .latch n_n57 n_n172 re clock 2 |
| .latch n_n58 n_n173 re clock 2 |
| .latch n_n59 n_n174 re clock 2 |
| .names [58] [49] [89] s510_out_0_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n170 n_n171 n_n174 [24] s510_out_1_ |
| -11- 1 |
| 11-1 1 |
| 0001 1 |
| .names n_n170 n_n173 [42] [593] s510_out_2_ |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_n169 n_n172 n_n174 [82] s510_out_3_ |
| 0--1 1 |
| 111- 1 |
| .names n_n169 n_n170 [73] s510_out_4_ |
| 001 1 |
| .names [36] [51] [599] s510_out_5_ |
| 1-- 1 |
| -11 1 |
| .names n_n170 n_n171 n_n174 s510_out_6_ |
| 111 1 |
| .names [149] [150] [151] [550] n_n54 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n170 [76] [561] n_n55 |
| --1 1 |
| 11- 1 |
| .names n_n171 [571] [572] [573] n_n56 |
| ---1 1 |
| 11-- 1 |
| 1-1- 1 |
| .names [106] [107] [578] n_n57 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [28] [99] [580] [581] n_n58 |
| 1--- 1 |
| -1-- 1 |
| --11 1 |
| .names [83] [92] [588] n_n59 |
| -1- 1 |
| 1-1 1 |
| .names s510_in_12_ n_n169 n_n173 n_n174 [28] |
| 1101 1 |
| .names n_n169 n_n170 [53] |
| 11 1 |
| .names s510_in_12_ n_n173 n_n174 [164] [26] |
| ---1 1 |
| 001- 1 |
| .names n_n171 n_n173 n_n174 [40] |
| 1-- 1 |
| -0- 1 |
| --0 1 |
| .names n_n171 n_n172 n_n173 n_n174 [58] |
| 0110 1 |
| .names n_n171 n_n172 n_n173 n_n174 [73] |
| 111- 1 |
| 010- 1 |
| 100- 1 |
| 00-0 1 |
| .names n_n169 n_n172 n_n174 [36] |
| 111 1 |
| .names [26] [168] [549] [558] [76] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n170 [137] [139] [557] [75] |
| -1-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names n_n172 n_n173 n_n174 [51] |
| 010 1 |
| .names n_n170 n_n171 n_n172 n_n174 [82] |
| ---0 1 |
| 01-- 1 |
| -00- 1 |
| .names s510_in_8_ s510_in_1_ s510_in_2_ n_n170 [83] |
| 1--0 1 |
| -111 1 |
| .names n_n172 n_n173 [55] |
| 01 1 |
| .names n_n172 n_n173 [24] |
| 11 1 |
| .names n_n171 n_n172 [54] |
| 10 1 |
| .names s510_in_10_ s510_in_14_ n_n172 n_n174 [62] |
| 1-1- 1 |
| -100 1 |
| .names s510_in_12_ s510_in_11_ s510_in_5_ n_n173 [64] |
| --11 1 |
| 11-0 1 |
| .names n_n171 n_n172 n_n174 [72] |
| -1- 1 |
| 0-0 1 |
| .names s510_in_8_ s510_in_3_ n_n171 n_n174 [70] |
| 0--0 1 |
| -001 1 |
| .names n_n169 n_n171 n_n172 [42] |
| 10- 1 |
| -00 1 |
| .names n_n170 n_n172 n_n174 [49] |
| 001 1 |
| .names n_n170 n_n171 n_n173 n_n174 [89] |
| 11-- 1 |
| 1-0- 1 |
| 1--0 1 |
| .names n_n174 [96] [589] [92] |
| 11- 1 |
| 1-1 1 |
| .names s510_in_12_ n_n169 n_n173 [96] |
| 01- 1 |
| -11 1 |
| .names n_n173 [101] [583] [584] [99] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names s510_in_17_ n_n169 n_n170 n_n172 [101] |
| 00-- 1 |
| -00- 1 |
| -0-0 1 |
| .names [53] [54] [64] [111] [106] |
| 1--1 1 |
| 111- 1 |
| .names n_n172 [114] [115] [576] [107] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names n_n169 n_n170 n_n171 n_n174 [109] |
| 1111 1 |
| .names s510_in_1_ s510_in_2_ n_n172 n_n173 [111] |
| 0-11 1 |
| -011 1 |
| .names s510_in_17_ n_n169 n_n171 [114] |
| 00- 1 |
| -01 1 |
| .names s510_in_8_ n_n170 n_n171 n_n173 [115] |
| 00-- 1 |
| -00- 1 |
| -0-0 1 |
| .names s510_in_2_ n_n170 n_n172 n_n173 [121] |
| 0111 1 |
| .names s510_in_8_ n_n170 n_n172 n_n173 [122] |
| 00-- 1 |
| -00- 1 |
| -0-0 1 |
| .names s510_in_15_ n_n173 [62] [126] |
| 101 1 |
| .names s510_in_3_ n_n172 n_n173 [128] |
| 111 1 |
| .names n_n169 n_n170 [40] [133] |
| 110 1 |
| .names s510_in_3_ n_n171 n_n173 n_n174 [137] |
| 1011 1 |
| .names s510_in_4_ n_n171 n_n172 n_n173 [138] |
| 1011 1 |
| .names n_n173 [142] [143] [144] [139] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names s510_in_0_ n_n171 n_n174 [140] |
| 111 1 |
| .names s510_in_8_ n_n172 n_n173 n_n174 [141] |
| 1010 1 |
| .names s510_in_16_ n_n171 n_n172 n_n174 [142] |
| 1-1- 1 |
| 10-0 1 |
| .names s510_in_13_ n_n171 n_n172 [143] |
| 110 1 |
| .names s510_in_12_ n_n174 [144] |
| 11 1 |
| .names s510_in_1_ n_n171 n_n172 n_n173 [145] |
| 0111 1 |
| .names n_n170 [155] [538] [539] [149] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names s510_in_7_ n_n170 n_n174 [542] [150] |
| 0101 1 |
| .names n_n170 [168] [549] [151] |
| 11- 1 |
| 1-1 1 |
| .names n_n171 [160] [161] [162] [155] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names s510_in_13_ n_n172 n_n173 [160] |
| 000 1 |
| .names s510_in_8_ n_n172 n_n173 [161] |
| 011 1 |
| .names s510_in_0_ n_n174 [162] |
| 01 1 |
| .names s510_in_12_ n_n173 n_n174 [163] |
| 001 1 |
| .names n_n169 n_n172 n_n174 [164] |
| 00- 1 |
| 0-0 1 |
| .names s510_in_15_ n_n171 n_n173 n_n174 [166] |
| 0000 1 |
| .names s510_in_2_ n_n171 n_n172 n_n173 [167] |
| 0111 1 |
| .names n_n171 [171] [547] [168] |
| 11- 1 |
| 1-1 1 |
| .names s510_in_5_ n_n172 n_n173 n_n174 [171] |
| 0010 1 |
| .names s510_in_8_ n_n169 n_n170 [534] |
| 011 1 |
| .names n_n173 s510_in_16_ [535] |
| 00 1 |
| .names s510_in_18_ n_n169 [72] [535] [538] |
| 10-- 1 |
| --11 1 |
| .names s510_in_4_ [58] [55] [70] [539] |
| 01-- 1 |
| --11 1 |
| .names n_n171 n_n172 n_n173 [542] |
| 001 1 |
| .names n_n169 s510_in_3_ [543] |
| 10 1 |
| .names n_n171 n_n172 n_n173 [544] |
| 011 1 |
| .names s510_in_12_ s510_in_9_ n_n172 n_n173 [547] |
| -010 1 |
| 0-00 1 |
| .names [166] [167] [543] [544] [549] |
| 1--- 1 |
| -1-- 1 |
| --11 1 |
| .names [40] [163] [164] [534] [550] |
| -1-- 1 |
| --1- 1 |
| 0--1 1 |
| .names [138] [140] [141] [557] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s510_in_17_ n_n169 [145] [558] |
| --1 1 |
| 00- 1 |
| .names s510_in_7_ n_n170 [36] [542] [559] |
| --1- 1 |
| 01-1 1 |
| .names n_n169 [75] [133] [559] [561] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names s510_in_6_ s510_in_7_ [51] [128] [567] |
| ---1 1 |
| 111- 1 |
| .names n_n169 n_n170 n_n171 [568] |
| 110 1 |
| .names s510_in_11_ n_n172 n_n173 [122] [571] |
| ---1 1 |
| 000- 1 |
| .names n_n169 [121] [171] [547] [572] |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [28] [126] [567] [568] [573] |
| 1--- 1 |
| -1-1 1 |
| --11 1 |
| .names s510_in_9_ n_n171 n_n173 n_n174 [576] |
| 0-0- 1 |
| -0-0 1 |
| .names n_n170 [28] [109] [578] |
| --1 1 |
| 01- 1 |
| .names n_n171 s510_in_9_ [580] |
| 11 1 |
| .names n_n169 n_n170 n_n172 [581] |
| 111 1 |
| .names s510_in_8_ n_n169 n_n171 n_n172 [583] |
| 01-- 1 |
| --10 1 |
| .names n_n170 n_n171 n_n174 [584] |
| 00- 1 |
| 1-0 1 |
| .names n_n169 n_n171 n_n172 n_n173 [588] |
| 1111 1 |
| .names s510_in_17_ n_n169 n_n170 n_n172 [589] |
| 00-- 1 |
| -00- 1 |
| --10 1 |
| .names n_n172 n_n173 n_n174 [593] |
| 01- 1 |
| 1-0 1 |
| .names n_n169 n_n170 n_n171 [599] |
| 001 1 |
| .end |