| .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_in_2_ s1_in_3_ s1_out_4_ n_n45 [662] [678] [680] [685] s1_out_1_ |
| -------1 1 |
| --0--1-- 1 |
| --0---1- 1 |
| --001--- 1 |
| 0101---- 1 |
| .names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ [112] [672] [674] s1_out_0_ |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 1101--- 1 |
| .names s1_out_2_ [121] [637] [644] [646] s1_out_3_ |
| -1--- 1 |
| ---1- 1 |
| ----1 1 |
| 1-1-- 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 n_n45 [26] [97] [630] [650] [653] [654] [655] s1_out_4_ |
| --1----- 1 |
| ------1- 1 |
| -------1 1 |
| 1--1---- 1 |
| 1----1-- 1 |
| 01--1--- 1 |
| .names [77] [85] [707] [709] [719] [746] n_n42 |
| -----1 1 |
| 1---1- 1 |
| -1--1- 1 |
| --1-1- 1 |
| ---11- 1 |
| .names s1_out_3_ s1_out_4_ n_n45 [77] [85] [88] [705] [709] n_n43 |
| ---1---- 1 |
| ----1--- 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| 110----- 1 |
| .names n_n45 [23] [26] [77] [85] [707] [709] [772] n_n44 |
| -------1 1 |
| 0-11---- 1 |
| 0-1-1--- 1 |
| 0-1--1-- 1 |
| 0-1---1- 1 |
| 01-0000- 1 |
| .names [103] [104] [105] [106] [107] [108] [111] [623] n_n45 |
| 1------- 1 |
| -1------ 1 |
| --1----- 1 |
| ---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 s1_in_2_ s1_in_3_ [41] |
| 01 1 |
| .names s1_in_0_ s1_in_2_ [18] |
| 0- 1 |
| -0 1 |
| .names n_n238 n_n240 [23] |
| 01 1 |
| .names n_n238 n_n239 n_n241 [26] |
| 110 1 |
| .names s1_in_7_ s1_in_5_ n_n237 n_n238 n_n239 n_n240 n_n241 [28] |
| -100-1- 1 |
| 1-1-1-1 1 |
| -111--0 1 |
| -11-1-0 1 |
| 1111-0- 1 |
| 11-01-1 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_ n_n45 [662] [678] [680] [685] [751] [34] |
| -0---11 1 |
| 001---1 1 |
| 00-1--1 1 |
| 00--1-1 1 |
| .names s1_out_4_ n_n45 [41] [662] [678] [680] [685] [754] [42] |
| ------11 1 |
| 0---1--1 1 |
| 0----1-1 1 |
| 011----1 1 |
| 00-1---1 1 |
| .names s1_in_1_ s1_out_2_ n_n238 n_n240 [121] [637] [644] [646] [43] |
| 0-111--- 1 |
| 0-11--1- 1 |
| 0-11---1 1 |
| 0111-1-- 1 |
| .names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ [112] [672] [674] [758] [46] |
| ----1--1 1 |
| -----1-1 1 |
| ------11 1 |
| 1101---1 1 |
| .names s1_out_2_ n_n237 n_n238 [121] [637] [644] [646] [49] |
| -111--- 1 |
| -11--1- 1 |
| -11---1 1 |
| 111-1-- 1 |
| .names s1_in_7_ s1_in_0_ s1_in_2_ n_n237 n_n238 n_n239 n_n240 n_n241 [50] |
| -1100-1- 1 |
| -1111--0 1 |
| -111-1-0 1 |
| 11111-0- 1 |
| 111-01-1 1 |
| .names s1_in_0_ n_n238 n_n239 n_n45 [112] [675] [759] [51] |
| ---0000 1 |
| 101-000 1 |
| .names s1_in_6_ s1_in_1_ s1_in_2_ s1_in_3_ [32] [61] |
| 01010 1 |
| .names s1_out_2_ n_n238 [121] [637] [644] [646] [724] [67] |
| -11---1 1 |
| -1--1-1 1 |
| -1---11 1 |
| 11-1--1 1 |
| .names s1_in_3_ s1_out_2_ n_n240 n_n241 [121] [637] [644] [646] [71] |
| 0-011--- 1 |
| 0-01--1- 1 |
| 0-01---1 1 |
| 0101-1-- 1 |
| .names s1_in_1_ s1_out_2_ n_n237 n_n238 [121] [644] [646] [72] |
| -1-01-- 1 |
| -1-0-1- 1 |
| -1-0--1 1 |
| 110-1-- 1 |
| 110--1- 1 |
| 110---1 1 |
| .names s1_out_2_ s1_out_5_ n_n238 [637] [644] [646] [75] |
| -11-1- 1 |
| -11--1 1 |
| 1111-- 1 |
| .names s1_out_4_ n_n45 [41] [662] [678] [680] [685] [690] [77] |
| 1-----01 1 |
| -10-0001 1 |
| -0-00001 1 |
| --000001 1 |
| .names s1_in_2_ s1_in_3_ s1_out_4_ n_n45 [678] [680] [685] [85] |
| 0--1--1 1 |
| 0101--- 1 |
| 0-011-- 1 |
| 0-01-1- 1 |
| .names s1_in_1_ s1_in_3_ n_n237 n_n238 n_n240 n_n241 [86] |
| 0--11- 1 |
| 0101-1 1 |
| .names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ n_n45 [112] [672] [674] [88] |
| 0---0000 1 |
| -0--0000 1 |
| --1-0000 1 |
| ---00000 1 |
| .names s1_out_2_ [121] [637] [644] [646] [649] [97] |
| -1---1 1 |
| ---1-1 1 |
| ----11 1 |
| 1-1--1 1 |
| .names s1_in_6_ s1_in_7_ s1_in_3_ s1_in_4_ n_n237 n_n239 n_n240 n_n241 [103] |
| 10010001 1 |
| .names s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [104] |
| 0010001 1 |
| .names s1_in_7_ s1_in_2_ s1_in_3_ n_n237 n_n238 n_n240 n_n241 [105] |
| 0011101 1 |
| .names s1_in_6_ s1_in_7_ s1_in_3_ n_n237 n_n239 n_n240 n_n241 [106] |
| 0100001 1 |
| .names s1_in_6_ s1_in_7_ s1_in_0_ s1_in_2_ n_n237 n_n238 n_n239 n_n241 [107] |
| 010-0110 1 |
| 01-00110 1 |
| .names s1_in_6_ s1_in_2_ s1_in_3_ s1_in_4_ n_n237 n_n238 n_n239 n_n241 [108] |
| 001-0110 1 |
| -0100110 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_in_0_ s1_in_2_ s1_out_2_ n_n237 n_n240 [121] [644] [646] [112] |
| 11011--- 1 |
| 1101-000 1 |
| .names s1_in_6_ s1_in_4_ n_n237 n_n238 n_n239 n_n240 [121] |
| 11100- 1 |
| 11-000 1 |
| .names s1_in_6_ s1_in_7_ s1_in_3_ s1_in_4_ n_n237 n_n238 n_n239 n_n241 [623] |
| -00-0111 1 |
| 10-10110 1 |
| .names s1_in_6_ s1_in_7_ s1_in_1_ s1_in_5_ [630] |
| 0101 1 |
| .names s1_in_6_ s1_in_1_ s1_in_4_ n_n237 n_n238 [637] |
| 101-1 1 |
| 1-111 1 |
| .names s1_in_6_ s1_in_3_ s1_in_4_ n_n237 n_n238 n_n239 n_n240 n_n241 [644] |
| ---01-1- 1 |
| 1-11--1- 1 |
| ---011-1 1 |
| ---100-1 1 |
| ---001-0 1 |
| 10101-0- 1 |
| 1-101-00 1 |
| .names s1_in_7_ s1_in_5_ n_n237 n_n238 n_n239 n_n240 n_n241 [646] |
| --11--0 1 |
| ---10-0 1 |
| -100-1- 1 |
| 1-1-1-1 1 |
| -11-1-0 1 |
| 1111-0- 1 |
| 11-01-1 1 |
| .names s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [649] |
| 1001-01 1 |
| 100-001 1 |
| 10-0001 1 |
| 1001-00 1 |
| 100-000 1 |
| 1010011 1 |
| .names s1_in_6_ s1_in_7_ s1_in_4_ n_n237 n_n238 n_n239 n_n240 n_n241 [650] |
| 1-1100-- 1 |
| 1-1-000- 1 |
| 1011---1 1 |
| 101-1--1 1 |
| 1-101--1 1 |
| 1-1-1-11 1 |
| 101---01 1 |
| 1-101--0 1 |
| 1-10--00 1 |
| 1-11-011 1 |
| 1-10-001 1 |
| .names s1_in_2_ s1_in_7_ [653] |
| 11 1 |
| .names s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [654] |
| 1-10-1- 1 |
| 10010-0 1 |
| .names s1_in_6_ s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [655] |
| -10011-1 1 |
| 01001-01 1 |
| 0100-001 1 |
| 010-0001 1 |
| 01001-00 1 |
| 0100-000 1 |
| 01010011 1 |
| .names s1_in_0_ s1_in_3_ n_n237 n_n238 n_n241 [662] |
| 11010 1 |
| .names s1_in_0_ s1_in_3_ n_n237 n_n238 n_n45 n_n241 [663] |
| 110100 1 |
| .names s1_in_6_ s1_in_0_ s1_in_2_ s1_in_4_ n_n237 n_n238 n_n239 n_n241 [672] |
| -----01- 1 |
| ------00 1 |
| -11-1-1- 1 |
| 011----0 1 |
| -110---0 1 |
| .names s1_in_1_ s1_in_3_ s1_in_4_ n_n237 n_n238 n_n239 n_n240 n_n241 [674] |
| 1-0-1-1- 1 |
| 1--01-1- 1 |
| ---001-0 1 |
| ---100-0 1 |
| -1-1000- 1 |
| 11-01--1 1 |
| -1--0001 1 |
| 11-0-001 1 |
| .names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ [672] [674] [675] |
| ----1- 1 |
| -----1 1 |
| 1101-- 1 |
| .names s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [677] |
| -101-00 1 |
| -10-000 1 |
| 0110-11 1 |
| -110011 1 |
| 0111-01 1 |
| 01-0101 1 |
| .names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ [112] [672] [674] [677] [678] |
| ----1--1 1 |
| -----1-1 1 |
| ------11 1 |
| 1101---1 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_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n241 [685] |
| -10-00 1 |
| 01-011 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 n_n237 n_n238 n_n45 n_n240 [694] |
| 1001 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_in_5_ n_n237 n_n238 n_n240 [86] [701] [704] |
| -----1- 1 |
| ------1 1 |
| 1-111-- 1 |
| -1001-- 1 |
| .names s1_in_0_ s1_in_2_ n_n238 n_n239 n_n45 n_n241 [704] [705] |
| ------1 1 |
| 0-1100- 1 |
| -01100- 1 |
| .names s1_out_3_ s1_out_4_ n_n45 [18] [26] [112] [675] [704] [707] |
| -------1 1 |
| 110----- 1 |
| --011--- 1 |
| --0--00- 1 |
| .names s1_out_4_ [663] [678] [680] [683] [685] [692] [694] [709] |
| 1----01- 1 |
| 1----0-1 1 |
| -000001- 1 |
| -00000-1 1 |
| .names s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [713] |
| 1-10-11 1 |
| 101--01 1 |
| 1-11-01 1 |
| 1-10101 1 |
| .names s1_in_6_ s1_in_4_ n_n237 n_n238 n_n239 n_n240 n_n241 [717] |
| 11011-0 1 |
| 110-100 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 s1_out_2_ [121] [637] [644] [646] [720] [721] |
| 00-001 1 |
| -00001 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_7_ s1_in_4_ n_n237 n_n238 n_n239 n_n240 n_n241 [726] |
| 00-1-1-1 1 |
| -001-1-1 1 |
| 00--11-1 1 |
| -00-11-1 1 |
| 0--011-1 1 |
| --0011-1 1 |
| 0---1111 1 |
| --0-1111 1 |
| 00---101 1 |
| -00--101 1 |
| 0--011-0 1 |
| --0011-0 1 |
| 0--0-100 1 |
| --00-100 1 |
| .names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ [32] [112] [672] [674] [727] |
| ----01-- 1 |
| ----0-1- 1 |
| ----0--1 1 |
| 11010--- 1 |
| .names s1_out_2_ n_n241 [121] [637] [644] [646] [731] |
| 010-00 1 |
| -10000 1 |
| .names s1_in_0_ s1_in_2_ s1_in_3_ n_n237 n_n238 n_n240 [28] [734] |
| ------1 1 |
| 01--01- 1 |
| 0-0-01- 1 |
| -00-01- 1 |
| -0-001- 1 |
| .names n_n45 [61] [67] [71] [72] [75] [725] [734] [740] |
| -1------ 1 |
| --1----- 1 |
| ---1---- 1 |
| ----1--- 1 |
| -----1-- 1 |
| -------1 1 |
| 0-----1- 1 |
| .names s1_out_4_ [663] [678] [680] [683] [685] [717] [740] [741] |
| -------1 1 |
| 1----01- 1 |
| -000001- 1 |
| .names s1_out_4_ [663] [678] [680] [683] [685] [721] [726] [742] |
| -----11- 1 |
| -----1-1 1 |
| 01----1- 1 |
| 0-1---1- 1 |
| 0--1--1- 1 |
| 0---1-1- 1 |
| 01-----1 1 |
| 0-1----1 1 |
| 0--1---1 1 |
| 0---1--1 1 |
| .names s1_out_4_ [663] [678] [680] [683] [685] [727] [731] [743] |
| -----11- 1 |
| -----1-1 1 |
| 01----1- 1 |
| 0-1---1- 1 |
| 0--1--1- 1 |
| 0---1-1- 1 |
| 01-----1 1 |
| 0-1----1 1 |
| 0--1---1 1 |
| 0---1--1 1 |
| .names [77] [85] [707] [709] [713] [741] [742] [743] [746] |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| 1---1--- 1 |
| -1--1--- 1 |
| --1-1--- 1 |
| ---11--- 1 |
| .names s1_in_6_ s1_in_7_ s1_in_3_ s1_out_2_ [121] [644] [646] [748] |
| 0100000 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 s1_out_2_ n_n238 n_n241 [121] [637] [644] [646] [753] |
| -111--- 1 |
| -11--1- 1 |
| -11---1 1 |
| 111-1-- 1 |
| .names s1_out_2_ n_n238 n_n239 [121] [637] [644] [646] [754] |
| -101--- 1 |
| -10--1- 1 |
| -10---1 1 |
| 110-1-- 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_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [759] |
| ---1-1- 1 |
| --00-1- 1 |
| --11--0 1 |
| --1-1-0 1 |
| 1-11-0- 1 |
| -101--1 1 |
| 1--01-1 1 |
| --001-0 1 |
| --100-0 1 |
| -11000- 1 |
| -10-001 1 |
| -1-0001 1 |
| .names s1_in_7_ s1_in_5_ n_n237 n_n238 n_n239 n_n240 n_n241 [50] [762] |
| -------1 1 |
| -100-1-- 1 |
| 1--01-1- 1 |
| -111--0- 1 |
| -11-1-0- 1 |
| 1111-0-- 1 |
| 1-11101- 1 |
| .names n_n45 [43] [49] [112] [675] [748] [750] [762] [766] |
| -1------ 1 |
| --1----- 1 |
| -------1 1 |
| ---1-1-- 1 |
| ----11-- 1 |
| 0-----1- 1 |
| .names s1_in_0_ s1_in_2_ s1_out_4_ n_n237 [46] [51] [766] [769] |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 0-11--- 1 |
| -011--- 1 |
| .names [34] [42] [77] [85] [707] [709] [753] [769] [772] |
| 1------- 1 |
| -1------ 1 |
| -------1 1 |
| --1---1- 1 |
| ---1--1- 1 |
| ----1-1- 1 |
| -----11- 1 |
| .end |
