| .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_n169 n_n170 n_n171 n_n172 n_n173 n_n174 s510_out_2_ |
| 1-0--- 1 |
| --00-- 1 |
| -1--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 n_n171 n_n172 n_n173 n_n174 s510_out_4_ |
| 00111- 1 |
| 00010- 1 |
| 00100- 1 |
| 0000-0 1 |
| .names n_n169 n_n170 n_n171 n_n172 n_n173 n_n174 s510_out_5_ |
| 1--1-1 1 |
| 001010 1 |
| .names n_n170 n_n171 n_n174 s510_out_6_ |
| 111 1 |
| .names n_n170 [150] [155] [168] [538] [539] [549] [550] n_n54 |
| -1------ 1 |
| -------1 1 |
| 0-1----- 1 |
| 1--1---- 1 |
| 0---1--- 1 |
| 0----1-- 1 |
| 1-----1- 1 |
| .names n_n170 [26] [168] [549] [558] [561] n_n55 |
| -----1 1 |
| 11---- 1 |
| 1-1--- 1 |
| 1--1-- 1 |
| 1---1- 1 |
| .names n_n171 [28] [53] [22] [126] [567] [570] [571] n_n56 |
| -1------ 1 |
| 1--1---- 1 |
| 1-----1- 1 |
| 1------1 1 |
| 0-1-1--- 1 |
| 0-1--1-- 1 |
| .names n_n169 n_n170 n_n172 [66] [63] [578] n_n57 |
| -----1 1 |
| --11-- 1 |
| 11--1- 1 |
| .names [99] [586] n_n58 |
| 1- 1 |
| -1 1 |
| .names s510_in_12_ s510_in_17_ n_n169 n_n170 n_n172 n_n173 n_n174 [91] n_n59 |
| -------1 1 |
| 0-1---1- 1 |
| -00---1- 1 |
| --00--1- 1 |
| ---10-1- 1 |
| --1--11- 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_9_ s510_in_8_ s510_in_17_ n_n169 n_n170 n_n171 n_n173 n_n174 \ |
| [66] |
| --00---- 1 |
| -0--0--- 1 |
| ---0-1-- 1 |
| ----00-- 1 |
| 0-----0- 1 |
| ----0-0- 1 |
| -----0-0 1 |
| .names s510_in_12_ s510_in_11_ s510_in_5_ s510_in_1_ s510_in_2_ n_n171 n_n172 \ |
| n_n173 [63] |
| ---0--11 1 |
| ----0-11 1 |
| --1--101 1 |
| 11---100 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_12_ s510_in_9_ s510_in_5_ n_n172 n_n173 n_n174 [22] |
| -0-10- 1 |
| 0--00- 1 |
| --0010 1 |
| .names s510_in_8_ s510_in_1_ s510_in_2_ n_n169 n_n170 n_n171 n_n172 n_n173 \ |
| [91] |
| 1--10111 1 |
| -1111111 1 |
| .names s510_in_8_ s510_in_17_ n_n169 n_n170 n_n171 n_n172 n_n173 n_n174 [99] |
| 0-1---1- 1 |
| -00---1- 1 |
| --00--1- 1 |
| ---00-1- 1 |
| --0--01- 1 |
| ----101- 1 |
| ---1--10 1 |
| .names s510_in_10_ s510_in_15_ s510_in_14_ n_n172 n_n173 n_n174 [126] |
| 11-10- 1 |
| -11000 1 |
| .names s510_in_3_ n_n171 n_n173 n_n174 [137] |
| 1011 1 |
| .names s510_in_12_ s510_in_16_ s510_in_13_ n_n171 n_n172 n_n173 n_n174 [139] |
| -1--10- 1 |
| 1----01 1 |
| --1100- 1 |
| -1-0-00 1 |
| .names s510_in_7_ n_n170 n_n171 n_n172 n_n173 n_n174 [150] |
| 010010 1 |
| .names s510_in_8_ s510_in_0_ s510_in_13_ n_n171 n_n172 n_n173 n_n174 [155] |
| -0-1--1 1 |
| 0--111- 1 |
| --0100- 1 |
| .names s510_in_12_ s510_in_9_ s510_in_5_ n_n171 n_n172 n_n173 n_n174 [168] |
| -0-110- 1 |
| 0--100- 1 |
| --01010 1 |
| .names s510_in_18_ s510_in_16_ n_n169 n_n171 n_n172 n_n173 n_n174 [538] |
| 1-0---- 1 |
| -0--10- 1 |
| -0-0-00 1 |
| .names s510_in_8_ s510_in_3_ s510_in_4_ n_n171 n_n172 n_n173 n_n174 [539] |
| 0---010 1 |
| -0-0011 1 |
| --00110 1 |
| .names s510_in_2_ s510_in_3_ s510_in_15_ n_n169 n_n171 n_n172 n_n173 n_n174 \ |
| [549] |
| 0---111- 1 |
| --0-0-00 1 |
| -0-1011- 1 |
| .names s510_in_12_ s510_in_8_ n_n169 n_n170 n_n171 n_n172 n_n173 n_n174 [550] |
| --0--0-- 1 |
| --0----0 1 |
| 0-----01 1 |
| -0110-11 1 |
| .names s510_in_8_ s510_in_4_ s510_in_0_ n_n171 n_n172 n_n173 n_n174 [557] |
| --11--1 1 |
| -1-011- 1 |
| 1---010 1 |
| .names s510_in_1_ s510_in_17_ n_n169 n_n171 n_n172 n_n173 [558] |
| -00--- 1 |
| 0--111 1 |
| .names s510_in_7_ n_n169 n_n170 n_n171 n_n172 n_n173 n_n174 [560] |
| -1--1-1 1 |
| 0-1001- 1 |
| -110-11 1 |
| .names n_n169 n_n170 [137] [139] [557] [560] [561] |
| -----1 1 |
| 1-1--- 1 |
| 10-1-- 1 |
| 10--1- 1 |
| .names s510_in_6_ s510_in_7_ s510_in_3_ n_n172 n_n173 n_n174 [567] |
| --111- 1 |
| 11-010 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_12_ n_n169 n_n170 n_n171 n_n173 n_n174 [578] |
| -111-1 1 |
| 110-01 1 |
| .names s510_in_12_ s510_in_9_ n_n169 n_n170 n_n171 n_n172 n_n173 n_n174 [586] |
| 1-1---01 1 |
| -11111-- 1 |
| .end |