| .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 [658] [659] [663] [678] [680] [683] [685] s1_out_1_ |
| ------1 1 |
| 001---- 1 |
| 00-1--- 1 |
| 00--1-- 1 |
| 00---1- 1 |
| .names s1_in_0_ s1_in_2_ s1_out_3_ s1_out_2_ n_n237 n_n240 [675] s1_out_0_ |
| ------1 1 |
| 11001-- 1 |
| 11-011- 1 |
| .names s1_out_2_ s1_out_5_ [634] [635] [637] [643] [646] s1_out_3_ |
| -----1- 1 |
| ------1 1 |
| 0-1---- 1 |
| -0-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 [658] [659] s1_out_4_ |
| 1- 1 |
| -1 1 |
| .names [60] [63] [745] n_n42 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1_out_1_ [690] [692] [694] [699] [707] n_n43 |
| -----1 1 |
| 01---- 1 |
| 0-1--- 1 |
| 0--1-- 1 |
| 1---1- 1 |
| .names [35] [44] [47] [771] n_n44 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names s1_in_0_ s1_in_2_ n_n237 [111] [613] [625] [626] n_n45 |
| ---1--- 1 |
| -----1- 1 |
| ------1 1 |
| 0-0-1-- 1 |
| -00-1-- 1 |
| .names s1_in_0_ n_n238 n_n239 [624] [625] [626] [759] n_n46 |
| ------1 1 |
| 0--1--- 1 |
| -1-1--- 1 |
| --01--- 1 |
| 0---1-- 1 |
| -1--1-- 1 |
| --0-1-- 1 |
| 0----1- 1 |
| -1---1- 1 |
| --0--1- 1 |
| .names s1_in_1_ n_n237 n_n238 [24] |
| --0 1 |
| 10- 1 |
| .names n_n237 n_n238 [29] |
| 11 1 |
| .names n_n238 n_n239 n_n241 [624] [625] [626] [55] |
| 110000 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_1_ [690] [692] [694] [699] [707] [753] [35] |
| -----11 1 |
| 01----1 1 |
| 0-1---1 1 |
| 0--1--1 1 |
| 1---1-1 1 |
| .names s1_out_1_ [690] [692] [694] [699] [707] [756] [44] |
| 1---001 1 |
| 0000-01 1 |
| -000001 1 |
| .names s1_out_3_ s1_out_2_ n_n240 [664] [675] [758] [46] |
| ----11 1 |
| 00-1-1 1 |
| -011-1 1 |
| .names s1_out_1_ [55] [690] [692] [694] [699] [707] [47] |
| -1----1 1 |
| 011---- 1 |
| 01-1--- 1 |
| 01--1-- 1 |
| 11---1- 1 |
| .names s1_out_1_ [690] [692] [694] [699] [707] [713] [60] |
| -----11 1 |
| 01----1 1 |
| 0-1---1 1 |
| 0--1--1 1 |
| 1---1-1 1 |
| .names s1_out_1_ [690] [692] [694] [699] [707] [719] [63] |
| -----11 1 |
| 01----1 1 |
| 0-1---1 1 |
| 0--1--1 1 |
| 1---1-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_out_3_ n_n240 [624] [625] [626] [665] [675] [88] |
| --00000 1 |
| 10000-0 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_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n241 [109] |
| 000111 1 |
| .names s1_in_6_ s1_in_7_ s1_in_4_ n_n237 n_n238 n_n239 n_n241 [110] |
| 1010110 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_6_ s1_in_0_ s1_in_2_ s1_in_4_ n_n241 [113] |
| 011-0 1 |
| -1100 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_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_0_ s1_in_2_ n_n237 n_n238 n_n240 [613] [624] |
| -0-0--1 1 |
| --00--1 1 |
| 00-101- 1 |
| 0-0101- 1 |
| .names s1_in_2_ s1_in_3_ n_n237 [104] [598] [599] [615] [625] |
| ---1--- 1 |
| ----11- 1 |
| 010---1 1 |
| .names [105] [106] [109] [110] [626] |
| 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 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 s1_in_6_ s1_in_4_ n_n237 n_n238 n_n239 n_n240 n_n241 [643] |
| --01-1- 1 |
| 111--1- 1 |
| --011-1 1 |
| --100-1 1 |
| --001-0 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_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_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_ s1_out_2_ s1_out_5_ [651] [655] |
| ----01 1 |
| 01000- 1 |
| .names [26] [624] [625] [626] [630] [650] [654] [658] |
| ------1 1 |
| -1--1-- 1 |
| --1-1-- 1 |
| ---11-- 1 |
| 1000-1- 1 |
| .names s1_out_3_ [624] [625] [626] [649] [653] [655] [659] |
| ------1 1 |
| 1---1-- 1 |
| -1---1- 1 |
| --1--1- 1 |
| ---1-1- 1 |
| .names s1_in_0_ s1_in_3_ n_n238 n_n241 [661] |
| 1110 1 |
| .names s1_out_5_ [111] [612] [613] [625] [626] [661] [663] |
| 000-001 1 |
| 00-0001 1 |
| .names s1_in_0_ s1_in_2_ n_n237 [664] |
| 111 1 |
| .names s1_in_0_ s1_in_2_ s1_out_2_ n_n237 [665] |
| 1101 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 s1_in_0_ s1_in_2_ n_n237 n_n238 n_n239 n_n241 [671] |
| ---01- 1 |
| ----00 1 |
| 111-1- 1 |
| .names s1_out_2_ s1_out_5_ [24] [113] [667] [669] [671] [675] |
| ---1--- 1 |
| ------1 1 |
| 1-1---- 1 |
| -1--1-- 1 |
| 1----1- 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_out_3_ s1_out_2_ n_n240 [664] [675] [677] [678] |
| ----11 1 |
| 00-1-1 1 |
| -011-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_ [111] [612] [613] [625] [626] [683] |
| 011---- 1 |
| 01---1- 1 |
| 01----1 1 |
| 01-11-- 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_n240 [624] [625] [626] [694] |
| 101000 1 |
| .names s1_out_3_ [111] [612] [613] [625] [626] [698] |
| 100-00 1 |
| 10-000 1 |
| .names s1_in_2_ n_n237 [111] [613] [625] [626] [699] |
| 0-1--- 1 |
| 0---1- 1 |
| 0----1 1 |
| 00-1-- 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_ [26] [624] [625] [626] [704] [705] |
| ------1 1 |
| 0-1000- 1 |
| -01000- 1 |
| .names [88] [658] [659] [698] [705] [707] |
| 1---- 1 |
| ----1 1 |
| -1-1- 1 |
| --11- 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_1_ s1_in_2_ s1_in_3_ [715] |
| 0101 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_ s1_out_3_ n_n237 n_n241 [721] |
| 0-000 1 |
| -0000 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_3_ s1_out_2_ n_n240 [32] [664] [675] [727] |
| ---0-1 1 |
| 00-01- 1 |
| -0101- 1 |
| .names s1_in_1_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [729] |
| 1-01-1- 1 |
| --001-0 1 |
| --100-0 1 |
| -11000- 1 |
| 1101--1 1 |
| -1-0001 1 |
| 110-001 1 |
| .names s1_out_3_ n_n241 [731] |
| 01 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 [32] [624] [625] [626] [715] [725] [734] [736] |
| ------1 1 |
| 0---1-- 1 |
| -000-1- 1 |
| .names s1_in_3_ s1_out_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [738] |
| 01---01 1 |
| 01011-1 1 |
| .names s1_out_3_ s1_out_5_ n_n238 [729] [736] [738] [740] |
| ----1- 1 |
| -----1 1 |
| 1--1-- 1 |
| 111--- 1 |
| .names s1_out_1_ [717] [721] [726] [727] [731] [740] [745] |
| ------1 1 |
| 01----- 1 |
| 1-1---- 1 |
| 1--1--- 1 |
| 1---1-- 1 |
| 1----1- 1 |
| .names s1_in_6_ s1_in_7_ s1_in_3_ s1_out_2_ [747] |
| 0100 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 [624] [625] [626] [752] |
| 110000 1 |
| .names s1_out_3_ n_n238 n_n241 [753] |
| 111 1 |
| .names n_n240 s1_in_1_ [755] |
| 10 1 |
| .names n_n238 n_n240 [111] [612] [613] [625] [626] [756] |
| 0100-00 1 |
| 010-000 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 [761] |
| -100-1- 1 |
| 1--01-1 1 |
| -111--0 1 |
| -11-1-0 1 |
| 1111-0- 1 |
| 1-11101 1 |
| .names s1_in_0_ s1_in_2_ s1_out_5_ [761] [762] |
| ---1 1 |
| 111- 1 |
| .names s1_out_3_ [29] [624] [625] [626] [750] [762] [764] |
| ------1 1 |
| 11----- 1 |
| --0001- 1 |
| .names s1_in_0_ s1_in_2_ n_n237 [46] [658] [659] [767] |
| ---1-- 1 |
| 0-1-1- 1 |
| -01-1- 1 |
| 0-1--1 1 |
| -01--1 1 |
| .names s1_out_0_ s1_out_3_ n_n238 n_n46 [747] [755] [764] [768] |
| ------1 1 |
| 0--0--- 1 |
| 10--1-- 1 |
| -11--1- 1 |
| .names s1_out_1_ s1_out_3_ n_n238 n_n239 [752] [767] [768] [771] |
| -----1- 1 |
| ------1 1 |
| 1---1-- 1 |
| 1110--- 1 |
| .end |
