| .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 n_n219 n_n220 n_n221 n_n223 [68] ex1_out_10_ |
| 11-0- 1 |
| -11-1 1 |
| -00-1 1 |
| .names ex1_out_11_ [40] [131] ex1_out_14_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ex1_in_6_ ex1_in_5_ ex1_out_18_ ex1_out_13_ |
| 001 1 |
| .names ex1_in_6_ [32] [102] [125] [641] ex1_out_12_ |
| -1--- 1 |
| ---1- 1 |
| ----1 1 |
| 0-1-- 1 |
| .names ex1_in_7_ ex1_in_4_ [52] [33] ex1_out_11_ |
| 1-1- 1 |
| 11-1 1 |
| .names n_n222 [68] [84] [72] ex1_out_7_ |
| -11- 1 |
| 0--1 1 |
| .names n_n222 [72] ex1_out_8_ |
| 01 1 |
| .names n_n219 n_n220 n_n221 n_n222 n_n223 ex1_out_5_ |
| 1101- 1 |
| 10-01 1 |
| .names [42] [113] [649] [650] ex1_out_6_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names ex1_in_3_ [98] ex1_out_9_ |
| 11 1 |
| .names ex1_in_7_ n_n219 n_n221 n_n223 ex1_out_18_ |
| 0000 1 |
| .names ex1_in_7_ n_n220 [105] [655] ex1_out_0_ |
| --1- 1 |
| 00-1 1 |
| .names ex1_in_7_ ex1_in_4_ [40] [52] [33] ex1_out_17_ |
| --1-- 1 |
| 1--1- 1 |
| 11--1 1 |
| .names n_n220 n_n222 [40] [36] ex1_out_16_ |
| --1- 1 |
| 10-1 1 |
| .names ex1_in_4_ [87] [660] ex1_out_15_ |
| --1 1 |
| 11- 1 |
| .names ex1_in_1_ n_n219 n_n221 [78] [34] ex1_out_3_ |
| 10-1- 1 |
| 100-1 1 |
| .names n_n219 n_n220 n_n222 n_n223 ex1_out_4_ |
| 1001 1 |
| .names n_n219 n_n221 [68] [97] ex1_out_1_ |
| 1--1 1 |
| 011- 1 |
| .names ex1_in_0_ n_n219 n_n221 [68] [97] ex1_out_2_ |
| 11--1 1 |
| 1011- 1 |
| .names n_n219 [601] [602] [607] n_n75 |
| ---1 1 |
| 11-- 1 |
| 1-1- 1 |
| .names n_n221 [34] [191] [613] [614] n_n76 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 01--- 1 |
| .names ex1_in_4_ [165] [623] [624] n_n77 |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names [54] [101] [626] [629] [630] n_n78 |
| 1---- 1 |
| ---1- 1 |
| ----1 1 |
| -11-- 1 |
| .names ex1_in_7_ ex1_in_4_ [76] [35] [635] n_n79 |
| --1-- 1 |
| ----1 1 |
| 01-1- 1 |
| .names ex1_in_4_ [52] [65] [142] [157] [40] |
| ---1- 1 |
| ----1 1 |
| 01--- 1 |
| 0-1-- 1 |
| .names ex1_in_7_ ex1_in_4_ n_n222 [31] |
| 011 1 |
| .names n_n221 [34] [191] [42] |
| --1 1 |
| 01- 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n221 [73] |
| 0101 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n221 [36] |
| 0111 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n222 [68] |
| 0111 1 |
| .names n_n219 n_n220 n_n221 [84] |
| 001 1 |
| 100 1 |
| .names n_n219 n_n221 n_n223 [52] |
| 100 1 |
| .names n_n219 n_n220 n_n221 n_n222 n_n223 [65] |
| 00001 1 |
| .names n_n219 n_n220 n_n221 n_n222 n_n223 [87] |
| -11-- 1 |
| 0---1 1 |
| 1---0 1 |
| -001- 1 |
| 11-0- 1 |
| .names ex1_in_7_ ex1_in_2_ ex1_in_1_ n_n219 n_n222 [85] |
| -0-0- 1 |
| 1---1 1 |
| --0-1 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n221 [72] |
| 01111 1 |
| .names ex1_in_4_ ex1_in_2_ n_n219 n_n221 n_n223 [48] |
| 11010 1 |
| .names ex1_in_7_ ex1_in_4_ n_n220 n_n221 n_n222 [78] |
| 01001 1 |
| .names ex1_in_1_ [31] [34] [37] [45] [97] |
| ----1 1 |
| 1-1-- 1 |
| 11-1- 1 |
| .names n_n219 n_n220 n_n221 n_n222 n_n223 [98] |
| --1-- 1 |
| ---1- 1 |
| 1---1 1 |
| -1--1 1 |
| .names ex1_in_7_ ex1_in_4_ n_n220 n_n222 n_n223 [34] |
| 01101 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n222 [54] |
| 01001 1 |
| .names ex1_in_7_ ex1_in_4_ n_n220 n_n222 [76] |
| 0101 1 |
| .names ex1_in_6_ ex1_in_1_ n_n220 [101] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names ex1_in_4_ n_n219 n_n220 n_n223 [65] [32] |
| 0---1 1 |
| -110- 1 |
| .names n_n220 n_n221 [37] |
| 00 1 |
| .names ex1_in_7_ n_n222 [65] [72] [78] [102] |
| ----1 1 |
| 0-1-- 1 |
| -0-1- 1 |
| .names n_n219 n_n220 n_n221 n_n222 n_n223 [35] |
| -11-- 1 |
| 0---1 1 |
| 11-0- 1 |
| .names n_n219 n_n220 n_n221 n_n222 n_n223 [33] |
| 1-1-- 1 |
| -0-1- 1 |
| -1-0- 1 |
| 0---1 1 |
| .names n_n219 n_n220 n_n221 n_n222 n_n223 [82] |
| 00-1- 1 |
| -001- 1 |
| -1-01 1 |
| .names ex1_in_1_ n_n219 n_n222 n_n223 [92] |
| 011- 1 |
| -001 1 |
| .names ex1_in_6_ n_n219 n_n220 n_n221 [91] |
| -010 1 |
| 0-00 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 [45] |
| 01111 1 |
| .names n_n219 n_n220 n_n221 [68] [106] [105] |
| -1--1 1 |
| 0101- 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n221 n_n222 [106] |
| 01010 1 |
| .names ex1_in_7_ ex1_in_4_ n_n219 n_n221 n_n222 [112] |
| 01001 1 |
| .names n_n219 n_n220 n_n223 [36] [113] |
| 0011 1 |
| .names n_n220 n_n221 [54] [125] |
| 001 1 |
| .names ex1_in_4_ ex1_in_1_ [82] [133] [131] |
| -1-1 1 |
| 111- 1 |
| .names ex1_in_4_ n_n219 n_n220 n_n221 n_n222 [133] |
| 1-11- 1 |
| 11-10 1 |
| .names ex1_in_7_ ex1_in_5_ n_n219 n_n221 n_n223 [142] |
| 01000 1 |
| .names n_n219 n_n220 n_n223 [157] |
| 110 1 |
| .names ex1_in_4_ n_n221 [616] [617] [165] |
| 111- 1 |
| 11-1 1 |
| .names n_n219 n_n220 n_n221 n_n223 [173] |
| 1000 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n222 [186] |
| 01101 1 |
| .names ex1_in_7_ ex1_in_4_ n_n220 n_n221 n_n222 [191] |
| 01111 1 |
| .names ex1_in_6_ ex1_out_18_ n_n219 n_n222 [597] [193] |
| 01--- 1 |
| 0-001 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 [196] |
| 01111 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_6_ n_n220 n_n222 [201] |
| 01001 1 |
| .names ex1_in_7_ n_n220 n_n221 n_n223 [202] |
| 0000 1 |
| .names ex1_in_7_ ex1_in_4_ n_n221 n_n222 [204] |
| 0111 1 |
| .names ex1_in_7_ ex1_in_4_ n_n220 n_n221 [597] |
| 0100 1 |
| .names n_n220 n_n222 n_n223 [599] |
| 101 1 |
| .names [73] [202] [204] [601] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ex1_in_1_ [34] [201] [602] |
| --1 1 |
| 01- 1 |
| .names ex1_in_6_ ex1_in_1_ [78] [197] [605] |
| ---1 1 |
| 111- 1 |
| .names [48] [193] [196] [605] [607] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n223 n_n220 [608] |
| 10 1 |
| .names n_n220 ex1_in_1_ [609] |
| 10 1 |
| .names ex1_in_7_ ex1_in_4_ n_n219 n_n223 [610] |
| 0101 1 |
| .names n_n219 n_n221 n_n223 [611] |
| 000 1 |
| .names ex1_in_7_ ex1_in_6_ ex1_in_5_ [72] [611] [613] |
| -1-1- 1 |
| 1---1 1 |
| -00-1 1 |
| .names [36] [186] [608] [609] [610] [614] |
| -1--- 1 |
| 1-1-- 1 |
| ---11 1 |
| .names ex1_in_6_ n_n220 n_n222 n_n223 [616] |
| 01-- 1 |
| --01 1 |
| .names ex1_in_2_ ex1_in_1_ n_n219 n_n222 [617] |
| -01- 1 |
| -0-1 1 |
| 0-00 1 |
| .names ex1_in_1_ n_n222 [91] [173] [623] |
| ---1 1 |
| 111- 1 |
| .names ex1_in_7_ ex1_in_6_ n_n220 [33] [92] [624] |
| 1--1- 1 |
| -10-1 1 |
| .names ex1_in_7_ ex1_in_4_ n_n221 n_n222 [626] |
| 0111 1 |
| .names ex1_in_6_ ex1_in_1_ [72] [76] [629] |
| 0-1- 1 |
| 0--1 1 |
| -0-1 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ [65] [599] [630] |
| 01-1- 1 |
| 011-1 1 |
| .names ex1_in_4_ [65] [72] [48] [157] [635] |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 01--- 1 |
| .names ex1_in_6_ ex1_in_1_ n_n220 n_n221 [639] |
| 0-11 1 |
| -011 1 |
| .names ex1_in_6_ ex1_in_5_ ex1_out_18_ [31] [639] [641] |
| ---11 1 |
| 001-- 1 |
| .names n_n222 n_n223 [73] [112] [649] |
| ---1 1 |
| 011- 1 |
| .names n_n220 n_n221 n_n222 [68] [72] [650] |
| --0-1 1 |
| 00-1- 1 |
| .names ex1_in_4_ n_n221 n_n222 n_n223 [655] |
| 1101 1 |
| .names ex1_in_7_ ex1_in_5_ n_n219 n_n221 n_n223 [658] |
| --100 1 |
| 01-00 1 |
| .names ex1_in_4_ n_n221 [65] [85] [658] [660] |
| --1-- 1 |
| ----1 1 |
| 11-1- 1 |
| .end |
