| .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 [89] [591] s510_out_0_ |
| 1- 1 |
| -1 1 |
| .names [47] [592] s510_out_1_ |
| 1- 1 |
| -1 1 |
| .names [593] [594] s510_out_2_ |
| 1- 1 |
| -1 1 |
| .names [36] [33] s510_out_3_ |
| 1- 1 |
| -1 1 |
| .names [73] [597] s510_out_4_ |
| 11 1 |
| .names [36] [23] s510_out_5_ |
| 1- 1 |
| -1 1 |
| .names n_n170 [56] s510_out_6_ |
| 11 1 |
| .names [149] [552] n_n54 |
| 1- 1 |
| -1 1 |
| .names [132] [561] n_n55 |
| 1- 1 |
| -1 1 |
| .names [119] [573] n_n56 |
| 1- 1 |
| -1 1 |
| .names [106] [579] n_n57 |
| 1- 1 |
| -1 1 |
| .names [99] [586] n_n58 |
| 1- 1 |
| -1 1 |
| .names [91] [92] n_n59 |
| 1- 1 |
| -1 1 |
| .names [562] [563] [28] |
| 11 1 |
| .names n_n169 n_n170 [53] |
| 11 1 |
| .names [126] [567] [61] |
| 1- 1 |
| -1 1 |
| .names [571] [572] [59] |
| 1- 1 |
| -1 1 |
| .names n_n171 n_n174 [56] |
| 11 1 |
| .names [115] [577] [66] |
| 1- 1 |
| -1 1 |
| .names [110] [111] [63] |
| 1- 1 |
| -1 1 |
| .names [168] [549] [21] |
| 1- 1 |
| -1 1 |
| .names [163] [164] [26] |
| 1- 1 |
| -1 1 |
| .names [541] [542] [35] |
| 11 1 |
| .names n_n174 [533] [40] |
| 0- 1 |
| -1 1 |
| .names [539] [540] [69] |
| 1- 1 |
| -1 1 |
| .names [24] [50] [58] |
| 11 1 |
| .names [27] [596] [73] |
| 1- 1 |
| -1 1 |
| .names n_n174 [553] [36] |
| 11 1 |
| .names [26] [41] [76] |
| 1- 1 |
| -1 1 |
| .names [136] [137] [75] |
| 1- 1 |
| -1 1 |
| .names n_n174 [55] [51] |
| 01 1 |
| .names [101] [585] [80] |
| 1- 1 |
| -1 1 |
| .names [38] [595] [82] |
| 1- 1 |
| -1 1 |
| .names n_n171 [24] [52] |
| 11 1 |
| .names [96] [589] [84] |
| 1- 1 |
| -1 1 |
| .names [93] [94] [83] |
| 1- 1 |
| -1 1 |
| .names n_n172 n_n173 [55] |
| 01 1 |
| .names n_n169 n_n172 [87] |
| 1- 1 |
| -0 1 |
| .names [171] [547] [22] |
| 1- 1 |
| -1 1 |
| .names n_n172 n_n173 [24] |
| 11 1 |
| .names n_n171 n_n174 [50] |
| 00 1 |
| .names n_n172 n_n173 [57] |
| 00 1 |
| .names n_n172 n_n174 [88] |
| 0- 1 |
| -0 1 |
| .names [21] [558] [41] |
| 1- 1 |
| -1 1 |
| .names n_n171 n_n172 [54] |
| 10 1 |
| .names s510_in_8_ [24] [60] |
| 0- 1 |
| -0 1 |
| .names [129] [130] [62] |
| 1- 1 |
| -1 1 |
| .names s510_in_1_ s510_in_2_ [65] |
| 0- 1 |
| -0 1 |
| .names [112] [113] [64] |
| 1- 1 |
| -1 1 |
| .names n_n173 [575] [68] |
| 0- 1 |
| -1 1 |
| .names s510_in_17_ n_n171 [67] |
| 0- 1 |
| -1 1 |
| .names n_n172 [50] [72] |
| 1- 1 |
| -1 1 |
| .names [161] [537] [71] |
| 1- 1 |
| -1 1 |
| .names [158] [159] [70] |
| 1- 1 |
| -1 1 |
| .names n_n171 n_n172 [74] |
| 01 1 |
| 10 1 |
| .names [139] [557] [77] |
| 1- 1 |
| -1 1 |
| .names [142] [555] [78] |
| 1- 1 |
| -1 1 |
| .names n_n172 [50] [79] |
| 1- 1 |
| -1 1 |
| .names n_n172 [582] [81] |
| 0- 1 |
| -1 1 |
| .names s510_in_12_ n_n173 [86] |
| 0- 1 |
| -1 1 |
| .names s510_in_17_ n_n170 [85] |
| 0- 1 |
| -0 1 |
| .names [51] [599] [23] |
| 11 1 |
| .names n_n173 [74] [27] |
| 01 1 |
| .names n_n172 [50] [29] |
| 01 1 |
| .names n_n169 [82] [33] |
| 01 1 |
| .names n_n171 n_n172 [37] |
| 00 1 |
| .names n_n170 n_n171 [38] |
| 01 1 |
| .names n_n171 [87] [42] |
| 01 1 |
| .names n_n172 n_n174 [43] |
| 10 1 |
| .names n_n170 n_n173 [44] |
| 11 1 |
| .names n_n170 [58] [46] |
| 01 1 |
| .names n_n170 [52] [47] |
| 11 1 |
| .names n_n174 [590] [49] |
| 11 1 |
| .names n_n170 [40] [89] |
| 11 1 |
| .names [83] [588] [91] |
| 11 1 |
| .names n_n174 [84] [92] |
| 11 1 |
| .names n_n170 [587] [93] |
| 11 1 |
| .names s510_in_8_ n_n170 [94] |
| 10 1 |
| .names n_n169 [85] [95] |
| 01 1 |
| .names n_n169 [86] [96] |
| 11 1 |
| .names n_n170 n_n172 [97] |
| 10 1 |
| .names [580] [581] [98] |
| 11 1 |
| .names n_n173 [80] [99] |
| 11 1 |
| .names n_n169 [81] [101] |
| 01 1 |
| .names s510_in_8_ n_n169 [102] |
| 01 1 |
| .names n_n170 n_n174 [103] |
| 10 1 |
| .names n_n170 n_n171 [104] |
| 00 1 |
| .names [53] [63] [106] |
| 11 1 |
| .names n_n172 [66] [107] |
| 11 1 |
| .names n_n170 [28] [108] |
| 01 1 |
| .names s510_out_6_ n_n169 [109] |
| 11 1 |
| .names [54] [64] [110] |
| 11 1 |
| .names [24] [65] [111] |
| 11 1 |
| .names n_n173 [574] [112] |
| 01 1 |
| .names s510_in_5_ n_n173 [113] |
| 11 1 |
| .names n_n169 [67] [114] |
| 01 1 |
| .names n_n170 [68] [115] |
| 01 1 |
| .names s510_in_9_ n_n173 [116] |
| 00 1 |
| .names [61] [568] [118] |
| 11 1 |
| .names n_n171 [59] [119] |
| 11 1 |
| .names [24] [569] [121] |
| 11 1 |
| .names n_n170 [60] [122] |
| 01 1 |
| .names s510_in_11_ [57] [123] |
| 01 1 |
| .names [62] [565] [126] |
| 11 1 |
| .names [51] [566] [127] |
| 11 1 |
| .names s510_in_3_ [24] [128] |
| 11 1 |
| .names n_n174 [564] [129] |
| 01 1 |
| .names s510_in_10_ n_n172 [130] |
| 11 1 |
| .names n_n169 [75] [131] |
| 11 1 |
| .names n_n170 [76] [132] |
| 11 1 |
| .names [53] [40] [133] |
| 10 1 |
| .names n_n170 [77] [136] |
| 01 1 |
| .names s510_in_3_ [40] [137] |
| 10 1 |
| .names [24] [554] [138] |
| 11 1 |
| .names n_n173 [78] [139] |
| 01 1 |
| .names s510_in_0_ [56] [140] |
| 11 1 |
| .names s510_in_8_ [51] [141] |
| 11 1 |
| .names s510_in_16_ [79] [142] |
| 11 1 |
| .names s510_in_13_ [54] [143] |
| 11 1 |
| .names s510_in_12_ n_n174 [144] |
| 11 1 |
| .names s510_in_1_ [52] [145] |
| 01 1 |
| .names s510_in_17_ n_n169 [146] |
| 00 1 |
| .names [40] [534] [148] |
| 01 1 |
| .names n_n170 [69] [149] |
| 01 1 |
| .names n_n174 [35] [150] |
| 01 1 |
| .names n_n170 [21] [151] |
| 11 1 |
| .names [72] [535] [153] |
| 11 1 |
| .names [55] [70] [154] |
| 11 1 |
| .names n_n171 [71] [155] |
| 11 1 |
| .names s510_in_4_ [58] [156] |
| 01 1 |
| .names s510_in_18_ n_n169 [157] |
| 10 1 |
| .names n_n174 [536] [158] |
| 11 1 |
| .names s510_in_8_ n_n174 [159] |
| 00 1 |
| .names s510_in_13_ [57] [160] |
| 01 1 |
| .names s510_in_8_ [24] [161] |
| 01 1 |
| .names s510_in_0_ n_n174 [162] |
| 01 1 |
| .names n_n174 [532] [163] |
| 11 1 |
| .names n_n169 [88] [164] |
| 01 1 |
| .names [543] [544] [165] |
| 11 1 |
| .names [50] [545] [166] |
| 11 1 |
| .names s510_in_2_ [52] [167] |
| 01 1 |
| .names n_n171 [22] [168] |
| 11 1 |
| .names n_n173 [546] [169] |
| 01 1 |
| .names s510_in_12_ [57] [170] |
| 01 1 |
| .names s510_in_5_ [51] [171] |
| 01 1 |
| .names n_n173 s510_in_12_ [532] |
| 00 1 |
| .names n_n173 n_n171 [533] |
| 0- 1 |
| -1 1 |
| .names [53] s510_in_8_ [534] |
| 10 1 |
| .names n_n173 s510_in_16_ [535] |
| 00 1 |
| .names n_n171 s510_in_3_ [536] |
| 00 1 |
| .names [160] [162] [537] |
| 1- 1 |
| -1 1 |
| .names [153] [157] [538] |
| 1- 1 |
| -1 1 |
| .names [154] [156] [539] |
| 1- 1 |
| -1 1 |
| .names [155] [538] [540] |
| 1- 1 |
| -1 1 |
| .names n_n170 s510_in_7_ [541] |
| 10 1 |
| .names [55] n_n171 [542] |
| 10 1 |
| .names n_n169 s510_in_3_ [543] |
| 10 1 |
| .names [24] n_n171 [544] |
| 10 1 |
| .names n_n173 s510_in_15_ [545] |
| 00 1 |
| .names n_n172 s510_in_9_ [546] |
| 10 1 |
| .names [170] [169] [547] |
| 1- 1 |
| -1 1 |
| .names [165] [166] [548] |
| 1- 1 |
| -1 1 |
| .names [548] [167] [549] |
| 1- 1 |
| -1 1 |
| .names [148] [26] [550] |
| 1- 1 |
| -1 1 |
| .names [550] [150] [551] |
| 1- 1 |
| -1 1 |
| .names [151] [551] [552] |
| 1- 1 |
| -1 1 |
| .names n_n172 n_n169 [553] |
| 11 1 |
| .names n_n171 s510_in_4_ [554] |
| 01 1 |
| .names [143] [144] [555] |
| 1- 1 |
| -1 1 |
| .names [140] [138] [556] |
| 1- 1 |
| -1 1 |
| .names [556] [141] [557] |
| 1- 1 |
| -1 1 |
| .names [145] [146] [558] |
| 1- 1 |
| -1 1 |
| .names [35] [36] [559] |
| 1- 1 |
| -1 1 |
| .names [559] [133] [560] |
| 1- 1 |
| -1 1 |
| .names [131] [560] [561] |
| 1- 1 |
| -1 1 |
| .names n_n169 s510_in_12_ [562] |
| 11 1 |
| .names n_n174 n_n173 [563] |
| 10 1 |
| .names n_n172 s510_in_14_ [564] |
| 01 1 |
| .names n_n173 s510_in_15_ [565] |
| 01 1 |
| .names s510_in_7_ s510_in_6_ [566] |
| 11 1 |
| .names [127] [128] [567] |
| 1- 1 |
| -1 1 |
| .names [53] n_n171 [568] |
| 10 1 |
| .names n_n170 s510_in_2_ [569] |
| 10 1 |
| .names [121] n_n169 [570] |
| 1- 1 |
| -0 1 |
| .names [122] [123] [571] |
| 1- 1 |
| -1 1 |
| .names [22] [570] [572] |
| 1- 1 |
| -1 1 |
| .names [118] [28] [573] |
| 1- 1 |
| -1 1 |
| .names s510_in_11_ s510_in_12_ [574] |
| 11 1 |
| .names n_n171 s510_in_8_ [575] |
| 0- 1 |
| -0 1 |
| .names [116] [50] [576] |
| 1- 1 |
| -1 1 |
| .names [576] [114] [577] |
| 1- 1 |
| -1 1 |
| .names [109] [108] [578] |
| 1- 1 |
| -1 1 |
| .names [107] [578] [579] |
| 1- 1 |
| -1 1 |
| .names n_n171 s510_in_9_ [580] |
| 11 1 |
| .names [53] n_n172 [581] |
| 11 1 |
| .names n_n170 s510_in_17_ [582] |
| 0- 1 |
| -0 1 |
| .names [102] [54] [583] |
| 1- 1 |
| -1 1 |
| .names [104] [103] [584] |
| 1- 1 |
| -1 1 |
| .names [584] [583] [585] |
| 1- 1 |
| -1 1 |
| .names [98] [28] [586] |
| 1- 1 |
| -1 1 |
| .names s510_in_2_ s510_in_1_ [587] |
| 11 1 |
| .names [52] n_n169 [588] |
| 11 1 |
| .names [95] [97] [589] |
| 1- 1 |
| -1 1 |
| .names n_n172 n_n170 [590] |
| 00 1 |
| .names [49] [58] [591] |
| 1- 1 |
| -1 1 |
| .names [46] [56] [592] |
| 1- 1 |
| -1 1 |
| .names [43] [55] [593] |
| 1- 1 |
| -1 1 |
| .names [42] [44] [594] |
| 1- 1 |
| -1 1 |
| .names [37] n_n174 [595] |
| 1- 1 |
| -0 1 |
| .names [29] [52] [596] |
| 1- 1 |
| -1 1 |
| .names n_n170 n_n169 [597] |
| 00 1 |
| .names n_n170 n_n169 [598] |
| 00 1 |
| .names [598] n_n171 [599] |
| 11 1 |
| .end |