| .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_n220 n_n221 [68] [71] ex1_out_10_ |
| 1--1 1 |
| 111- 1 |
| 001- 1 |
| .names ex1_in_1_ ex1_out_17_ [133] [134] ex1_out_14_ |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names ex1_in_6_ ex1_in_5_ ex1_out_18_ ex1_out_13_ |
| 001 1 |
| .names [32] [124] [125] [641] ex1_out_12_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names ex1_in_7_ [94] ex1_out_11_ |
| 11 1 |
| .names ex1_out_8_ [68] [84] ex1_out_7_ |
| 1-- 1 |
| -11 1 |
| .names n_n219 n_n222 [36] ex1_out_8_ |
| 101 1 |
| .names ex1_out_4_ [117] ex1_out_5_ |
| 1- 1 |
| -1 1 |
| .names [113] [649] [652] ex1_out_6_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ex1_in_3_ n_n221 n_n222 [108] ex1_out_9_ |
| 11-- 1 |
| 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_ n_n220 [100] [655] ex1_out_0_ |
| -11- 1 |
| 00-1 1 |
| .names ex1_in_7_ [94] [32] [637] ex1_out_17_ |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names [36] [75] [32] [637] ex1_out_16_ |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names ex1_in_4_ [87] [55] [659] ex1_out_15_ |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names ex1_in_1_ n_n219 [78] [49] ex1_out_3_ |
| 101- 1 |
| 10-1 1 |
| .names n_n219 n_n220 n_n222 n_n223 ex1_out_4_ |
| 1001 1 |
| .names n_n219 [41] [46] [663] ex1_out_1_ |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names ex1_in_0_ ex1_out_1_ ex1_out_2_ |
| 11 1 |
| .names [194] [607] n_n75 |
| 1- 1 |
| -1 1 |
| .names n_n220 [68] [612] [615] n_n76 |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names [38] [166] [616] [617] n_n77 |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names [162] [163] [631] n_n78 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [32] [633] [634] n_n79 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ex1_in_7_ ex1_in_4_ n_n222 [31] |
| 011 1 |
| .names n_n220 n_n221 [68] [43] |
| 001 1 |
| .names n_n219 n_n221 [69] |
| 00 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 n_n220 n_n222 [75] |
| 10 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 ex1_in_4_ n_n221 [38] |
| 11 1 |
| .names n_n219 n_n221 n_n223 [52] |
| 100 1 |
| .names [71] [61] [154] [632] [87] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n219 n_n223 [71] |
| 10 1 |
| .names ex1_in_7_ ex1_in_4_ [67] |
| 01 1 |
| .names ex1_in_4_ [52] [621] [622] [94] |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names ex1_in_6_ ex1_in_1_ [39] |
| 0- 1 |
| -0 1 |
| .names n_n220 n_n221 [31] [78] |
| 001 1 |
| .names n_n222 [69] [73] [68] [100] |
| 0-1- 1 |
| -1-1 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_ [37] [157] [627] [32] |
| --1- 1 |
| 01-1 1 |
| .names n_n220 n_n221 [37] |
| 00 1 |
| .names n_n219 n_n220 n_n222 [81] |
| -1- 1 |
| 1-0 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 n_n219 n_n221 [68] [41] |
| 011 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ [599] [46] |
| 0111 1 |
| .names ex1_in_7_ ex1_in_4_ n_n221 [599] [49] |
| 0101 1 |
| .names ex1_in_7_ ex1_in_5_ n_n221 n_n223 [53] |
| 0100 1 |
| .names ex1_in_4_ n_n221 [59] [60] [55] |
| 111- 1 |
| 11-1 1 |
| .names ex1_in_7_ ex1_in_1_ n_n222 [59] |
| 1-1 1 |
| -01 1 |
| .names ex1_in_2_ n_n219 [60] |
| 00 1 |
| .names n_n220 n_n221 n_n222 [61] |
| 001 1 |
| .names n_n219 n_n220 n_n223 [108] |
| 1-1 1 |
| -11 1 |
| .names n_n219 n_n220 n_n223 [36] [113] |
| 0011 1 |
| .names n_n219 n_n220 n_n221 n_n222 [117] |
| 1101 1 |
| .names ex1_in_6_ ex1_out_8_ [78] [128] [124] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names n_n220 n_n221 [31] [625] [125] |
| 0011 1 |
| .names ex1_in_7_ n_n220 n_n221 [627] [128] |
| 0001 1 |
| .names ex1_in_4_ n_n221 [81] [133] |
| 111 1 |
| .names ex1_in_4_ [137] [138] [134] |
| 11- 1 |
| 1-1 1 |
| .names n_n219 n_n220 n_n221 n_n222 [137] |
| 00-1 1 |
| -001 1 |
| .names n_n220 n_n222 n_n223 [138] |
| 101 1 |
| .names ex1_in_4_ n_n219 n_n221 n_n223 [141] |
| 0100 1 |
| .names n_n219 n_n220 n_n222 [154] |
| 110 1 |
| .names n_n219 n_n220 n_n223 [157] |
| 110 1 |
| .names ex1_in_6_ n_n219 [36] [161] |
| 011 1 |
| .names ex1_in_7_ ex1_in_4_ [37] [627] [162] |
| 0111 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ [599] [163] |
| 0111 1 |
| .names ex1_in_4_ [172] [174] [623] [166] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names ex1_in_6_ n_n220 [92] [172] |
| 101 1 |
| .names n_n219 n_n220 n_n221 n_n223 [173] |
| 1000 1 |
| .names ex1_in_7_ [621] [622] [174] |
| 11- 1 |
| 1-1 1 |
| .names ex1_in_7_ ex1_in_6_ ex1_in_5_ [611] [184] |
| 1--1 1 |
| -001 1 |
| .names ex1_in_6_ n_n219 [36] [185] |
| 111 1 |
| .names n_n220 n_n221 [31] [191] |
| 111 1 |
| .names ex1_in_7_ ex1_in_4_ n_n221 [599] [192] |
| 0101 1 |
| .names ex1_in_6_ ex1_out_18_ [596] [597] [193] |
| 01-- 1 |
| 0-11 1 |
| .names n_n219 [201] [203] [601] [194] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names ex1_in_6_ ex1_in_1_ [31] [37] [195] |
| 1111 1 |
| .names ex1_in_5_ ex1_out_18_ [197] |
| 11 1 |
| .names ex1_in_6_ [76] [201] |
| 01 1 |
| .names ex1_in_7_ n_n220 n_n221 n_n223 [202] |
| 0000 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ [599] [203] |
| 0101 1 |
| .names ex1_in_7_ ex1_in_4_ n_n221 n_n222 [204] |
| 0111 1 |
| .names n_n219 ex1_in_2_ [594] |
| 01 1 |
| .names ex1_in_4_ n_n221 n_n223 [595] |
| 110 1 |
| .names n_n222 n_n219 [596] |
| 00 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 n_n220 [36] [594] [595] [604] |
| 11-- 1 |
| --11 1 |
| .names [193] [195] [197] [604] [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 [36] [608] [609] [610] [612] |
| 11-- 1 |
| --11 1 |
| .names [184] [185] [191] [192] [615] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 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 n_n219 n_n220 n_n222 n_n223 [621] |
| -10- 1 |
| 0--1 1 |
| .names n_n219 n_n220 n_n221 n_n222 [622] |
| 1-1- 1 |
| -0-1 1 |
| .names ex1_in_1_ n_n222 [91] [173] [623] |
| ---1 1 |
| 111- 1 |
| .names n_n219 ex1_in_1_ [625] |
| 00 1 |
| .names n_n219 n_n222 n_n223 [627] |
| 001 1 |
| .names n_n221 [31] [101] [625] [628] |
| -1-1 1 |
| 111- 1 |
| .names [39] [76] [161] [628] [631] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_n219 n_n220 n_n221 n_n223 [632] |
| -11- 1 |
| 0--1 1 |
| .names ex1_in_2_ n_n219 [36] [595] [633] |
| -11- 1 |
| 10-1 1 |
| .names [67] [76] [154] [632] [634] |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names ex1_in_5_ ex1_out_18_ [141] [637] |
| --1 1 |
| 11- 1 |
| .names ex1_in_5_ ex1_in_6_ [638] |
| 00 1 |
| .names ex1_in_6_ ex1_in_1_ n_n220 n_n221 [639] |
| 0-11 1 |
| -011 1 |
| .names ex1_out_18_ [31] [638] [639] [641] |
| 1-1- 1 |
| -1-1 1 |
| .names n_n223 n_n222 [648] |
| 10 1 |
| .names [31] [69] [73] [648] [649] |
| 11-- 1 |
| --11 1 |
| .names ex1_out_8_ [43] [191] [192] [652] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names ex1_in_4_ n_n221 n_n222 n_n223 [655] |
| 1101 1 |
| .names [52] [37] [53] [627] [659] |
| 1--- 1 |
| --1- 1 |
| -1-1 1 |
| .names n_n220 n_n221 [36] [68] [663] |
| 1-1- 1 |
| 00-1 1 |
| .end |
