| .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 [43] [146] [147] ex1_out_10_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ex1_out_11_ [40] [131] ex1_out_14_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [69] [74] [638] ex1_out_13_ |
| 111 1 |
| .names [32] [124] [642] ex1_out_12_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ex1_in_7_ [52] [144] ex1_out_11_ |
| 11- 1 |
| 1-1 1 |
| .names n_n222 [72] [119] ex1_out_7_ |
| --1 1 |
| 01- 1 |
| .names n_n222 [72] ex1_out_8_ |
| 01 1 |
| .names [66] [117] [645] ex1_out_5_ |
| -1- 1 |
| 1-1 1 |
| .names [113] [649] [652] ex1_out_6_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ex1_in_3_ [108] [653] ex1_out_9_ |
| 11- 1 |
| 1-1 1 |
| .names n_n219 n_n221 [74] ex1_out_18_ |
| 001 1 |
| .names [104] [105] ex1_out_0_ |
| 1- 1 |
| -1 1 |
| .names ex1_out_11_ [32] [637] ex1_out_17_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [32] [64] [637] ex1_out_16_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [56] [660] ex1_out_15_ |
| 1- 1 |
| -1 1 |
| .names [78] [49] [661] ex1_out_3_ |
| 1-1 1 |
| -11 1 |
| .names n_n222 n_n223 [645] ex1_out_4_ |
| 011 1 |
| .names n_n219 [97] [41] ex1_out_1_ |
| --1 1 |
| 11- 1 |
| .names ex1_in_0_ ex1_out_1_ ex1_out_2_ |
| 11 1 |
| .names [194] [607] n_n75 |
| 1- 1 |
| -1 1 |
| .names [42] [613] [614] n_n76 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ex1_in_4_ [90] [165] n_n77 |
| --1 1 |
| 11- 1 |
| .names [628] [629] [630] n_n78 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [32] [633] [634] n_n79 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [157] [158] [637] [40] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ex1_in_7_ ex1_in_4_ n_n222 [31] |
| 011 1 |
| .names [31] [70] [192] [42] |
| --1 1 |
| 11- 1 |
| .names ex1_in_1_ [31] [37] [43] |
| 111 1 |
| .names [38] [603] [608] [51] |
| 111 1 |
| .names n_n219 n_n221 [69] |
| 00 1 |
| .names ex1_in_4_ n_n221 [598] [73] |
| 111 1 |
| .names ex1_in_4_ [82] [133] [80] |
| --1 1 |
| 11- 1 |
| .names n_n220 n_n222 [75] |
| 10 1 |
| .names n_n219 n_n220 n_n221 [84] |
| 001 1 |
| 100 1 |
| .names n_n222 n_n223 [66] |
| 01 1 |
| .names ex1_in_4_ n_n221 [38] |
| 11 1 |
| .names n_n219 n_n221 n_n223 [52] |
| 100 1 |
| .names n_n220 n_n221 [627] [65] |
| 001 1 |
| .names ex1_in_7_ n_n223 [74] |
| 00 1 |
| .names [172] [174] [623] [90] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n220 n_n221 [70] |
| 11 1 |
| .names n_n219 n_n223 [71] |
| 10 1 |
| .names ex1_in_7_ ex1_in_4_ [67] |
| 01 1 |
| .names n_n219 [38] [603] [72] |
| 111 1 |
| .names n_n219 n_n223 [77] |
| 01 1 |
| .names ex1_in_7_ ex1_in_6_ ex1_in_5_ [93] |
| 1-- 1 |
| -00 1 |
| .names ex1_in_6_ ex1_in_1_ [39] |
| 0- 1 |
| -0 1 |
| .names n_n220 n_n221 [31] [78] |
| 001 1 |
| .names [43] [45] [46] [97] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n220 [31] [76] |
| 01 1 |
| .names ex1_in_6_ ex1_in_1_ n_n220 [101] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names [157] [158] [32] |
| 1- 1 |
| -1 1 |
| .names n_n220 n_n221 [37] |
| 00 1 |
| .names [70] [77] [154] [35] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n222 [83] [138] [82] |
| --1 1 |
| 11- 1 |
| .names n_n219 n_n220 n_n222 [81] |
| -1- 1 |
| 1-0 1 |
| .names n_n219 n_n220 n_n221 [83] |
| 00- 1 |
| -00 1 |
| .names ex1_in_1_ [31] [662] [41] |
| 111 1 |
| .names n_n220 [38] [603] [45] |
| 111 1 |
| .names ex1_in_1_ [67] [599] [46] |
| 111 1 |
| .names n_n221 [67] [599] [49] |
| 011 1 |
| .names [38] [59] [60] [55] |
| 11- 1 |
| 1-1 1 |
| .names ex1_in_4_ [35] [657] [56] |
| 11- 1 |
| 1-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 [75] [38] [603] [64] |
| 111 1 |
| .names [66] [38] [654] [104] |
| 111 1 |
| .names n_n220 [106] [107] [105] |
| 11- 1 |
| 1-1 1 |
| .names n_n222 [38] [598] [106] |
| 011 1 |
| .names ex1_in_1_ [31] [69] [107] |
| 111 1 |
| .names n_n219 n_n220 n_n223 [108] |
| 1-1 1 |
| -11 1 |
| .names [38] [598] [648] [111] |
| 111 1 |
| .names n_n219 [51] [113] |
| 01 1 |
| .names n_n219 n_n220 [647] [117] |
| 111 1 |
| .names ex1_in_1_ [31] [84] [119] |
| 111 1 |
| .names [31] [70] [39] [123] |
| 111 1 |
| .names ex1_in_6_ [128] [640] [124] |
| 01- 1 |
| 0-1 1 |
| .names [31] [37] [625] [125] |
| 111 1 |
| .names ex1_in_7_ [37] [627] [128] |
| 011 1 |
| .names ex1_in_1_ [80] [131] |
| 11 1 |
| .names ex1_in_4_ n_n221 [81] [133] |
| 111 1 |
| .names n_n220 n_n222 n_n223 [138] |
| 101 1 |
| .names ex1_in_5_ [69] [74] [142] |
| 111 1 |
| .names ex1_in_4_ [621] [622] [144] |
| 11- 1 |
| 1-1 1 |
| .names n_n219 n_n220 n_n223 [146] |
| 110 1 |
| .names ex1_in_1_ [31] [70] [147] |
| 111 1 |
| .names n_n219 n_n220 n_n222 [154] |
| 110 1 |
| .names n_n219 n_n220 n_n223 [157] |
| 110 1 |
| .names ex1_in_4_ [37] [627] [158] |
| 011 1 |
| .names n_n221 [31] [101] [159] |
| 111 1 |
| .names n_n220 [31] [39] [160] |
| 011 1 |
| .names [67] [37] [627] [162] |
| 111 1 |
| .names ex1_in_1_ [67] [599] [163] |
| 111 1 |
| .names [38] [616] [617] [165] |
| 11- 1 |
| 1-1 1 |
| .names ex1_in_2_ n_n219 n_n222 [167] |
| 000 1 |
| .names ex1_in_1_ n_n219 n_n222 [168] |
| 01- 1 |
| 0-1 1 |
| .names [175] [176] [618] [171] |
| 1-1 1 |
| -11 1 |
| .names [177] [178] [620] [172] |
| 1-1 1 |
| -11 1 |
| .names ex1_in_7_ [621] [622] [174] |
| 11- 1 |
| 1-1 1 |
| .names n_n219 n_n220 n_n221 [175] |
| 010 1 |
| .names ex1_in_6_ n_n220 n_n221 [176] |
| 000 1 |
| .names ex1_in_1_ n_n219 n_n222 [177] |
| 011 1 |
| .names n_n219 n_n222 n_n223 [178] |
| 001 1 |
| .names n_n219 n_n221 [179] |
| 11 1 |
| .names [67] [77] [609] [183] |
| 111 1 |
| .names [93] [611] [184] |
| 11 1 |
| .names ex1_in_1_ n_n220 [31] [186] |
| 101 1 |
| .names n_n220 n_n221 [31] [191] |
| 111 1 |
| .names n_n221 [67] [599] [192] |
| 011 1 |
| .names ex1_in_6_ ex1_out_18_ [199] [193] |
| 01- 1 |
| 0-1 1 |
| .names n_n219 [601] [602] [194] |
| 11- 1 |
| 1-1 1 |
| .names [31] [39] [37] [195] |
| 101 1 |
| .names n_n220 [38] [603] [196] |
| 111 1 |
| .names ex1_in_5_ [69] [74] [197] |
| 111 1 |
| .names [67] [37] [596] [199] |
| 111 1 |
| .names ex1_in_6_ n_n220 [31] [201] |
| 001 1 |
| .names ex1_in_7_ n_n223 [37] [202] |
| 001 1 |
| .names ex1_in_1_ [67] [599] [203] |
| 011 1 |
| .names n_n221 [31] [204] |
| 11 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_1_ ex1_in_7_ [598] |
| 00 1 |
| .names n_n220 n_n222 n_n223 [599] |
| 101 1 |
| .names [73] [202] [204] [601] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [203] [201] [602] |
| 1- 1 |
| -1 1 |
| .names ex1_in_1_ ex1_in_7_ [603] |
| 10 1 |
| .names [196] [594] [595] [604] |
| 1-- 1 |
| -11 1 |
| .names [195] [197] [605] |
| 1- 1 |
| -1 1 |
| .names [193] [604] [605] [607] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n223 n_n220 [608] |
| 10 1 |
| .names n_n220 ex1_in_1_ [609] |
| 10 1 |
| .names n_n219 n_n221 n_n223 [611] |
| 000 1 |
| .names ex1_in_6_ [72] [184] [613] |
| --1 1 |
| 11- 1 |
| .names [51] [183] [186] [614] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ex1_in_6_ n_n220 [66] [616] |
| --1 1 |
| 01- 1 |
| .names [168] [167] [617] |
| 1- 1 |
| -1 1 |
| .names n_n222 ex1_in_1_ [618] |
| 11 1 |
| .names n_n220 ex1_in_6_ [620] |
| 01 1 |
| .names n_n219 n_n223 [75] [621] |
| --1 1 |
| 01- 1 |
| .names n_n220 n_n222 [179] [622] |
| --1 1 |
| 01- 1 |
| .names [71] [37] [171] [623] |
| --1 1 |
| 11- 1 |
| .names n_n219 ex1_in_1_ [625] |
| 00 1 |
| .names n_n219 n_n222 n_n223 [627] |
| 001 1 |
| .names [31] [159] [625] [628] |
| -1- 1 |
| 1-1 1 |
| .names ex1_in_6_ [72] [160] [629] |
| --1 1 |
| 01- 1 |
| .names [163] [162] [630] |
| 1- 1 |
| -1 1 |
| .names [72] [594] [595] [633] |
| 1-- 1 |
| -11 1 |
| .names [67] [76] [35] [634] |
| -1- 1 |
| 1-1 1 |
| .names ex1_in_4_ [52] [142] [637] |
| --1 1 |
| 01- 1 |
| .names ex1_in_5_ ex1_in_6_ [638] |
| 00 1 |
| .names n_n222 [72] [78] [640] |
| --1 1 |
| 01- 1 |
| .names ex1_out_13_ [123] [125] [642] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n220 n_n219 [645] |
| 01 1 |
| .names n_n222 n_n221 [647] |
| 10 1 |
| .names n_n223 n_n222 [648] |
| 10 1 |
| .names [31] [69] [111] [649] |
| --1 1 |
| 11- 1 |
| .names n_n222 [43] [72] [650] |
| -1- 1 |
| 0-1 1 |
| .names [191] [192] [650] [652] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n222 n_n221 [653] |
| 1- 1 |
| -1 1 |
| .names n_n220 ex1_in_7_ [654] |
| 00 1 |
| .names n_n221 ex1_in_5_ [656] |
| 01 1 |
| .names n_n219 n_n223 [61] [657] |
| --1 1 |
| 10- 1 |
| .names [52] [74] [656] [658] |
| 1-- 1 |
| -11 1 |
| .names [65] [55] [658] [660] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n219 ex1_in_1_ [661] |
| 01 1 |
| .names n_n221 n_n219 [662] |
| 10 1 |
| .end |