| .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 n_n170 n_n171 n_n172 n_n173 n_n174 s510_out_0_ |
| 11--- 1 |
| 1--0- 1 |
| 1---0 1 |
| 0-0-1 1 |
| -0110 1 |
| .names n_n170 n_n171 n_n172 n_n173 n_n174 s510_out_1_ |
| -1--1 1 |
| 1111- 1 |
| 00110 1 |
| .names n_n172 n_n173 n_n174 [594] s510_out_2_ |
| ---1 1 |
| 01-- 1 |
| 1-0- 1 |
| .names n_n169 n_n170 n_n171 n_n172 n_n174 s510_out_3_ |
| 0---0 1 |
| 001-- 1 |
| 0-00- 1 |
| 1--11 1 |
| .names n_n169 n_n170 [73] s510_out_4_ |
| 001 1 |
| .names n_n169 n_n172 n_n173 n_n174 [599] s510_out_5_ |
| 11-1- 1 |
| -0101 1 |
| .names n_n170 n_n171 n_n174 s510_out_6_ |
| 111 1 |
| .names n_n170 [539] [540] [552] n_n54 |
| ---1 1 |
| 01-- 1 |
| 0-1- 1 |
| .names [35] [36] [131] [132] [133] n_n55 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [28] [118] [119] n_n56 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [106] [107] [108] [109] n_n57 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [28] [98] [99] n_n58 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n174 [83] [96] [588] [589] n_n59 |
| 1-1-- 1 |
| -1-1- 1 |
| 1---1 1 |
| .names s510_in_12_ n_n169 n_n173 n_n174 [28] |
| 1101 1 |
| .names s510_in_12_ n_n169 n_n172 n_n173 n_n174 [26] |
| -00-- 1 |
| -0--0 1 |
| 0--01 1 |
| .names s510_in_7_ n_n170 n_n171 n_n172 n_n173 [35] |
| 01001 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 s510_in_8_ s510_in_1_ s510_in_2_ n_n170 [83] |
| 1--0 1 |
| -111 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 s510_in_8_ s510_in_3_ n_n171 n_n174 [70] |
| 0--0 1 |
| -001 1 |
| .names s510_in_12_ n_n169 n_n173 [96] |
| 01- 1 |
| -11 1 |
| .names s510_in_9_ n_n169 n_n170 n_n171 n_n172 [98] |
| 11111 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 n_n169 n_n170 [54] [64] [111] [106] |
| 11--1 1 |
| 1111- 1 |
| .names n_n172 [114] [115] [576] [107] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names s510_in_12_ n_n169 n_n170 n_n173 n_n174 [108] |
| 11001 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 [62] [127] [128] [565] [568] [118] |
| -1--1 1 |
| --1-1 1 |
| 1--11 1 |
| .names n_n171 [171] [547] [570] [571] [119] |
| 11--- 1 |
| 1-1-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names s510_in_6_ s510_in_7_ n_n172 n_n173 n_n174 [127] |
| 11010 1 |
| .names s510_in_3_ n_n172 n_n173 [128] |
| 111 1 |
| .names n_n169 n_n170 [137] [139] [557] [131] |
| 1-1-- 1 |
| 10-1- 1 |
| 10--1 1 |
| .names n_n170 [26] [168] [549] [558] [132] |
| 11--- 1 |
| 1-1-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names n_n169 n_n170 n_n171 n_n173 n_n174 [133] |
| 11011 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] [555] [139] |
| 01- 1 |
| 0-1 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_1_ n_n171 n_n172 n_n173 [145] |
| 0111 1 |
| .names s510_in_16_ n_n171 n_n172 n_n173 n_n174 [153] |
| 0-10- 1 |
| 00-00 1 |
| .names s510_in_4_ n_n171 n_n172 n_n173 n_n174 [156] |
| 00110 1 |
| .names s510_in_18_ n_n169 [157] |
| 10 1 |
| .names s510_in_8_ n_n172 n_n173 [161] |
| 011 1 |
| .names s510_in_3_ n_n169 n_n171 n_n172 n_n173 [165] |
| 01011 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 n_n173 n_n171 [533] |
| 0- 1 |
| -1 1 |
| .names s510_in_8_ n_n169 n_n170 [534] |
| 011 1 |
| .names s510_in_0_ s510_in_13_ n_n172 n_n173 n_n174 [537] |
| 0---1 1 |
| -000- 1 |
| .names n_n172 n_n173 [70] [156] [539] |
| ---1 1 |
| 011- 1 |
| .names n_n171 [153] [157] [161] [537] [540] |
| -1--- 1 |
| --1-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names s510_in_12_ s510_in_9_ n_n172 n_n173 [547] |
| -010 1 |
| 0-00 1 |
| .names [165] [166] [167] [549] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n174 [26] [35] [533] [534] [551] |
| -1--- 1 |
| 0-1-- 1 |
| 1--01 1 |
| .names n_n170 [168] [549] [551] [552] |
| ---1 1 |
| 11-- 1 |
| 1-1- 1 |
| .names s510_in_12_ s510_in_13_ n_n171 n_n172 n_n174 [555] |
| 1---1 1 |
| -110- 1 |
| .names s510_in_0_ n_n171 n_n174 [138] [141] [557] |
| ---1- 1 |
| ----1 1 |
| 111-- 1 |
| .names s510_in_17_ n_n169 [145] [558] |
| --1 1 |
| 00- 1 |
| .names n_n173 s510_in_15_ [565] |
| 01 1 |
| .names n_n169 n_n170 n_n171 [568] |
| 110 1 |
| .names s510_in_2_ n_n169 n_n170 n_n172 n_n173 [570] |
| -0--- 1 |
| 0-111 1 |
| .names s510_in_11_ s510_in_8_ n_n170 n_n172 n_n173 [571] |
| -00-- 1 |
| --00- 1 |
| --0-0 1 |
| 0--00 1 |
| .names s510_in_9_ n_n171 n_n173 n_n174 [576] |
| 0-0- 1 |
| -0-0 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_n169 n_n170 n_n171 n_n172 n_n173 [594] |
| 1-0-- 1 |
| --00- 1 |
| -1--1 1 |
| .names n_n169 n_n170 n_n171 [599] |
| 001 1 |
| .end |
