| .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 s1_out_4_ [112] [675] [677] [686] [687] s1_out_1_ |
| ----1- 1 |
| -----1 1 |
| 01-1-- 1 |
| 0-11-- 1 |
| .names s1_in_1_ s1_in_4_ s1_out_2_ [24] [112] [673] s1_out_0_ |
| ----1- 1 |
| -----1 1 |
| --11-- 1 |
| 101--- 1 |
| .names s1_in_5_ s1_out_5_ [128] [130] [644] [645] s1_out_3_ |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 11---- 1 |
| .names s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 s1_out_2_ |
| --1-1- 1 |
| 101--1 1 |
| -001-0 1 |
| -100-0 1 |
| 11000- 1 |
| 10-001 1 |
| 1-0001 1 |
| .names s1_in_7_ n_n237 n_n238 n_n239 n_n240 n_n241 s1_out_5_ |
| -00-1- 1 |
| -11--0 1 |
| -1-1-0 1 |
| 111-0- 1 |
| 1-01-1 1 |
| .names [97] [98] [656] [657] s1_out_4_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [60] [63] [741] [742] [743] n_n42 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [77] [84] [85] [88] [705] [709] n_n43 |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names [34] [35] [42] [769] [773] n_n44 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [26] [109] [619] [622] [624] [625] n_n45 |
| -1---- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 1-1--- 1 |
| .names s1_in_0_ [622] [623] [624] [625] [760] n_n46 |
| -----1 1 |
| 01---- 1 |
| 0-1--- 1 |
| 0--1-- 1 |
| 0---1- 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_1_ n_n237 n_n238 [24] |
| --0 1 |
| 10- 1 |
| .names n_n238 n_n239 [33] |
| 1- 1 |
| -0 1 |
| .names s1_in_6_ s1_in_7_ s1_in_3_ [30] |
| 010 1 |
| .names s1_in_7_ n_n239 n_n241 [54] |
| 111 1 |
| .names [26] [109] [619] [622] [624] [625] [55] |
| 100000 1 |
| .names n_n238 n_n239 n_n241 [26] |
| 110 1 |
| .names s1_in_7_ s1_in_3_ [22] |
| 10 1 |
| .names s1_in_7_ n_n237 n_n238 n_n239 n_n240 n_n241 [32] |
| ---0-- 1 |
| -00-1- 1 |
| -11--0 1 |
| -1-1-0 1 |
| 111-0- 1 |
| 1-01-1 1 |
| .names s1_out_4_ [678] [686] [687] [752] [34] |
| --1-1 1 |
| ---11 1 |
| 01--1 1 |
| .names [77] [85] [707] [709] [753] [35] |
| 1---1 1 |
| -1--1 1 |
| --1-1 1 |
| ---11 1 |
| .names s1_out_4_ [678] [686] [687] [754] [42] |
| --1-1 1 |
| ---11 1 |
| 01--1 1 |
| .names s1_in_1_ n_n238 n_n240 [644] [645] [646] [43] |
| 0111-- 1 |
| 011-1- 1 |
| 011--1 1 |
| .names [97] [98] [656] [657] [757] [45] |
| 1---1 1 |
| -1--1 1 |
| --1-1 1 |
| ---11 1 |
| .names n_n237 n_n238 [644] [645] [646] [49] |
| 111-- 1 |
| 11-1- 1 |
| 11--1 1 |
| .names [57] [112] [673] [674] [760] [51] |
| 00000 1 |
| .names s1_in_0_ [622] [623] [624] [625] [57] |
| 01--- 1 |
| 0-1-- 1 |
| 0--1- 1 |
| 0---1 1 |
| .names s1_out_2_ [77] [85] [707] [709] [712] [60] |
| 01---1 1 |
| 0-1--1 1 |
| 0--1-1 1 |
| 0---11 1 |
| .names s1_in_6_ s1_in_1_ s1_in_2_ s1_in_3_ [32] [61] |
| 01010 1 |
| .names [77] [85] [707] [709] [719] [63] |
| 1---1 1 |
| -1--1 1 |
| --1-1 1 |
| ---11 1 |
| .names n_n238 [644] [645] [646] [724] [67] |
| 11--1 1 |
| 1-1-1 1 |
| 1--11 1 |
| .names s1_in_3_ n_n240 n_n241 [644] [645] [646] [71] |
| 0011-- 1 |
| 001-1- 1 |
| 001--1 1 |
| .names s1_out_2_ [24] [644] [645] [646] [72] |
| 111-- 1 |
| 11-1- 1 |
| 11--1 1 |
| .names s1_out_5_ n_n238 [644] [645] [646] [75] |
| 111-- 1 |
| 11-1- 1 |
| 11--1 1 |
| .names s1_out_4_ [678] [686] [687] [690] [77] |
| 1-001 1 |
| -0001 1 |
| .names s1_out_3_ n_n45 [98] [649] [656] [657] [84] |
| 101--- 1 |
| 10-1-- 1 |
| 10--1- 1 |
| 10---1 1 |
| .names s1_out_4_ [678] [686] [687] [699] [85] |
| --1-1 1 |
| ---11 1 |
| 01--1 1 |
| .names [18] [26] [622] [623] [624] [625] [87] |
| 110000 1 |
| .names s1_out_2_ n_n45 [24] [112] [669] [673] [88] |
| 00-0-0 1 |
| -00000 1 |
| .names s1_out_2_ s1_out_5_ [22] [644] [645] [646] [97] |
| 0011-- 1 |
| 001-1- 1 |
| 001--1 1 |
| .names [26] [622] [623] [624] [625] [650] [98] |
| 100001 1 |
| .names s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n241 [109] |
| 000111 1 |
| .names s1_in_7_ s1_in_0_ s1_in_2_ n_n237 n_n238 n_n240 [111] |
| 00-101 1 |
| 0-0101 1 |
| .names s1_out_2_ n_n240 [644] [645] [646] [664] [112] |
| 01---1 1 |
| 0-0001 1 |
| .names s1_in_6_ s1_in_0_ s1_in_2_ s1_in_4_ n_n241 [113] |
| 011-0 1 |
| -1100 1 |
| .names s1_in_6_ s1_in_4_ n_n237 n_n240 [125] |
| 1111 1 |
| .names n_n237 n_n238 n_n239 n_n241 [127] |
| 0010 1 |
| .names n_n237 n_n238 n_n239 n_n241 [128] |
| 11-0 1 |
| -100 1 |
| .names s1_in_7_ n_n237 n_n239 n_n241 [130] |
| 1111 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_6_ s1_in_7_ n_n238 n_n239 n_n241 [613] |
| 01110 1 |
| .names s1_in_2_ s1_in_3_ n_n237 [614] |
| 010 1 |
| .names s1_in_6_ s1_in_4_ n_n238 n_n239 n_n241 [615] |
| 0-110 1 |
| -0110 1 |
| .names s1_in_6_ s1_in_7_ s1_in_4_ n_n237 [619] |
| 1010 1 |
| .names s1_in_6_ s1_in_7_ s1_in_3_ [606] [607] [610] [622] |
| ---11- 1 |
| 010--1 1 |
| .names n_n238 n_n239 n_n241 [109] [619] [623] |
| ---1- 1 |
| 110-1 1 |
| .names s1_in_0_ s1_in_2_ n_n237 [111] [613] [624] |
| ---1- 1 |
| 0-0-1 1 |
| -00-1 1 |
| .names [598] [599] [603] [604] [614] [615] [625] |
| 11---- 1 |
| --11-- 1 |
| ----11 1 |
| .names s1_in_6_ s1_in_7_ s1_in_1_ s1_in_5_ [630] |
| 0101 1 |
| .names s1_in_7_ s1_in_3_ n_n238 n_n239 n_n241 [632] |
| 10100 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_1_ s1_in_4_ n_n237 n_n238 [637] |
| 101-1 1 |
| 1-111 1 |
| .names n_n237 n_n238 n_n239 n_n240 n_n241 [642] |
| 01-1- 1 |
| 011-1 1 |
| 100-1 1 |
| .names s1_out_2_ [125] [127] [634] [642] [644] |
| -1--- 1 |
| --1-- 1 |
| ----1 1 |
| 0--1- 1 |
| .names s1_out_2_ s1_out_5_ [635] [637] [645] |
| -01- 1 |
| 1--1 1 |
| .names s1_in_5_ s1_out_5_ [128] [130] [646] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names s1_in_7_ s1_in_3_ s1_out_2_ s1_out_5_ [649] |
| 1000 1 |
| .names s1_in_6_ s1_in_4_ s1_out_5_ [650] |
| 110 1 |
| .names s1_in_7_ s1_in_3_ n_n237 n_n239 n_n241 [651] |
| 10011 1 |
| .names s1_in_2_ s1_in_7_ [653] |
| 11 1 |
| .names s1_in_7_ s1_out_5_ n_n237 n_n238 n_n240 [632] [654] |
| -0---1 1 |
| 1-101- 1 |
| .names s1_in_6_ s1_in_7_ s1_in_3_ s1_out_2_ s1_out_5_ [651] [655] |
| ----01 1 |
| 01000- 1 |
| .names [622] [623] [624] [625] [630] [654] [656] |
| -----1 1 |
| 1---1- 1 |
| -1--1- 1 |
| --1-1- 1 |
| ---11- 1 |
| .names [622] [623] [624] [625] [653] [655] [657] |
| -----1 1 |
| 1---1- 1 |
| -1--1- 1 |
| --1-1- 1 |
| ---11- 1 |
| .names s1_in_0_ s1_in_3_ n_n238 n_n241 [661] |
| 1110 1 |
| .names s1_out_5_ [622] [623] [624] [625] [661] [663] |
| 000001 1 |
| .names s1_in_0_ s1_in_2_ n_n237 [664] |
| 111 1 |
| .names s1_in_4_ s1_in_1_ [669] |
| 01 1 |
| .names s1_in_0_ s1_in_2_ n_n237 n_n238 n_n239 n_n241 [671] |
| ---01- 1 |
| ----00 1 |
| 111-1- 1 |
| .names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ [113] [671] [673] |
| ----1- 1 |
| -----1 1 |
| 1101-- 1 |
| .names s1_in_1_ s1_in_4_ s1_out_2_ n_n237 n_n238 [674] |
| --1-0 1 |
| 101-- 1 |
| 1-10- 1 |
| .names s1_in_1_ s1_in_4_ s1_out_2_ n_n237 n_n238 [673] [675] |
| -----1 1 |
| --1-0- 1 |
| 101--- 1 |
| 1-10-- 1 |
| .names s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [676] |
| 111-0- 1 |
| 1-0-11 1 |
| 11011- 1 |
| 11010- 1 |
| 1-0101 1 |
| 101-00 1 |
| 10-000 1 |
| 100010 1 |
| .names [676] s1_out_5_ [677] |
| 10 1 |
| .names s1_out_5_ [112] [673] [674] [676] [678] |
| 01--1 1 |
| 0-1-1 1 |
| 0--11 1 |
| .names s1_in_0_ s1_in_3_ n_n237 n_n238 n_n240 [680] |
| 11101 1 |
| .names s1_in_2_ s1_in_3_ [622] [623] [624] [625] [683] |
| 011--- 1 |
| 01-1-- 1 |
| 01--1- 1 |
| 01---1 1 |
| .names s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n241 [685] |
| -10-00 1 |
| 01-011 1 |
| .names [97] [98] [656] [657] [663] [685] [686] |
| -----1 1 |
| 00001- 1 |
| .names [97] [98] [656] [657] [680] [683] [687] |
| 00001- 1 |
| 0000-1 1 |
| .names s1_in_6_ s1_in_4_ n_n237 n_n239 n_n241 [690] |
| 11000 1 |
| .names n_n237 n_n238 n_n239 n_n241 [692] |
| 0100 1 |
| .names [39] [622] [623] [624] [625] [694] |
| 10000 1 |
| .names s1_in_4_ n_n237 n_n238 [696] |
| 111 1 |
| .names s1_in_2_ [622] [623] [624] [625] [699] |
| 01--- 1 |
| 0-1-- 1 |
| 0--1- 1 |
| 0---1 1 |
| .names n_n238 s1_in_1_ [700] |
| 10 1 |
| .names s1_in_0_ s1_in_2_ n_n237 n_n238 n_n239 n_n240 [701] |
| 0-111- 1 |
| -0111- 1 |
| 0-00-1 1 |
| -000-1 1 |
| .names s1_in_4_ s1_out_2_ n_n237 n_n238 [701] [702] |
| ----1 1 |
| 1111- 1 |
| .names s1_in_5_ s1_out_2_ s1_out_5_ n_n237 n_n240 [700] [703] |
| -1---1 1 |
| 1-101- 1 |
| .names s1_out_2_ [87] [696] [701] [703] [705] |
| -1--- 1 |
| ---1- 1 |
| ----1 1 |
| 1-1-- 1 |
| .names [84] [87] [88] [702] [703] [707] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names s1_out_4_ [678] [686] [687] [692] [694] [709] |
| 1-001- 1 |
| -0001- 1 |
| 1-00-1 1 |
| -000-1 1 |
| .names s1_in_7_ n_n237 n_n241 [712] |
| 111 1 |
| .names s1_in_6_ s1_in_4_ n_n237 n_n241 [32] [717] |
| 11000 1 |
| .names s1_in_7_ s1_in_3_ n_n237 n_n239 n_n241 [719] |
| 10000 1 |
| .names s1_in_6_ s1_in_4_ n_n237 n_n241 [720] |
| 0-00 1 |
| -000 1 |
| .names [644] [645] [646] [720] [721] |
| 0001 1 |
| .names s1_in_3_ n_n237 n_n239 n_n241 [724] |
| 0011 1 |
| .names s1_in_6_ s1_in_7_ s1_in_3_ n_n237 n_n241 [725] |
| 01000 1 |
| .names s1_in_6_ s1_in_4_ [32] [726] |
| 0-0 1 |
| -00 1 |
| .names s1_out_2_ [24] [32] [112] [669] [673] [727] |
| --01-- 1 |
| --0--1 1 |
| 110--- 1 |
| 1-0-1- 1 |
| .names n_n241 [644] [645] [646] [731] |
| 1000 1 |
| .names s1_in_0_ s1_in_2_ s1_in_3_ n_n237 n_n238 n_n240 [733] |
| 01--01 1 |
| 0-0-01 1 |
| -00-01 1 |
| -0-001 1 |
| .names s1_in_5_ s1_out_5_ [130] [733] [734] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names [61] [622] [623] [624] [625] [725] [735] |
| 1----- 1 |
| -00001 1 |
| .names [67] [71] [72] [75] [734] [735] [740] |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names s1_out_4_ [678] [686] [687] [717] [740] [741] |
| -----1 1 |
| 1-001- 1 |
| -0001- 1 |
| .names s1_out_4_ [678] [686] [687] [721] [726] [742] |
| --1-1- 1 |
| ---11- 1 |
| --1--1 1 |
| ---1-1 1 |
| 01--1- 1 |
| 01---1 1 |
| .names s1_out_4_ [678] [686] [687] [727] [731] [743] |
| --1-1- 1 |
| ---11- 1 |
| --1--1 1 |
| ---1-1 1 |
| 01--1- 1 |
| 01---1 1 |
| .names s1_out_2_ [30] [644] [645] [646] [748] |
| 01000 1 |
| .names s1_in_6_ s1_in_7_ s1_in_3_ n_n238 n_n239 [750] |
| 01011 1 |
| .names s1_in_6_ s1_in_4_ n_n241 [751] |
| 110 1 |
| .names [622] [623] [624] [625] [751] [752] |
| 00001 1 |
| .names n_n238 n_n241 [644] [645] [646] [753] |
| 111-- 1 |
| 11-1- 1 |
| 11--1 1 |
| .names n_n238 n_n239 [644] [645] [646] [754] |
| 101-- 1 |
| 10-1- 1 |
| 10--1 1 |
| .names n_n238 n_n240 [622] [623] [624] [625] [756] |
| 010000 1 |
| .names s1_in_0_ s1_in_2_ n_n237 [757] |
| 0-1 1 |
| -01 1 |
| .names s1_in_7_ n_n237 n_n238 n_n239 n_n240 n_n241 [758] |
| -11--0 1 |
| -1-1-0 1 |
| 111-0- 1 |
| 1101-1 1 |
| .names s1_out_5_ s1_out_2_ [759] |
| 1- 1 |
| -1 1 |
| .names [33] [622] [623] [624] [625] [759] [760] |
| -----1 1 |
| 11---- 1 |
| 1-1--- 1 |
| 1--1-- 1 |
| 1---1- 1 |
| .names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ [54] [762] |
| --11- 1 |
| ---11 1 |
| 11-1- 1 |
| .names [622] [623] [624] [625] [750] [762] [763] |
| -----1 1 |
| 00001- 1 |
| .names [43] [49] [112] [675] [748] [763] [766] |
| 1----- 1 |
| -1---- 1 |
| -----1 1 |
| --1-1- 1 |
| ---11- 1 |
| .names [45] [51] [112] [675] [758] [766] [769] |
| 1----- 1 |
| -1---- 1 |
| -----1 1 |
| --1-1- 1 |
| ---11- 1 |
| .names [55] [77] [85] [707] [709] [756] [773] |
| 11---- 1 |
| 1-1--- 1 |
| 1--1-- 1 |
| 1---1- 1 |
| -00001 1 |
| .end |
