| .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 [21] [26] [69] [148] [150] n_n54 |
| --1--- 1 |
| ----1- 1 |
| -----1 1 |
| 11---- 1 |
| 0--1-- 1 |
| .names n_n169 n_n170 [26] [75] [41] [560] n_n55 |
| -----1 1 |
| -11--- 1 |
| 1--1-- 1 |
| -1--1- 1 |
| .names n_n171 [22] [570] [571] [573] n_n56 |
| ----1 1 |
| 11--- 1 |
| 1-1-- 1 |
| 1--1- 1 |
| .names n_n169 n_n170 [110] [111] [579] n_n57 |
| ----1 1 |
| 111-- 1 |
| 11-1- 1 |
| .names n_n173 [28] [98] [101] [585] n_n58 |
| -1--- 1 |
| --1-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names n_n174 [84] [83] [588] n_n59 |
| 11-- 1 |
| --11 1 |
| .names s510_in_12_ n_n169 n_n173 n_n174 [28] |
| 1101 1 |
| .names n_n171 [22] [165] [166] [167] [21] |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 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_7_ n_n170 n_n171 n_n172 n_n173 [35] |
| 01001 1 |
| .names n_n171 [71] [153] [154] [156] [157] [69] |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 11---- 1 |
| .names n_n170 n_n173 [78] [137] [141] [556] [75] |
| ---1-- 1 |
| 0---1- 1 |
| 0----1 1 |
| 001--- 1 |
| .names s510_in_12_ s510_in_17_ n_n169 n_n170 n_n172 n_n173 [84] |
| 0-1--- 1 |
| -00--- 1 |
| --00-- 1 |
| ---10- 1 |
| --1--1 1 |
| .names s510_in_8_ s510_in_1_ s510_in_2_ n_n170 [83] |
| 1--0 1 |
| -111 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 n_n171 [22] [165] [166] [167] [558] [41] |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 11---- 1 |
| .names s510_in_8_ s510_in_0_ s510_in_13_ n_n172 n_n173 n_n174 [71] |
| -0---1 1 |
| 0--11- 1 |
| --000- 1 |
| .names s510_in_12_ s510_in_16_ s510_in_13_ n_n171 n_n172 n_n174 [78] |
| -1--1- 1 |
| 1----1 1 |
| --110- 1 |
| -1-0-0 1 |
| .names s510_in_9_ n_n169 n_n170 n_n171 n_n172 [98] |
| 11111 1 |
| .names s510_in_17_ n_n169 n_n170 n_n172 [101] |
| 00-- 1 |
| -00- 1 |
| -0-0 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_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_8_ n_n172 n_n173 n_n174 [141] |
| 1010 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_16_ n_n171 n_n172 n_n173 n_n174 [153] |
| 0-10- 1 |
| 00-00 1 |
| .names s510_in_8_ s510_in_3_ n_n171 n_n172 n_n173 n_n174 [154] |
| 0--010 1 |
| -00011 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_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 s510_in_4_ s510_in_0_ n_n171 n_n172 n_n173 n_n174 [556] |
| -11--1 1 |
| 1-011- 1 |
| .names s510_in_1_ s510_in_17_ n_n169 n_n171 n_n172 n_n173 [558] |
| -00--- 1 |
| 0--111 1 |
| .names n_n169 n_n172 n_n174 [35] [133] [560] |
| ---1- 1 |
| ----1 1 |
| 111-- 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_n172 [115] [577] [578] [579] |
| ---1 1 |
| 11-- 1 |
| 1-1- 1 |
| .names s510_in_8_ n_n169 n_n170 n_n171 n_n172 n_n174 [585] |
| 01---- 1 |
| --00-- 1 |
| ---10- 1 |
| --1--0 1 |
| .names n_n169 n_n171 n_n172 n_n173 [588] |
| 1111 1 |
| .end |