| .model top |
| .inputs s820_in_9_ s820_in_8_ s820_in_7_ s820_in_6_ s820_in_5_ s820_in_10_ \ |
| s820_in_4_ s820_in_11_ s820_in_3_ s820_in_12_ s820_in_2_ s820_in_13_ \ |
| s820_in_1_ s820_in_14_ s820_in_0_ s820_in_15_ s820_in_16_ s820_in_17_ clock |
| .outputs s820_out_0_ s820_out_2_ s820_out_1_ s820_out_4_ s820_out_3_ \ |
| s820_out_18_ s820_out_17_ s820_out_16_ s820_out_11_ s820_out_10_ s820_out_15_ \ |
| s820_out_14_ s820_out_13_ s820_out_12_ s820_out_6_ s820_out_5_ s820_out_8_ \ |
| s820_out_7_ s820_out_9_ |
| .latch n_n77 n_n216 re clock 2 |
| .latch n_n78 n_n217 re clock 2 |
| .latch n_n79 n_n218 re clock 2 |
| .latch n_n80 n_n219 re clock 2 |
| .latch n_n81 n_n220 re clock 2 |
| .names s820_in_13_ s820_out_3_ [657] s820_out_0_ |
| --1 1 |
| 11- 1 |
| .names [39] [99] [658] s820_out_2_ |
| 111 1 |
| .names [81] [140] [629] s820_out_1_ |
| 1-1 1 |
| -11 1 |
| .names s820_in_16_ [76] n_n112 s820_out_4_ |
| 11- 1 |
| 1-1 1 |
| .names [46] [158] [624] s820_out_3_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s820_in_2_ n_n216 [62] s820_out_18_ |
| 101 1 |
| .names s820_in_2_ n_n216 [609] s820_out_17_ |
| 101 1 |
| .names s820_in_12_ [68] [588] s820_out_16_ |
| 011 1 |
| .names n_n218 [40] [660] s820_out_11_ |
| 011 1 |
| .names s820_in_12_ [68] [588] s820_out_15_ |
| 111 1 |
| .names n_n219 n_n220 [588] s820_out_14_ |
| 111 1 |
| .names n_n216 n_n219 n_n220 s820_out_13_ |
| 100 1 |
| .names s820_in_3_ s820_out_8_ s820_out_6_ |
| 11 1 |
| .names n_n218 [40] s820_out_5_ |
| 01 1 |
| .names s820_in_2_ [592] [593] s820_out_8_ |
| 111 1 |
| .names n_n217 n_n218 [593] s820_out_7_ |
| 001 1 |
| .names n_n220 [40] [662] s820_out_9_ |
| 011 1 |
| .names s820_in_0_ [113] n_n77 |
| 01 1 |
| .names s820_in_0_ [165] [617] n_n78 |
| 01- 1 |
| 0-1 1 |
| .names s820_in_0_ [100] n_n79 |
| 01 1 |
| .names s820_in_0_ [74] [646] n_n80 |
| 01- 1 |
| 0-1 1 |
| .names s820_in_0_ [88] n_n81 |
| 01 1 |
| .names n_n220 [40] [76] |
| 01 1 |
| .names [48] [50] [655] [88] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n217 n_n218 n_n219 [66] |
| 100 1 |
| .names n_n217 n_n218 [594] [39] |
| 101 1 |
| .names s820_in_13_ s820_in_1_ [69] |
| 1- 1 |
| -0 1 |
| .names s820_in_2_ n_n220 [80] |
| 10 1 |
| .names s820_in_7_ s820_in_6_ s820_in_5_ [99] |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [143] [144] [627] [100] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n216 n_n219 [75] |
| 10 1 |
| .names n_n220 [40] [589] [65] |
| 011 1 |
| .names s820_in_13_ [33] [606] [113] |
| --1 1 |
| 01- 1 |
| .names [75] [83] [163] [46] |
| --1 1 |
| 11- 1 |
| .names n_n218 n_n219 n_n220 [62] |
| 011 1 |
| .names n_n217 n_n218 n_n219 [116] |
| 1-- 1 |
| -11 1 |
| .names n_n216 n_n219 [591] n_n112 |
| 101 1 |
| .names n_n219 n_n220 [68] |
| 11 1 |
| .names s820_in_2_ n_n216 [77] |
| 10 1 |
| .names n_n216 n_n217 n_n219 [40] |
| 000 1 |
| .names s820_in_7_ s820_in_6_ s820_in_5_ [119] |
| 1-- 1 |
| -11 1 |
| .names [68] [84] [190] [118] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [188] [189] [600] [33] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [184] [185] [590] [37] |
| 1-1 1 |
| -11 1 |
| .names n_n217 n_n218 [79] |
| 10 1 |
| .names n_n216 n_n219 [87] |
| 00 1 |
| .names n_n218 n_n219 [84] |
| 11 1 |
| .names s820_in_14_ s820_in_16_ [82] |
| 00 1 |
| .names s820_out_16_ [173] [45] |
| 1- 1 |
| -1 1 |
| .names n_n217 n_n218 [83] |
| 01 1 |
| .names s820_in_7_ s820_in_6_ [55] |
| 1- 1 |
| -1 1 |
| .names s820_in_9_ s820_in_8_ [635] [61] |
| 1-- 1 |
| -0- 1 |
| --1 1 |
| .names s820_in_2_ n_n216 [78] |
| 00 1 |
| .names s820_in_1_ n_n220 [81] |
| 01 1 |
| .names n_n217 n_n220 [85] |
| 00 1 |
| .names s820_in_4_ n_n218 n_n219 [98] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names n_n216 n_n217 n_n219 [101] |
| 1-1 1 |
| -10 1 |
| .names s820_in_7_ s820_in_6_ [104] |
| 01 1 |
| 10 1 |
| .names [85] [129] [630] [106] |
| -1- 1 |
| 1-1 1 |
| .names s820_in_3_ s820_in_2_ [115] |
| 0- 1 |
| -0 1 |
| .names n_n112 s820_out_10_ |
| 1 1 |
| .names n_n112 s820_out_12_ |
| 1 1 |
| .names s820_in_1_ [46] [38] [34] |
| 01- 1 |
| 0-1 1 |
| .names n_n216 [68] [44] [38] |
| 01- 1 |
| 0-1 1 |
| .names n_n217 n_n218 n_n220 [44] |
| 11- 1 |
| 1-0 1 |
| .names n_n217 [53] [54] [48] |
| 11- 1 |
| 1-1 1 |
| .names [83] [59] [650] [49] |
| 11- 1 |
| 1-1 1 |
| .names n_n220 [652] [653] [50] |
| 11- 1 |
| 1-1 1 |
| .names [69] [84] [190] [51] |
| 11- 1 |
| 1-1 1 |
| .names s820_in_14_ s820_in_16_ [647] [53] |
| 001 1 |
| .names s820_in_2_ [56] [649] [54] |
| 11- 1 |
| 1-1 1 |
| .names s820_in_7_ s820_in_6_ [648] [56] |
| 001 1 |
| .names n_n219 [634] [635] [59] |
| 01- 1 |
| 0-1 1 |
| .names s820_in_2_ n_n217 n_n219 [64] |
| 00- 1 |
| -01 1 |
| .names [69] [131] [641] [74] |
| 01- 1 |
| 0-1 1 |
| .names s820_in_1_ n_n220 [40] [123] |
| 101 1 |
| .names s820_in_13_ n_n216 n_n220 [129] |
| 011 1 |
| .names n_n218 [135] [639] [131] |
| 11- 1 |
| 1-1 1 |
| .names [79] [55] [594] [132] |
| 111 1 |
| .names n_n220 [138] [638] [135] |
| 01- 1 |
| 0-1 1 |
| .names s820_in_2_ n_n216 n_n219 [136] |
| 001 1 |
| .names s820_in_4_ n_n217 [138] |
| 11 1 |
| .names n_n216 [612] [613] [140] |
| 100 1 |
| .names [101] [618] [142] |
| 11 1 |
| .names s820_in_1_ [622] [623] [143] |
| 11- 1 |
| 1-1 1 |
| .names s820_in_13_ s820_out_3_ [144] |
| 11 1 |
| .names n_n218 [153] [621] [150] |
| 11- 1 |
| 1-1 1 |
| .names n_n216 n_n217 n_n219 [153] |
| 00- 1 |
| -00 1 |
| .names n_n216 [116] [158] |
| 01 1 |
| .names n_n218 n_n220 [163] |
| 10 1 |
| .names n_n217 n_n218 [608] [164] |
| 101 1 |
| .names [69] [168] [616] [165] |
| 01- 1 |
| 0-1 1 |
| .names s820_in_2_ n_n220 [610] [167] |
| 101 1 |
| .names n_n217 [170] [615] [168] |
| 11- 1 |
| 1-1 1 |
| .names [612] [613] [614] [170] |
| 1-1 1 |
| -11 1 |
| .names s820_in_2_ n_n218 n_n219 [172] |
| 011 1 |
| .names [75] [591] [607] [173] |
| 111 1 |
| .names n_n112 [82] [182] [175] |
| 11- 1 |
| -11 1 |
| .names [115] [592] [593] [176] |
| 111 1 |
| .names s820_in_1_ n_n220 [40] [177] |
| 011 1 |
| .names s820_in_15_ n_n220 [40] [182] |
| 101 1 |
| .names s820_in_1_ n_n217 n_n220 [184] |
| 100 1 |
| .names s820_in_17_ n_n217 [185] |
| 01 1 |
| .names [199] [596] [597] [187] |
| 1-1 1 |
| -11 1 |
| .names s820_in_1_ [118] [188] |
| 01 1 |
| .names n_n216 [598] [599] [189] |
| 11- 1 |
| 1-1 1 |
| .names n_n216 n_n217 [190] |
| 01 1 |
| .names s820_in_2_ n_n218 n_n219 [194] |
| 011 1 |
| .names n_n217 n_n218 n_n219 [195] |
| 010 1 |
| .names s820_in_4_ n_n220 [199] |
| 00 1 |
| .names n_n218 n_n216 [588] |
| 11 1 |
| .names s820_in_16_ s820_in_1_ [589] |
| 01 1 |
| .names n_n216 n_n218 n_n219 [590] |
| 101 1 |
| .names n_n218 n_n217 [591] |
| 11 1 |
| .names n_n218 n_n217 [592] |
| 00 1 |
| .names n_n216 n_n219 n_n220 [593] |
| 101 1 |
| .names n_n219 n_n216 [594] |
| 10 1 |
| .names [80] [79] [594] [595] |
| 111 1 |
| .names n_n217 n_n219 n_n220 [596] |
| 10- 1 |
| 0-0 1 |
| .names s820_in_2_ n_n216 n_n218 [597] |
| 101 1 |
| .names n_n219 n_n220 [66] [598] |
| --1 1 |
| 11- 1 |
| .names [195] [194] [599] |
| 1- 1 |
| -1 1 |
| .names [119] [187] [595] [600] |
| -1- 1 |
| 1-1 1 |
| .names [37] [65] [603] |
| 1- 1 |
| -1 1 |
| .names s820_out_14_ [176] [177] [604] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [175] [603] [604] [606] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s820_in_14_ s820_in_15_ s820_in_16_ [607] |
| 000 1 |
| .names s820_in_17_ n_n216 n_n219 [608] |
| 011 1 |
| .names n_n218 n_n219 n_n220 [609] |
| 111 1 |
| .names n_n218 n_n216 [610] |
| 11 1 |
| .names s820_in_11_ s820_in_10_ [612] |
| 0- 1 |
| -0 1 |
| .names s820_in_9_ s820_in_8_ s820_in_2_ [613] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names n_n219 n_n218 [614] |
| 00 1 |
| .names n_n216 [98] [172] [615] |
| --1 1 |
| 01- 1 |
| .names [77] [167] [609] [616] |
| -1- 1 |
| 1-1 1 |
| .names s820_out_16_ [164] [173] [617] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s820_in_1_ n_n218 n_n220 [618] |
| 001 1 |
| .names s820_in_2_ s820_in_5_ [619] |
| 10 1 |
| .names [79] [594] [619] [620] |
| 111 1 |
| .names s820_in_2_ n_n216 n_n220 [621] |
| 00- 1 |
| 0-0 1 |
| .names s820_out_18_ n_n220 [40] [622] |
| 1-- 1 |
| -11 1 |
| .names [104] [150] [620] [623] |
| -1- 1 |
| 1-1 1 |
| .names [62] [66] [624] |
| 1- 1 |
| -1 1 |
| .names s820_out_8_ [45] [142] [627] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [66] s820_in_13_ [629] |
| 10 1 |
| .names n_n216 s820_in_17_ [630] |
| 00 1 |
| .names n_n219 n_n218 [632] |
| 10 1 |
| .names n_n219 n_n217 [633] |
| 11 1 |
| .names s820_in_8_ s820_in_9_ [634] |
| 0- 1 |
| -1 1 |
| .names s820_in_11_ s820_in_10_ [635] |
| 0- 1 |
| -1 1 |
| .names s820_in_2_ n_n217 [75] [637] |
| 101 1 |
| .names s820_in_2_ n_n216 n_n217 [638] |
| 0-- 1 |
| -10 1 |
| .names [61] [136] [637] [639] |
| -1- 1 |
| 0-1 1 |
| .names [62] [78] [633] [640] |
| 1-- 1 |
| -11 1 |
| .names [640] [132] [641] |
| 1- 1 |
| -1 1 |
| .names [37] [106] [632] [642] |
| 1-- 1 |
| -11 1 |
| .names s820_out_1_ s820_out_4_ [123] [645] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s820_out_6_ [642] [645] [646] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s820_in_15_ n_n216 n_n219 [647] |
| 010 1 |
| .names n_n218 n_n216 [648] |
| 00 1 |
| .names n_n218 n_n220 [87] [649] |
| --1 1 |
| 10- 1 |
| .names s820_in_2_ n_n216 [69] [650] |
| --1 1 |
| 10- 1 |
| .names s820_in_3_ n_n218 [78] [652] |
| --1 1 |
| 00- 1 |
| .names [79] [87] [64] [653] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s820_out_13_ [49] [51] [655] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [34] [65] [657] |
| 1- 1 |
| -1 1 |
| .names s820_in_2_ n_n220 [69] [658] |
| 100 1 |
| .names n_n220 s820_in_1_ [660] |
| 11 1 |
| .names s820_in_1_ s820_in_14_ s820_in_16_ [662] |
| 010 1 |
| .end |
