| .model top |
| .inputs s1_in_6_ s1_in_7_ s1_in_0_ s1_in_1_ s1_in_2_ s1_in_3_ s1_in_4_ \ |
| s1_in_5_ clock |
| .outputs s1_out_1_ s1_out_0_ s1_out_3_ s1_out_2_ s1_out_5_ s1_out_4_ |
| .latch n_n42 n_n237 re clock 2 |
| .latch n_n43 n_n238 re clock 2 |
| .latch n_n44 n_n239 re clock 2 |
| .latch n_n45 n_n240 re clock 2 |
| .latch n_n46 n_n241 re clock 2 |
| .names [90] [686] [687] s1_out_1_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1_out_3_ n_n240 [665] [675] s1_out_0_ |
| ---1 1 |
| 0-1- 1 |
| -11- 1 |
| .names [120] [643] [645] [646] s1_out_3_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [590] [591] [594] s1_out_2_ |
| --1 1 |
| 11- 1 |
| .names [134] [136] [587] s1_out_5_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [98] [656] [659] s1_out_4_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [60] [63] [743] [744] n_n42 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [78] [80] [710] n_n43 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [772] [773] n_n44 |
| 1- 1 |
| -1 1 |
| .names [622] [623] [627] n_n45 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1_in_0_ [626] [627] [760] n_n46 |
| ---1 1 |
| 01-- 1 |
| 0-1- 1 |
| .names n_n238 n_n241 [20] |
| 10 1 |
| .names n_n237 n_n238 n_n240 [39] |
| 101 1 |
| .names s1_in_0_ s1_in_2_ [18] |
| 0- 1 |
| -0 1 |
| .names s1_in_6_ s1_in_4_ [19] |
| 0- 1 |
| -0 1 |
| .names s1_in_1_ n_n237 n_n238 [24] |
| --0 1 |
| 10- 1 |
| .names n_n238 n_n239 [33] |
| 1- 1 |
| -0 1 |
| .names n_n238 n_n240 [23] |
| 01 1 |
| .names n_n237 n_n238 [29] |
| 11 1 |
| .names s1_in_6_ s1_in_7_ s1_in_3_ [30] |
| 010 1 |
| .names s1_in_5_ [134] [136] [587] [53] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names s1_in_7_ n_n239 n_n241 [54] |
| 111 1 |
| .names [26] [622] [623] [627] [55] |
| 1000 1 |
| .names n_n238 n_n239 n_n241 [26] |
| 110 1 |
| .names n_n237 n_n239 n_n241 [38] |
| 011 1 |
| .names s1_in_7_ s1_in_3_ [22] |
| 10 1 |
| .names n_n239 [134] [136] [587] [32] |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [90] [686] [687] [752] [34] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names [90] [686] [687] [754] [42] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names s1_in_1_ s1_out_3_ n_n238 n_n240 [43] |
| 0111 1 |
| .names [98] [656] [659] [757] [45] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names s1_out_0_ [758] [46] |
| 11 1 |
| .names [33] [54] [134] [587] [48] |
| 01-- 1 |
| -11- 1 |
| -1-1 1 |
| .names [18] [134] [136] [587] [50] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names s1_out_0_ [57] [760] [51] |
| 000 1 |
| .names s1_in_0_ [622] [623] [627] [57] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names [78] [80] [710] [713] [60] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names [32] [715] [61] |
| 01 1 |
| .names [90] [686] [687] [717] [62] |
| 0001 1 |
| .names [78] [80] [710] [719] [63] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names [90] [686] [687] [721] [64] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names s1_out_3_ n_n238 [724] [67] |
| 111 1 |
| .names [90] [686] [687] [726] [69] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names [90] [686] [687] [727] [70] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names s1_in_3_ s1_out_3_ n_n240 n_n241 [71] |
| 0101 1 |
| .names [90] [686] [687] [731] [74] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names s1_out_3_ s1_out_5_ n_n238 [75] |
| 111 1 |
| .names [90] [686] [687] [690] [77] |
| 0001 1 |
| .names [90] [686] [687] [692] [78] |
| 0001 1 |
| .names n_n237 n_n240 [53] [79] |
| 011 1 |
| .names [90] [686] [687] [694] [80] |
| 0001 1 |
| .names [90] [686] [687] [699] [85] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names s1_in_1_ n_n238 [138] [594] [86] |
| 011- 1 |
| 01-1 1 |
| .names [18] [26] [626] [627] [87] |
| 1100 1 |
| .names s1_out_0_ [622] [623] [627] [88] |
| 0000 1 |
| .names s1_out_0_ [658] [659] [677] [90] |
| 1001 1 |
| .names s1_in_3_ n_n237 n_n239 n_n241 [94] |
| 1000 1 |
| .names [26] [626] [627] [650] [98] |
| 1001 1 |
| .names s1_out_5_ [30] [138] [594] [100] |
| 0100 1 |
| .names s1_in_7_ s1_in_2_ [626] [627] [101] |
| 111- 1 |
| 11-1 1 |
| .names s1_in_7_ n_n237 n_n238 n_n240 [102] |
| 1101 1 |
| .names s1_in_6_ s1_in_7_ [26] [612] [107] |
| 0111 1 |
| .names s1_in_6_ s1_in_4_ [26] [614] [108] |
| 0-11 1 |
| -011 1 |
| .names n_n237 n_n238 n_n240 [620] [111] |
| 1011 1 |
| .names [134] [136] [587] [667] [114] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names s1_in_0_ s1_in_2_ n_n237 n_n239 [115] |
| 1111 1 |
| .names [590] [591] [594] [634] [120] |
| 0-01 1 |
| -001 1 |
| .names [134] [136] [587] [635] [121] |
| 0001 1 |
| .names n_n237 n_n238 n_n239 n_n241 [122] |
| 1001 1 |
| .names n_n237 n_n238 n_n240 [124] |
| 011 1 |
| .names s1_in_6_ s1_in_4_ n_n237 n_n240 [125] |
| 1111 1 |
| .names n_n237 n_n238 n_n239 n_n241 [126] |
| 0111 1 |
| .names n_n237 n_n238 n_n239 n_n241 [127] |
| 0010 1 |
| .names s1_in_7_ n_n237 n_n239 n_n241 [130] |
| 1111 1 |
| .names n_n237 n_n238 n_n239 n_n241 [134] |
| 11-0 1 |
| 1-10 1 |
| .names s1_in_7_ n_n238 n_n239 n_n241 [136] |
| 1011 1 |
| .names n_n238 n_n239 n_n240 [591] [138] |
| 1--1 1 |
| -001 1 |
| .names n_n237 n_n238 n_n239 n_n241 [139] |
| 1000 1 |
| .names n_n237 n_n238 n_n239 n_n241 [140] |
| 0010 1 |
| .names s1_in_7_ n_n237 n_n238 n_n240 [587] |
| -001 1 |
| 1110 1 |
| .names n_n238 n_n239 n_n240 [590] |
| 1-- 1 |
| -00 1 |
| .names s1_in_3_ n_n237 n_n238 n_n241 [591] |
| 110- 1 |
| 10-1 1 |
| 1-01 1 |
| .names n_n238 n_n240 [139] [140] [594] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names s1_in_6_ s1_in_7_ s1_in_3_ s1_in_4_ [598] |
| 1001 1 |
| .names n_n237 n_n239 n_n240 n_n241 [599] |
| 0001 1 |
| .names s1_in_7_ s1_in_3_ n_n241 [603] |
| 001 1 |
| .names n_n237 n_n238 n_n239 n_n240 [604] |
| 1000 1 |
| .names s1_in_2_ s1_in_3_ n_n241 [606] |
| 011 1 |
| .names s1_in_7_ n_n237 n_n238 n_n240 [607] |
| 0110 1 |
| .names n_n237 n_n239 n_n240 n_n241 [610] |
| 0001 1 |
| .names s1_in_0_ s1_in_2_ n_n237 [612] |
| 0-0 1 |
| -00 1 |
| .names s1_in_2_ s1_in_3_ n_n237 [614] |
| 010 1 |
| .names s1_in_7_ s1_in_3_ n_n238 [617] |
| 001 1 |
| .names s1_in_6_ s1_in_7_ s1_in_4_ n_n237 [619] |
| 1010 1 |
| .names s1_in_7_ s1_in_0_ s1_in_2_ [620] |
| 00- 1 |
| 0-0 1 |
| .names [598] [599] [603] [604] [621] |
| 11-- 1 |
| --11 1 |
| .names [30] [606] [607] [610] [622] |
| -11- 1 |
| 1--1 1 |
| .names [26] [38] [617] [619] [623] |
| -11- 1 |
| 1--1 1 |
| .names [623] [622] [626] |
| 1- 1 |
| -1 1 |
| .names [107] [108] [111] [621] [627] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names s1_in_6_ s1_in_7_ s1_in_1_ s1_in_5_ [630] |
| 0101 1 |
| .names n_n238 n_n239 n_n241 [631] |
| 100 1 |
| .names s1_in_6_ s1_in_4_ n_n237 n_n238 [634] |
| 1101 1 |
| .names s1_in_6_ s1_in_4_ n_n238 n_n239 [635] |
| 1100 1 |
| .names s1_in_6_ s1_in_4_ [24] [637] |
| 110 1 |
| .names [122] [124] [126] [642] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [125] [127] [642] [643] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [121] [138] [594] [637] [645] |
| 1--- 1 |
| -1-1 1 |
| --11 1 |
| .names [20] [53] [32] [130] [646] |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names s1_out_5_ [22] [138] [594] [649] |
| 0100 1 |
| .names [19] [134] [136] [587] [650] |
| 0000 1 |
| .names s1_out_5_ [22] [102] [631] [654] |
| --1- 1 |
| 01-1 1 |
| .names s1_out_5_ [38] [22] [100] [655] |
| ---1 1 |
| 011- 1 |
| .names [626] [627] [630] [654] [656] |
| ---1 1 |
| 1-1- 1 |
| -11- 1 |
| .names [656] [98] [658] |
| 1- 1 |
| -1 1 |
| .names s1_out_3_ [101] [649] [655] [659] |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names s1_in_0_ s1_in_3_ n_n238 n_n241 [661] |
| 1110 1 |
| .names [134] [136] [587] [661] [662] |
| 0001 1 |
| .names [622] [623] [627] [662] [663] |
| 0001 1 |
| .names s1_in_0_ s1_in_2_ n_n237 [664] |
| 111 1 |
| .names [590] [591] [594] [664] [665] |
| 0-01 1 |
| -001 1 |
| .names s1_in_0_ s1_in_2_ n_n241 [666] |
| 110 1 |
| .names s1_in_0_ s1_in_2_ s1_in_5_ [667] |
| 110 1 |
| .names s1_in_4_ s1_in_1_ [669] |
| 01 1 |
| .names n_n238 n_n239 n_n241 [670] |
| 01- 1 |
| -00 1 |
| .names [19] [115] [666] [670] [672] |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names [24] [138] [594] [669] [674] |
| 11-- 1 |
| 1-1- 1 |
| -1-1 1 |
| --11 1 |
| .names [114] [672] [674] [675] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1_in_3_ s1_out_5_ [138] [594] [677] |
| 1000 1 |
| .names s1_in_0_ s1_in_3_ [39] [680] |
| 111 1 |
| .names n_n238 n_n239 n_n241 [682] |
| 011 1 |
| .names s1_in_2_ s1_in_3_ [626] [627] [683] |
| 011- 1 |
| 01-1 1 |
| .names s1_in_7_ s1_in_3_ [94] [682] [685] |
| --1- 1 |
| 01-1 1 |
| .names [658] [659] [663] [685] [686] |
| ---1 1 |
| 001- 1 |
| .names [658] [659] [680] [683] [687] |
| 001- 1 |
| 00-1 1 |
| .names n_n237 n_n239 n_n241 [689] |
| 000 1 |
| .names s1_in_6_ s1_in_4_ [689] [690] |
| 111 1 |
| .names n_n238 n_n239 n_n241 [691] |
| 100 1 |
| .names [134] [136] [587] [691] [692] |
| 0001 1 |
| .names [39] [622] [623] [627] [694] |
| 1000 1 |
| .names s1_in_0_ s1_in_2_ n_n239 [695] |
| 0-1 1 |
| -01 1 |
| .names s1_in_4_ n_n237 n_n238 [696] |
| 111 1 |
| .names s1_in_0_ s1_in_2_ n_n237 [697] |
| 0-0 1 |
| -00 1 |
| .names s1_out_3_ [622] [623] [627] [698] |
| 1000 1 |
| .names s1_in_2_ [622] [623] [627] [699] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names [23] [29] [695] [697] [701] |
| -11- 1 |
| 1--1 1 |
| .names [138] [594] [696] [701] [702] |
| ---1 1 |
| 1-1- 1 |
| -11- 1 |
| .names [79] [86] [87] [702] [705] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [658] [659] [698] [705] [706] |
| ---1 1 |
| 1-1- 1 |
| -11- 1 |
| .names [80] [78] [709] |
| 1- 1 |
| -1 1 |
| .names [77] [85] [88] [706] [710] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names s1_in_7_ n_n237 n_n241 [712] |
| 111 1 |
| .names [590] [591] [594] [712] [713] |
| 0-01 1 |
| -001 1 |
| .names s1_in_6_ s1_in_1_ s1_in_2_ s1_in_3_ [715] |
| 0101 1 |
| .names s1_in_6_ s1_in_4_ n_n237 n_n241 [716] |
| 1100 1 |
| .names [32] [716] [717] |
| 01 1 |
| .names n_n237 n_n239 n_n241 [718] |
| 000 1 |
| .names s1_in_7_ s1_in_3_ [718] [719] |
| 101 1 |
| .names s1_in_6_ s1_in_4_ n_n237 n_n241 [720] |
| 0-00 1 |
| -000 1 |
| .names s1_out_3_ [720] [721] |
| 01 1 |
| .names s1_in_2_ s1_in_3_ [722] |
| 00 1 |
| .names s1_in_0_ s1_in_2_ s1_in_3_ [723] |
| 01- 1 |
| 0-0 1 |
| .names s1_in_3_ n_n237 n_n239 n_n241 [724] |
| 0011 1 |
| .names n_n237 n_n241 [30] [725] |
| 001 1 |
| .names s1_in_6_ s1_in_4_ [32] [726] |
| 0-0 1 |
| -00 1 |
| .names s1_out_0_ [32] [727] |
| 10 1 |
| .names [24] [590] [591] [594] [729] |
| 1--1 1 |
| 111- 1 |
| .names n_n237 s1_in_2_ [730] |
| 00 1 |
| .names s1_out_3_ n_n241 [731] |
| 01 1 |
| .names [23] [722] [723] [730] [733] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names [53] [130] [733] [734] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [61] [626] [627] [725] [735] |
| 1--- 1 |
| -001 1 |
| .names s1_out_3_ [729] [734] [735] [737] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names [67] [71] [75] [737] [740] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [74] [70] [743] |
| 1- 1 |
| -1 1 |
| .names [62] [64] [69] [740] [744] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names s1_out_3_ [30] [138] [594] [748] |
| 0100 1 |
| .names n_n238 n_n239 [30] [750] |
| 111 1 |
| .names s1_in_6_ s1_in_4_ n_n241 [751] |
| 110 1 |
| .names [622] [623] [627] [751] [752] |
| 0001 1 |
| .names s1_out_3_ n_n238 n_n241 [753] |
| 111 1 |
| .names s1_out_3_ n_n238 n_n239 [754] |
| 110 1 |
| .names n_n238 n_n240 [626] [627] [756] |
| 0100 1 |
| .names s1_in_0_ s1_in_2_ n_n237 [757] |
| 0-1 1 |
| -01 1 |
| .names n_n237 [134] [136] [587] [758] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names s1_out_5_ [590] [591] [594] [759] |
| 1--- 1 |
| ---1 1 |
| -11- 1 |
| .names [33] [626] [627] [759] [760] |
| ---1 1 |
| 11-- 1 |
| 1-1- 1 |
| .names [53] [48] [50] [762] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [626] [627] [750] [762] [763] |
| ---1 1 |
| 001- 1 |
| .names s1_out_3_ n_n237 n_n238 [763] [764] |
| ---1 1 |
| 111- 1 |
| .names s1_out_0_ [43] [748] [764] [766] |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names [45] [46] [51] [766] [769] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [34] [42] [769] [771] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [709] [710] [753] [771] [772] |
| ---1 1 |
| 1-1- 1 |
| -11- 1 |
| .names [55] [709] [710] [756] [773] |
| 11-- 1 |
| 1-1- 1 |
| -001 1 |
| .end |