| .model top |
| .inputs ex1_in_8_ ex1_in_7_ ex1_in_4_ ex1_in_3_ ex1_in_6_ ex1_in_5_ ex1_in_0_ \ |
| ex1_in_2_ ex1_in_1_ clock |
| .outputs ex1_out_10_ ex1_out_14_ ex1_out_13_ ex1_out_12_ ex1_out_11_ \ |
| ex1_out_7_ ex1_out_8_ ex1_out_5_ ex1_out_6_ ex1_out_9_ ex1_out_18_ ex1_out_0_ \ |
| ex1_out_17_ ex1_out_16_ ex1_out_15_ ex1_out_3_ ex1_out_4_ ex1_out_1_ \ |
| ex1_out_2_ |
| .latch n_n75 n_n219 re clock 2 |
| .latch n_n76 n_n220 re clock 2 |
| .latch n_n77 n_n221 re clock 2 |
| .latch n_n78 n_n222 re clock 2 |
| .latch n_n79 n_n223 re clock 2 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 \ |
| ex1_out_10_ |
| ---11--0 1 |
| 011-111- 1 |
| 011-001- 1 |
| .names ex1_in_4_ ex1_in_1_ ex1_out_17_ n_n219 n_n220 n_n221 n_n222 n_n223 \ |
| ex1_out_14_ |
| --1----- 1 |
| 11--11-- 1 |
| 11-00-1- 1 |
| 11--001- 1 |
| 11-1-10- 1 |
| 11--1-01 1 |
| .names ex1_in_7_ ex1_in_6_ ex1_in_5_ n_n219 n_n221 n_n223 ex1_out_13_ |
| 000000 1 |
| .names ex1_in_6_ ex1_out_13_ [32] [102] [123] [125] ex1_out_12_ |
| -1---- 1 |
| --1--- 1 |
| ----1- 1 |
| -----1 1 |
| 0--1-- 1 |
| .names ex1_in_7_ ex1_in_4_ n_n219 n_n220 n_n221 n_n222 n_n223 ex1_out_11_ |
| 111-1-- 1 |
| 11-0-1- 1 |
| 11-1-0- 1 |
| 110---1 1 |
| 1-1-0-0 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 ex1_out_7_ |
| 0111-10 1 |
| 0110011 1 |
| 0111001 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n221 n_n222 ex1_out_8_ |
| 011110 1 |
| .names n_n219 n_n220 n_n221 n_n222 n_n223 ex1_out_5_ |
| 1101- 1 |
| 10-01 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 \ |
| ex1_out_6_ |
| 01--111- 1 |
| 01-0-01- 1 |
| 011-001- 1 |
| 0111-10- 1 |
| 010--101 1 |
| 01--1001 1 |
| 011001-1 1 |
| .names ex1_in_3_ n_n219 n_n220 n_n221 n_n222 n_n223 ex1_out_9_ |
| 1--1-- 1 |
| 1---1- 1 |
| 11---1 1 |
| 1-1--1 1 |
| .names ex1_in_7_ n_n219 n_n221 n_n223 ex1_out_18_ |
| 0000 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 \ |
| ex1_out_0_ |
| 010-110- 1 |
| 01--0101 1 |
| 0110101- 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_5_ n_n219 n_n220 n_n221 n_n222 n_n223 \ |
| ex1_out_17_ |
| ---11--0 1 |
| 11-1-1-- 1 |
| 11--0-1- 1 |
| 11--1-0- 1 |
| 11-0---1 1 |
| 1--1-0-0 1 |
| -0-1-0-0 1 |
| 0-10-0-0 1 |
| -0-00001 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 n_n222 [40] ex1_out_16_ |
| ------1 1 |
| 011110- 1 |
| .names ex1_in_4_ n_n219 n_n220 n_n221 n_n222 n_n223 [55] [659] ex1_out_15_ |
| ------1- 1 |
| -------1 1 |
| 1-11---- 1 |
| 10---1-- 1 |
| 11---0-- 1 |
| 1-001--- 1 |
| 111-0--- 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 \ |
| ex1_out_3_ |
| 0110001- 1 |
| 01101001 1 |
| .names n_n219 n_n220 n_n222 n_n223 ex1_out_4_ |
| 1001 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 \ |
| ex1_out_1_ |
| 011111-- 1 |
| 0110-11- 1 |
| 0111001- 1 |
| 01111-01 1 |
| .names ex1_in_0_ ex1_out_1_ ex1_out_2_ |
| 11 1 |
| .names n_n219 [96] [193] [195] [197] [604] n_n75 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 11---- 1 |
| .names ex1_in_7_ ex1_in_4_ n_n220 n_n221 n_n222 n_n223 [613] [614] n_n76 |
| ------1- 1 |
| -------1 1 |
| 01111--- 1 |
| 011001-- 1 |
| .names ex1_in_4_ n_n221 [90] [88] n_n77 |
| 1-1- 1 |
| 11-1 1 |
| .names [630] [631] n_n78 |
| 1- 1 |
| -1 1 |
| .names ex1_in_7_ ex1_in_4_ n_n219 n_n220 n_n221 n_n222 n_n223 [633] n_n79 |
| -------1 1 |
| --11--0- 1 |
| 01-11--- 1 |
| 01-0-1-- 1 |
| 010---1- 1 |
| 0111-0-- 1 |
| -000001- 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_5_ n_n219 n_n220 n_n221 n_n222 n_n223 [40] |
| ---11--0 1 |
| -0-1-0-0 1 |
| 0-10-0-0 1 |
| -0-00001 1 |
| .names ex1_in_7_ ex1_in_6_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 [90] |
| 1--1-1-- 1 |
| 1---0-1- 1 |
| 1---1-0- 1 |
| 1--0---1 1 |
| ---100-0 1 |
| -1010-1- 1 |
| --10101- 1 |
| -01-001- 1 |
| -1-00-01 1 |
| .names ex1_in_6_ ex1_in_2_ ex1_in_1_ n_n219 n_n220 n_n222 n_n223 [88] |
| --01--- 1 |
| 0---1-- 1 |
| --0--1- 1 |
| -----01 1 |
| -0-0-0- 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_1_ n_n220 n_n221 n_n222 n_n223 \ |
| [96] |
| 01-0-1-- 1 |
| 01---11- 1 |
| 0---00-0 1 |
| 010-0-1- 1 |
| 01-01-01 1 |
| .names ex1_in_4_ n_n219 n_n220 n_n221 n_n222 n_n223 [32] |
| -11--0 1 |
| 000001 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 [102] |
| 01--001- 1 |
| 0111-10- 1 |
| 0--00001 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_2_ ex1_in_1_ n_n219 n_n221 n_n222 [55] |
| -10-01- 1 |
| 11---11 1 |
| -1-0-11 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_1_ n_n220 n_n221 n_n222 [123] |
| 010-111 1 |
| 01-0111 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 [125] |
| 0100001 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_6_ n_n219 n_n220 n_n221 n_n222 n_n223 [193] |
| 0-00-0-0 1 |
| 0100000- 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_1_ n_n220 n_n221 n_n222 [195] |
| 0111001 1 |
| .names ex1_in_7_ ex1_in_5_ n_n219 n_n221 n_n223 [197] |
| 01000 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_2_ ex1_in_1_ n_n219 n_n220 n_n221 n_n223 \ |
| [604] |
| 01-1-11- 1 |
| -11-0-10 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_5_ ex1_in_1_ n_n219 n_n221 n_n223 \ |
| [613] |
| 1----000 1 |
| --00-000 1 |
| 011-111- 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 [614] |
| 011-0-1- 1 |
| 01001--1 1 |
| 011-01-1 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 [630] |
| 011-1-01 1 |
| 01-00001 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 \ |
| [631] |
| 01-00--1 1 |
| 010--0-1 1 |
| 01-0-0-1 1 |
| 010---11 1 |
| 01-0--11 1 |
| 01---011 1 |
| 01011-1- 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_2_ ex1_in_1_ n_n219 n_n221 n_n223 [633] |
| 01-111- 1 |
| -11-010 1 |
| .names ex1_in_7_ ex1_in_5_ n_n219 n_n220 n_n221 n_n222 n_n223 [659] |
| --1-0-0 1 |
| 01--0-0 1 |
| --00001 1 |
| .end |