| .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 s820_in_7_ s820_in_6_ s820_in_5_ [39] [658] s820_out_2_ |
| 11-11 1 |
| 1-111 1 |
| -1111 1 |
| .names s820_in_1_ n_n216 n_n220 [43] [629] s820_out_1_ |
| 0-1-1 1 |
| -1-01 1 |
| .names s820_in_16_ [117] s820_out_4_ |
| 11 1 |
| .names n_n216 n_n217 n_n218 n_n219 n_n220 s820_out_3_ |
| 01--- 1 |
| --1-0 1 |
| 0-11- 1 |
| -100- 1 |
| --011 1 |
| 1010- 1 |
| .names s820_in_2_ n_n216 n_n218 n_n219 n_n220 s820_out_18_ |
| 10011 1 |
| .names s820_in_2_ n_n216 n_n218 n_n219 n_n220 s820_out_17_ |
| 10111 1 |
| .names s820_in_12_ n_n216 n_n218 n_n219 n_n220 s820_out_16_ |
| 01111 1 |
| .names s820_in_1_ s820_out_5_ n_n220 s820_out_11_ |
| 111 1 |
| .names s820_in_12_ n_n216 n_n218 n_n219 n_n220 s820_out_15_ |
| 11111 1 |
| .names n_n216 n_n218 n_n219 n_n220 s820_out_14_ |
| 1111 1 |
| .names n_n216 n_n219 n_n220 s820_out_13_ |
| 100 1 |
| .names s820_in_3_ s820_in_2_ s820_out_7_ s820_out_6_ |
| 111 1 |
| .names n_n216 n_n217 n_n218 n_n219 s820_out_5_ |
| 0000 1 |
| .names s820_in_2_ s820_out_7_ s820_out_8_ |
| 11 1 |
| .names n_n216 n_n217 n_n218 n_n219 n_n220 s820_out_7_ |
| 10001 1 |
| .names s820_in_1_ s820_in_14_ s820_in_16_ [76] s820_out_9_ |
| 0101 1 |
| .names s820_in_13_ s820_in_0_ [600] [601] [606] n_n77 |
| -0--1 1 |
| 001-- 1 |
| 00-1- 1 |
| .names s820_in_13_ s820_in_1_ s820_in_0_ [96] [617] n_n78 |
| --0-1 1 |
| 0101- 1 |
| .names s820_in_1_ s820_in_0_ [622] [623] [628] n_n79 |
| -0--1 1 |
| 101-- 1 |
| 10-1- 1 |
| .names s820_in_0_ [69] [131] [641] [646] n_n80 |
| 0---1 1 |
| 001-- 1 |
| 00-1- 1 |
| .names s820_in_0_ [48] [49] [50] [654] n_n81 |
| 01--- 1 |
| 0-1-- 1 |
| 0--1- 1 |
| 0---1 1 |
| .names n_n216 n_n217 n_n219 n_n220 [76] |
| 0000 1 |
| .names n_n216 n_n217 n_n218 n_n219 [39] |
| 0101 1 |
| .names s820_in_13_ s820_in_1_ [69] |
| 1- 1 |
| -0 1 |
| .names s820_in_2_ n_n220 [80] |
| 10 1 |
| .names n_n216 n_n217 n_n218 n_n219 n_n220 [110] |
| --1-0 1 |
| 011-- 1 |
| 0--11 1 |
| 01--0 1 |
| 1010- 1 |
| .names n_n218 n_n219 n_n220 [62] |
| 011 1 |
| .names n_n216 n_n217 n_n218 n_n219 n_n112 |
| 1110 1 |
| .names n_n216 n_n217 n_n218 n_n219 n_n220 [117] |
| 1110- 1 |
| 00-00 1 |
| .names s820_in_4_ n_n217 n_n219 n_n220 [121] |
| -10- 1 |
| 0--0 1 |
| -0-0 1 |
| .names s820_in_2_ n_n217 n_n218 n_n219 n_n220 [120] |
| ---11 1 |
| 0-11- 1 |
| -010- 1 |
| -100- 1 |
| .names s820_in_7_ s820_in_6_ s820_in_5_ [119] |
| 1-- 1 |
| -11 1 |
| .names n_n216 n_n217 n_n218 n_n219 n_n220 [118] |
| 01--- 1 |
| --11- 1 |
| ---11 1 |
| .names s820_in_1_ s820_in_17_ n_n217 n_n220 [122] |
| -01- 1 |
| 1-00 1 |
| .names n_n216 n_n217 n_n218 n_n219 [41] |
| 01-- 1 |
| --11 1 |
| .names s820_in_9_ s820_in_8_ s820_in_10_ s820_in_11_ s820_in_2_ [43] |
| 0---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names s820_in_14_ s820_in_16_ [82] |
| 00 1 |
| .names s820_in_14_ s820_in_15_ s820_in_16_ s820_out_16_ n_n112 [45] |
| ---1- 1 |
| 000-1 1 |
| .names s820_in_9_ s820_in_8_ s820_in_10_ s820_in_11_ [61] |
| 1--- 1 |
| -0-- 1 |
| --1- 1 |
| ---0 1 |
| .names n_n217 [43] [614] [615] [616] [96] |
| ----1 1 |
| 1--1- 1 |
| 111-- 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 s820_in_2_ n_n216 n_n217 n_n219 n_n220 [103] |
| 00--- 1 |
| -00-- 1 |
| --00- 1 |
| 0---0 1 |
| .names s820_in_13_ s820_in_17_ n_n216 n_n217 n_n220 [106] |
| 0-1-1 1 |
| -0000 1 |
| .names n_n112 s820_out_10_ |
| 1 1 |
| .names n_n112 s820_out_12_ |
| 1 1 |
| .names s820_in_2_ n_n217 [53] [56] [649] [48] |
| -11-- 1 |
| 11-1- 1 |
| 11--1 1 |
| .names n_n217 n_n218 [59] [650] [49] |
| 011- 1 |
| 01-1 1 |
| .names n_n220 [652] [653] [50] |
| 11- 1 |
| 1-1 1 |
| .names s820_in_14_ s820_in_15_ s820_in_16_ n_n216 n_n219 [53] |
| 00010 1 |
| .names s820_in_7_ s820_in_6_ n_n216 n_n218 [56] |
| 0000 1 |
| .names s820_in_9_ s820_in_8_ s820_in_10_ s820_in_11_ n_n219 [59] |
| 1---0 1 |
| -0--0 1 |
| --1-0 1 |
| ---00 1 |
| .names s820_in_1_ n_n216 n_n217 n_n219 n_n220 [123] |
| 10000 1 |
| .names s820_in_2_ n_n216 n_n217 n_n219 [130] |
| 0011 1 |
| .names n_n218 [61] [135] [136] [637] [131] |
| 1-1-- 1 |
| 1--1- 1 |
| 10--1 1 |
| .names s820_in_4_ s820_in_2_ n_n216 n_n217 n_n220 [135] |
| -0--0 1 |
| 1--10 1 |
| --100 1 |
| .names s820_in_2_ n_n216 n_n219 [136] |
| 001 1 |
| .names s820_in_17_ n_n216 n_n217 n_n218 n_n219 [164] |
| 01101 1 |
| .names s820_in_1_ n_n216 n_n217 n_n219 n_n220 [177] |
| 00001 1 |
| .names s820_in_15_ n_n216 n_n217 n_n219 n_n220 [182] |
| 10000 1 |
| .names n_n216 n_n218 n_n219 [590] |
| 101 1 |
| .names s820_in_2_ n_n216 n_n218 [597] |
| 101 1 |
| .names [39] [80] [121] [119] [597] [600] |
| --1-1 1 |
| 11-1- 1 |
| .names s820_in_1_ n_n216 [120] [118] [601] |
| -11- 1 |
| 0--1 1 |
| .names s820_in_1_ s820_in_16_ [76] [122] [590] [603] |
| ---11 1 |
| 101-- 1 |
| .names s820_in_3_ s820_in_2_ s820_out_14_ s820_out_7_ [177] [604] |
| --1-- 1 |
| ----1 1 |
| 0--1- 1 |
| -0-1- 1 |
| .names n_n112 [82] [182] [603] [604] [606] |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| -11-- 1 |
| .names s820_in_14_ s820_in_15_ s820_in_16_ [607] |
| 000 1 |
| .names n_n219 n_n218 [614] |
| 00 1 |
| .names s820_in_4_ s820_in_2_ n_n216 n_n218 n_n219 [615] |
| 0-0-- 1 |
| --00- 1 |
| --0-0 1 |
| -0-11 1 |
| .names s820_in_2_ n_n216 n_n218 n_n219 n_n220 [616] |
| 111-0 1 |
| 10111 1 |
| .names s820_out_16_ n_n112 [164] [607] [617] |
| 1--- 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 s820_out_18_ n_n216 n_n217 n_n219 n_n220 [622] |
| 1---- 1 |
| -0001 1 |
| .names n_n218 [39] [104] [103] [619] [623] |
| 1--1- 1 |
| -11-1 1 |
| .names s820_in_2_ s820_out_7_ [101] [618] [626] |
| 11-- 1 |
| --11 1 |
| .names s820_in_13_ s820_out_3_ [45] [626] [628] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names s820_in_13_ n_n217 n_n218 n_n219 [629] |
| 0100 1 |
| .names s820_in_2_ n_n216 n_n217 n_n219 [637] |
| 1100 1 |
| .names s820_in_7_ s820_in_6_ [39] [62] [130] [641] |
| ---1- 1 |
| ----1 1 |
| 1-1-- 1 |
| -11-- 1 |
| .names n_n216 n_n218 n_n219 [122] [106] [642] |
| -01-1 1 |
| 1011- 1 |
| .names s820_in_16_ [117] [123] [643] |
| --1 1 |
| 11- 1 |
| .names s820_out_1_ s820_out_6_ [642] [643] [646] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n216 n_n218 n_n219 n_n220 [649] |
| 0-0- 1 |
| -1-0 1 |
| .names s820_in_2_ s820_in_13_ s820_in_1_ n_n216 [650] |
| -1-- 1 |
| --0- 1 |
| 1--0 1 |
| .names s820_in_3_ s820_in_2_ n_n216 n_n218 [652] |
| -00- 1 |
| 0--0 1 |
| .names s820_in_2_ n_n216 n_n217 n_n218 n_n219 [653] |
| 0-0-- 1 |
| --10- 1 |
| --0-1 1 |
| -0--0 1 |
| .names s820_in_13_ s820_in_1_ s820_out_13_ [41] [654] |
| --1- 1 |
| 1--1 1 |
| -0-1 1 |
| .names s820_in_1_ s820_in_16_ [76] [110] [657] |
| 0--1 1 |
| 101- 1 |
| .names s820_in_2_ s820_in_13_ s820_in_1_ n_n220 [658] |
| 1010 1 |
| .end |
