| .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 [155] [538] [539] [552] n_n54 |
| ----1 1 |
| 01--- 1 |
| 0-1-- 1 |
| 0--1- 1 |
| .names n_n169 n_n170 [132] [137] [139] [557] [560] n_n55 |
| --1---- 1 |
| ------1 1 |
| 1--1--- 1 |
| 10--1-- 1 |
| 10---1- 1 |
| .names n_n171 [22] [570] [571] [573] n_n56 |
| ----1 1 |
| 11--- 1 |
| 1-1-- 1 |
| 1--1- 1 |
| .names n_n172 [53] [110] [111] [115] [577] [578] n_n57 |
| ------1 1 |
| -11---- 1 |
| -1-1--- 1 |
| 1---1-- 1 |
| 1----1- 1 |
| .names s510_in_12_ n_n169 n_n173 n_n174 [80] [98] n_n58 |
| -----1 1 |
| --1-1- 1 |
| 1101-- 1 |
| .names s510_in_8_ s510_in_1_ s510_in_2_ n_n170 [92] [588] n_n59 |
| ----1- 1 |
| 1--0-1 1 |
| -111-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_n169 n_n172 n_n173 n_n174 [26] |
| -00-- 1 |
| -0--0 1 |
| 0--01 1 |
| .names s510_in_8_ s510_in_17_ n_n169 n_n170 n_n171 n_n172 n_n174 [80] |
| 0-1---- 1 |
| -00---- 1 |
| --00--- 1 |
| ---00-- 1 |
| --0--0- 1 |
| ----10- 1 |
| ---1--0 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_12_ s510_in_17_ n_n169 n_n170 n_n172 n_n173 n_n174 [92] |
| 0-1---1 1 |
| -00---1 1 |
| --00--1 1 |
| ---10-1 1 |
| --1--11 1 |
| .names s510_in_9_ n_n169 n_n170 n_n171 n_n172 [98] |
| 11111 1 |
| .names s510_in_12_ s510_in_11_ s510_in_5_ n_n171 n_n172 n_n173 [110] |
| --1101 1 |
| 11-100 1 |
| .names s510_in_1_ s510_in_2_ n_n172 n_n173 [111] |
| 0-11 1 |
| -011 1 |
| .names s510_in_8_ n_n170 n_n171 n_n173 [115] |
| 00-- 1 |
| -00- 1 |
| -0-0 1 |
| .names s510_in_10_ s510_in_15_ s510_in_14_ n_n172 n_n173 n_n174 [126] |
| 11-10- 1 |
| -11000 1 |
| .names n_n170 [26] [167] [168] [548] [558] [132] |
| 11---- 1 |
| 1-1--- 1 |
| 1--1-- 1 |
| 1---1- 1 |
| 1----1 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_8_ n_n169 n_n170 n_n171 n_n173 n_n174 [148] |
| 011011 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_2_ n_n171 n_n172 n_n173 [167] |
| 0111 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_3_ s510_in_15_ n_n169 n_n171 n_n172 n_n173 n_n174 [548] |
| -0-0-00 1 |
| 0-1011- 1 |
| .names n_n170 [26] [148] [150] [167] [168] [548] [552] |
| -1----- 1 |
| --1---- 1 |
| ---1--- 1 |
| 1---1-- 1 |
| 1----1- 1 |
| 1-----1 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 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 n_n169 n_n170 n_n171 [28] [126] [567] [573] |
| ---1-- 1 |
| 110-1- 1 |
| 110--1 1 |
| .names s510_in_9_ s510_in_17_ n_n169 n_n171 n_n173 n_n174 [577] |
| -00--- 1 |
| --01-- 1 |
| 0---0- 1 |
| ---0-0 1 |
| .names s510_in_12_ n_n169 n_n170 n_n171 n_n173 n_n174 [578] |
| -111-1 1 |
| 110-01 1 |
| .names n_n169 n_n171 n_n172 n_n173 [588] |
| 1111 1 |
| .end |