| .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 n_n240 [646] [647] [665] [675] s1_out_0_ |
| ----1 1 |
| 1--1- 1 |
| -001- 1 |
| .names [28] [128] [647] s1_out_3_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n238 n_n239 n_n240 [591] [594] s1_out_2_ |
| ----1 1 |
| 1--1- 1 |
| -001- 1 |
| .names s1_in_7_ n_n237 n_n238 n_n240 [588] s1_out_5_ |
| ----1 1 |
| -001- 1 |
| 1110- 1 |
| .names [646] [647] [649] [657] [658] s1_out_4_ |
| ---1- 1 |
| ----1 1 |
| 1-1-- 1 |
| -11-- 1 |
| .names [60] [63] [741] [742] [743] n_n42 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [77] [85] [88] [706] [709] n_n43 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [35] [44] [47] [771] n_n44 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [108] [621] [622] [623] [624] n_n45 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names s1_in_0_ n_n238 n_n239 n_n45 [759] n_n46 |
| ----1 1 |
| 0--1- 1 |
| -1-1- 1 |
| --01- 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_1_ n_n237 n_n238 [24] |
| --0 1 |
| 10- 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 n_n238 n_n239 n_n45 n_n241 [55] |
| 1100 1 |
| .names n_n238 n_n239 n_n241 [26] |
| 110 1 |
| .names n_n237 n_n239 n_n241 [38] |
| 011 1 |
| .names s1_in_5_ [130] [587] [588] [28] |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names n_n45 [90] [686] [687] [751] [34] |
| 01--1 1 |
| 0-1-1 1 |
| 0--11 1 |
| .names [77] [85] [707] [709] [753] [35] |
| 1---1 1 |
| -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_ n_n238 n_n240 [646] [647] [43] |
| 0111- 1 |
| 011-1 1 |
| .names [77] [85] [707] [709] [756] [44] |
| 00001 1 |
| .names [97] [657] [658] [757] [45] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names [55] [77] [85] [707] [709] [47] |
| 11--- 1 |
| 1-1-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names n_n237 n_n238 [28] [128] [647] [49] |
| 111-- 1 |
| 11-1- 1 |
| 11--1 1 |
| .names [77] [85] [707] [709] [713] [60] |
| 1---1 1 |
| -1--1 1 |
| --1-1 1 |
| ---11 1 |
| .names n_n239 [587] [588] [715] [61] |
| 1001 1 |
| .names [77] [85] [707] [709] [719] [63] |
| 1---1 1 |
| -1--1 1 |
| --1-1 1 |
| ---11 1 |
| .names s1_in_0_ s1_in_2_ s1_in_3_ n_n238 n_n240 [66] |
| 01-01 1 |
| 0-001 1 |
| .names n_n238 [28] [128] [647] [724] [67] |
| 11--1 1 |
| 1-1-1 1 |
| 1--11 1 |
| .names s1_in_3_ n_n240 n_n241 [646] [647] [71] |
| 0011- 1 |
| 001-1 1 |
| .names [28] [128] [647] [729] [72] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names n_n238 [587] [588] [646] [647] [75] |
| 11-1- 1 |
| 1-11- 1 |
| 11--1 1 |
| 1-1-1 1 |
| .names [90] [686] [687] [690] [77] |
| 0001 1 |
| .names s1_in_5_ n_n237 n_n240 [587] [588] [79] |
| 1011- 1 |
| 101-1 1 |
| .names s1_in_0_ s1_in_2_ n_n237 n_n238 n_n239 [81] |
| 0-111 1 |
| -0111 1 |
| .names [590] [591] [594] [696] [82] |
| --11 1 |
| 11-1 1 |
| .names s1_in_0_ s1_in_2_ n_n237 n_n238 n_n240 [83] |
| 0-001 1 |
| -0001 1 |
| .names s1_in_2_ n_n45 [90] [686] [687] [85] |
| 011-- 1 |
| 01-1- 1 |
| 01--1 1 |
| .names s1_in_1_ n_n238 [590] [591] [594] [86] |
| 01--1 1 |
| 0111- 1 |
| .names s1_out_0_ n_n45 [88] |
| 00 1 |
| .names s1_out_0_ [97] [657] [658] [677] [90] |
| 10001 1 |
| .names s1_in_7_ s1_in_3_ n_n238 n_n239 n_n241 [92] |
| 01011 1 |
| .names s1_out_5_ [28] [128] [647] [648] [97] |
| 01--1 1 |
| 0-1-1 1 |
| 0--11 1 |
| .names s1_in_7_ n_n237 n_n238 n_n240 [102] |
| 1101 1 |
| .names s1_in_2_ s1_in_3_ n_n237 [615] [108] |
| 0101 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_0_ s1_in_2_ n_n237 n_n239 [115] |
| 1111 1 |
| .names [590] [591] [594] [634] [120] |
| 0-01 1 |
| -001 1 |
| .names [587] [588] [635] [121] |
| 001 1 |
| .names [590] [591] [594] [637] [123] |
| --11 1 |
| 11-1 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_n238 n_n239 n_n241 [587] [588] [128] |
| 100-- 1 |
| 1-01- 1 |
| 1-0-1 1 |
| .names s1_in_7_ n_n237 n_n239 n_n241 [130] |
| 1111 1 |
| .names s1_in_7_ n_n237 n_n238 n_n240 [587] |
| -001 1 |
| 1110 1 |
| .names s1_in_7_ n_n237 n_n238 n_n239 n_n241 [588] |
| -11-0 1 |
| -1-10 1 |
| 1-011 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_n237 n_n238 n_n239 n_n240 n_n241 [594] |
| -1-1- 1 |
| 001-0 1 |
| 100-0 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_6_ s1_in_7_ n_n238 n_n239 n_n241 [613] |
| 01110 1 |
| .names s1_in_6_ s1_in_4_ n_n238 n_n239 n_n241 [615] |
| 0-110 1 |
| -0110 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 [39] [612] [613] [620] [624] |
| -11- 1 |
| 1--1 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 [125] [127] [642] [643] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n239 [20] [28] [587] [588] [646] |
| --1-- 1 |
| 01--- 1 |
| -1-1- 1 |
| -1--1 1 |
| .names [120] [121] [123] [643] [647] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names s1_in_7_ s1_in_3_ [590] [591] [594] [648] |
| 100-0 1 |
| 10-00 1 |
| .names [587] [588] [648] [649] |
| 001 1 |
| .names s1_in_6_ s1_in_4_ [587] [588] [650] |
| 1100 1 |
| .names s1_in_7_ s1_in_3_ n_n237 n_n239 n_n241 [651] |
| 10011 1 |
| .names [30] [590] [591] [594] [652] |
| 10-0 1 |
| 1-00 1 |
| .names [102] [587] [588] [632] [654] |
| 1--- 1 |
| -001 1 |
| .names [587] [588] [651] [652] [655] |
| 001- 1 |
| 00-1 1 |
| .names s1_in_7_ s1_in_2_ n_n45 [655] [657] |
| ---1 1 |
| 111- 1 |
| .names n_n45 [26] [630] [650] [654] [658] |
| ----1 1 |
| 1-1-- 1 |
| 01-1- 1 |
| .names s1_in_0_ s1_in_3_ n_n238 n_n241 [661] |
| 1110 1 |
| .names n_n45 [587] [588] [661] [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_ s1_in_5_ [667] |
| 110 1 |
| .names s1_in_4_ s1_in_1_ [669] |
| 01 1 |
| .names n_n238 n_n239 n_n241 [113] [115] [672] |
| ---1- 1 |
| ----1 1 |
| 01--- 1 |
| -00-- 1 |
| .names [24] [590] [591] [594] [669] [674] |
| 1--1- 1 |
| ---11 1 |
| 111-- 1 |
| -11-1 1 |
| .names [587] [588] [667] [672] [674] [675] |
| ---1- 1 |
| ----1 1 |
| 1-1-- 1 |
| -11-- 1 |
| .names s1_in_3_ [590] [591] [594] [676] |
| 10-0 1 |
| 1-00 1 |
| .names [587] [588] [676] [677] |
| 001 1 |
| .names s1_in_0_ s1_in_3_ n_n237 n_n238 n_n240 [680] |
| 11101 1 |
| .names s1_in_2_ s1_in_3_ n_n45 [683] |
| 011 1 |
| .names s1_in_3_ n_n237 n_n239 n_n241 [92] [685] |
| ----1 1 |
| 1000- 1 |
| .names [97] [657] [658] [663] [685] [686] |
| ----1 1 |
| 0001- 1 |
| .names [97] [657] [658] [680] [683] [687] |
| 0001- 1 |
| 000-1 1 |
| .names s1_in_6_ s1_in_4_ n_n237 n_n239 n_n241 [690] |
| 11000 1 |
| .names n_n238 n_n239 n_n241 [587] [588] [692] |
| 10000 1 |
| .names n_n237 n_n238 n_n45 n_n240 [694] |
| 1001 1 |
| .names s1_in_4_ n_n237 n_n238 [696] |
| 111 1 |
| .names n_n45 [28] [128] [647] [698] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names [79] [81] [82] [83] [86] [704] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names s1_in_0_ s1_in_2_ n_n45 [26] [704] [705] |
| ----1 1 |
| 0-01- 1 |
| -001- 1 |
| .names [97] [657] [658] [698] [705] [706] |
| ----1 1 |
| 1--1- 1 |
| -1-1- 1 |
| --11- 1 |
| .names s1_out_0_ n_n45 [706] [707] |
| --1 1 |
| 00- 1 |
| .names [90] [686] [687] [692] [694] [709] |
| 0001- 1 |
| 000-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 n_n239 [587] [588] [716] [717] |
| 1001 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 [28] [128] [647] [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_ n_n239 [587] [588] [726] |
| 0-100 1 |
| -0100 1 |
| .names s1_out_0_ n_n239 [587] [588] [727] |
| 1100 1 |
| .names [24] [590] [591] [594] [729] |
| 1--1 1 |
| 111- 1 |
| .names n_n241 [28] [128] [647] [731] |
| 1000 1 |
| .names s1_in_2_ s1_in_3_ n_n237 n_n238 n_n240 [732] |
| 00-01 1 |
| 0-001 1 |
| .names [732] [66] [733] |
| 1- 1 |
| -1 1 |
| .names n_n45 [28] [61] [725] [733] [736] |
| -1--- 1 |
| --1-- 1 |
| ----1 1 |
| 0--1- 1 |
| .names [67] [71] [72] [75] [736] [740] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [90] [686] [687] [717] [740] [741] |
| ----1 1 |
| 0001- 1 |
| .names [90] [686] [687] [721] [726] [742] |
| 1--1- 1 |
| -1-1- 1 |
| --11- 1 |
| 1---1 1 |
| -1--1 1 |
| --1-1 1 |
| .names [90] [686] [687] [727] [731] [743] |
| 1--1- 1 |
| -1-1- 1 |
| --11- 1 |
| 1---1 1 |
| -1--1 1 |
| --1-1 1 |
| .names [30] [590] [591] [594] [747] |
| 10-0 1 |
| 1-00 1 |
| .names [28] [128] [647] [747] [748] |
| 0001 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 n_n238 n_n241 [28] [128] [647] [753] |
| 111-- 1 |
| 11-1- 1 |
| 11--1 1 |
| .names n_n238 n_n239 [28] [128] [647] [754] |
| 101-- 1 |
| 10-1- 1 |
| 10--1 1 |
| .names n_n238 n_n45 n_n240 [756] |
| 001 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_n240 [588] [758] |
| -1--1 1 |
| 1110- 1 |
| .names [587] [588] [590] [591] [594] [759] |
| 1---- 1 |
| -1--- 1 |
| ----1 1 |
| --11- 1 |
| .names s1_in_5_ [18] [54] [587] [588] [762] |
| 1--1- 1 |
| -0-1- 1 |
| --11- 1 |
| 1---1 1 |
| -0--1 1 |
| --1-1 1 |
| .names n_n45 [750] [762] [763] |
| --1 1 |
| 01- 1 |
| .names s1_out_0_ [43] [49] [748] [763] [766] |
| -1--- 1 |
| --1-- 1 |
| ----1 1 |
| 1--1- 1 |
| .names s1_out_0_ n_n46 [45] [758] [766] [769] |
| --1-- 1 |
| ----1 1 |
| 00--- 1 |
| 1--1- 1 |
| .names [34] [42] [769] [771] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .end |
