| .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_n223 [43] [147] ex1_out_10_ |
| ---1- 1 |
| ----1 1 |
| 110-- 1 |
| .names ex1_in_7_ ex1_in_1_ [80] [94] [32] [637] ex1_out_14_ |
| ----1- 1 |
| -----1 1 |
| -11--- 1 |
| 1--1-- 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_8_ [78] [128] [643] ex1_out_12_ |
| ----1 1 |
| 01--- 1 |
| 0-1-- 1 |
| 0--1- 1 |
| .names ex1_in_7_ [94] ex1_out_11_ |
| 11 1 |
| .names ex1_out_8_ n_n219 n_n220 n_n221 [68] ex1_out_7_ |
| 1---- 1 |
| -0011 1 |
| -1001 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_out_8_ [42] [43] [651] ex1_out_6_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---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 n_n220 [100] [104] ex1_out_0_ |
| --1 1 |
| 11- 1 |
| .names ex1_in_7_ [94] [32] [637] ex1_out_17_ |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names [32] [64] [637] ex1_out_16_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ex1_in_4_ n_n221 [65] [85] [56] [658] ex1_out_15_ |
| --1--- 1 |
| ----1- 1 |
| -----1 1 |
| 11-1-- 1 |
| .names ex1_in_1_ n_n219 [79] ex1_out_3_ |
| 101 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_ n_n219 [41] [46] [663] ex1_out_2_ |
| 1-1-- 1 |
| 11-1- 1 |
| 11--1 1 |
| .names ex1_in_6_ ex1_in_1_ [78] [194] [197] [606] n_n75 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 111--- 1 |
| .names [42] [51] [183] [184] [185] [186] n_n76 |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names ex1_in_4_ n_n221 [166] [616] [617] n_n77 |
| --1-- 1 |
| 11-1- 1 |
| 11--1 1 |
| .names ex1_in_7_ ex1_in_4_ [65] [163] [631] n_n78 |
| ---1- 1 |
| ----1 1 |
| 011-- 1 |
| .names [67] [72] [48] [76] [32] [35] n_n79 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| 1----1 1 |
| .names ex1_in_7_ ex1_in_4_ n_n222 [31] |
| 011 1 |
| .names ex1_in_7_ ex1_in_4_ n_n220 n_n221 n_n222 n_n223 [42] |
| 01111- 1 |
| 011001 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 n_n222 [43] |
| 011001 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 n_n223 [51] |
| 011011 1 |
| .names ex1_in_7_ ex1_in_4_ n_n220 n_n221 n_n222 n_n223 [79] |
| 01001- 1 |
| 011001 1 |
| .names ex1_in_4_ n_n219 n_n220 n_n221 n_n222 n_n223 [80] |
| 1-11-- 1 |
| 100-1- 1 |
| 1-001- 1 |
| 11-10- 1 |
| 1-1-01 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n222 [68] |
| 0111 1 |
| .names n_n219 n_n220 n_n221 n_n222 n_n223 [65] |
| 00001 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_ [67] |
| 01 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n221 [72] |
| 01111 1 |
| .names ex1_in_4_ n_n219 n_n220 n_n221 n_n222 n_n223 [94] |
| 11-1-- 1 |
| 1-0-1- 1 |
| 1-1-0- 1 |
| 10---1 1 |
| -1-0-0 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_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n221 n_n222 [100] |
| 010-10 1 |
| 011001 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_n221 n_n222 n_n223 [32] |
| -11--0 1 |
| 000001 1 |
| .names n_n220 n_n221 [37] |
| 00 1 |
| .names n_n219 n_n220 n_n221 n_n222 n_n223 [35] |
| -11-- 1 |
| 0---1 1 |
| 11-0- 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n221 n_n222 [41] |
| 011011 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n222 n_n223 [46] |
| 011101 1 |
| .names ex1_in_4_ n_n219 n_n220 n_n221 n_n222 n_n223 [56] |
| 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_n220 n_n221 n_n222 [64] |
| 011110 1 |
| .names ex1_in_7_ ex1_in_4_ n_n220 n_n221 n_n222 n_n223 [104] |
| 010101 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n221 n_n222 n_n223 [111] |
| 010101 1 |
| .names ex1_in_7_ ex1_in_4_ n_n219 n_n221 n_n222 [112] |
| 01001 1 |
| .names ex1_in_7_ n_n219 n_n220 n_n221 n_n222 n_n223 [128] |
| 000001 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 n_n222 [147] |
| 011111 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_1_ n_n220 n_n222 [160] |
| 010-01 1 |
| 01-001 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_1_ n_n219 n_n221 [161] |
| 010111 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n222 n_n223 [163] |
| 011101 1 |
| .names ex1_in_4_ [171] [172] [173] [174] [166] |
| 11--- 1 |
| 1-1-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names ex1_in_6_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 [171] |
| -10101 1 |
| 01-001 1 |
| .names ex1_in_6_ ex1_in_1_ n_n219 n_n220 n_n222 n_n223 [172] |
| 10101- 1 |
| 1-0001 1 |
| .names n_n219 n_n220 n_n221 n_n223 [173] |
| 1000 1 |
| .names ex1_in_7_ n_n219 n_n220 n_n221 n_n222 n_n223 [174] |
| 11-1-- 1 |
| 1-0-1- 1 |
| 1-1-0- 1 |
| 10---1 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n223 [183] |
| 010011 1 |
| .names ex1_in_7_ ex1_in_6_ ex1_in_5_ n_n219 n_n221 n_n223 [184] |
| 1--000 1 |
| -00000 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_1_ n_n219 n_n221 [185] |
| 011111 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n222 [186] |
| 01101 1 |
| .names n_n219 [201] [203] [204] [600] [194] |
| 11--- 1 |
| 1-1-- 1 |
| 1--1- 1 |
| 1---1 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_ n_n219 n_n220 n_n221 n_n222 [199] |
| 010000 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_6_ n_n220 n_n222 [201] |
| 01001 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n222 n_n223 [203] |
| 010101 1 |
| .names ex1_in_7_ ex1_in_4_ n_n221 n_n222 [204] |
| 0111 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 n_n223 [600] |
| 010-1- 1 |
| 0--000 1 |
| .names ex1_in_6_ ex1_out_18_ [48] [196] [199] [606] |
| --1-- 1 |
| ---1- 1 |
| 01--- 1 |
| 0---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 ex1_in_1_ [625] |
| 00 1 |
| .names ex1_in_7_ ex1_in_4_ n_n221 n_n222 [626] |
| 0111 1 |
| .names [54] [101] [160] [161] [626] [631] |
| 1---- 1 |
| --1-- 1 |
| ---1- 1 |
| -1--1 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_5_ n_n219 n_n221 n_n223 [637] |
| -0-100 1 |
| 0-1000 1 |
| .names ex1_in_6_ ex1_in_1_ n_n220 n_n221 [639] |
| 0-11 1 |
| -011 1 |
| .names ex1_out_13_ [31] [32] [37] [625] [639] [643] |
| 1----- 1 |
| --1--- 1 |
| -1---1 1 |
| -1-11- 1 |
| .names n_n219 [51] [111] [112] [651] |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names ex1_in_7_ ex1_in_5_ n_n219 n_n221 n_n223 [658] |
| --100 1 |
| 01-00 1 |
| .names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 n_n222 [663] |
| 01111- 1 |
| 011001 1 |
| .end |
