| .model top |
| .inputs dk16_in_0_ dk16_in_1_ clock |
| .outputs dk16_out_2_ dk16_out_1_ dk16_out_0_ |
| .latch n_n27 n_n130 re clock 2 |
| .latch n_n28 n_n131 re clock 2 |
| .latch n_n29 n_n132 re clock 2 |
| .latch n_n30 n_n133 re clock 2 |
| .latch n_n31 n_n134 re clock 2 |
| .names [35] [37] [615] dk16_out_2_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [33] [73] [26] [27] [619] dk16_out_1_ |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| .names n_n132 n_n133 n_n134 dk16_out_0_ |
| 011 1 |
| 000 1 |
| .names n_n131 [78] [166] [572] n_n27 |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names dk16_in_0_ [69] [66] [579] n_n28 |
| ---1 1 |
| 11-- 1 |
| 0-1- 1 |
| .names n_n131 n_n133 [90] [587] [590] n_n29 |
| ----1 1 |
| 1--1- 1 |
| 101-- 1 |
| .names n_n130 [597] [598] [602] [603] n_n30 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| 1-1-- 1 |
| .names n_n131 [51] [101] [102] [609] n_n31 |
| -1--- 1 |
| ----1 1 |
| 0-1-- 1 |
| 0--1- 1 |
| .names dk16_in_0_ dk16_in_1_ n_n131 n_n134 [16] |
| 1010 1 |
| .names n_n130 n_n131 n_n132 n_n133 n_n134 [21] |
| 000-- 1 |
| 0-011 1 |
| .names n_n130 [44] [15] [71] [70] [69] |
| -1--- 1 |
| 1--1- 1 |
| --1-1 1 |
| .names n_n131 [67] [148] [575] [66] |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names n_n130 n_n132 n_n133 [65] |
| --0 1 |
| 00- 1 |
| .names dk16_in_1_ n_n130 n_n132 n_n134 [17] |
| 0011 1 |
| .names n_n132 n_n133 [19] |
| 01 1 |
| .names dk16_in_1_ n_n132 n_n134 [33] |
| 110 1 |
| .names n_n130 n_n131 n_n133 [73] |
| --0 1 |
| 01- 1 |
| .names dk16_in_1_ n_n133 [39] [80] [79] [78] |
| --1-- 1 |
| -0-1- 1 |
| 11--1 1 |
| .names dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [77] |
| 11-0- 1 |
| -0111 1 |
| -0001 1 |
| -0010 1 |
| .names dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [43] |
| 00111 1 |
| .names dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [85] |
| 0-11- 1 |
| -001- 1 |
| 100-1 1 |
| .names dk16_in_1_ n_n131 n_n132 n_n134 [44] |
| 0010 1 |
| .names dk16_in_0_ dk16_in_1_ n_n130 n_n132 n_n134 [89] |
| 1-01- 1 |
| -11-0 1 |
| -1-10 1 |
| .names n_n130 n_n134 [63] |
| 11 1 |
| .names dk16_in_0_ dk16_in_1_ n_n132 n_n133 [93] |
| -0-0 1 |
| 1101 1 |
| .names n_n132 n_n133 [15] |
| 11 1 |
| 00 1 |
| .names dk16_in_0_ n_n131 n_n132 n_n134 [45] |
| 0010 1 |
| .names dk16_in_0_ n_n130 n_n132 n_n133 [39] |
| 1111 1 |
| .names dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [67] |
| 111-- 1 |
| 00111 1 |
| .names dk16_in_1_ n_n131 n_n132 n_n133 n_n134 [71] |
| -110- 1 |
| 0--01 1 |
| 0001- 1 |
| .names dk16_in_1_ n_n130 n_n131 n_n134 [70] |
| 1-0- 1 |
| -011 1 |
| .names dk16_in_0_ dk16_in_1_ n_n130 n_n132 n_n134 [80] |
| 1---0 1 |
| 001-1 1 |
| -0011 1 |
| -0000 1 |
| .names dk16_in_0_ n_n130 n_n132 n_n134 [79] |
| 10-- 1 |
| --10 1 |
| .names dk16_in_1_ n_n130 n_n131 n_n132 n_n134 [83] |
| ----1 1 |
| 0011- 1 |
| .names dk16_in_0_ dk16_in_1_ n_n130 n_n132 n_n134 [90] |
| -01-- 1 |
| --11- 1 |
| 01-0- 1 |
| -0-10 1 |
| 1-001 1 |
| .names dk16_in_1_ [45] [39] [31] [26] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names n_n132 n_n133 n_n134 [27] |
| 010 1 |
| .names dk16_in_0_ dk16_in_1_ n_n131 n_n133 n_n134 [28] |
| 10110 1 |
| .names n_n130 n_n131 n_n134 [31] |
| 110 1 |
| .names dk16_in_1_ n_n130 n_n131 n_n132 n_n133 [35] |
| 1101- 1 |
| 11-11 1 |
| .names dk16_in_0_ n_n133 [83] [40] [37] |
| 0--1 1 |
| 011- 1 |
| .names dk16_in_1_ n_n131 n_n132 n_n134 [40] |
| 1011 1 |
| .names n_n131 [103] [607] [51] |
| 11- 1 |
| 1-1 1 |
| .names n_n132 n_n133 n_n134 [52] |
| 100 1 |
| .names dk16_in_0_ dk16_in_1_ n_n130 n_n133 n_n134 [101] |
| 1-000 1 |
| -1000 1 |
| .names n_n130 n_n132 n_n133 n_n134 [102] |
| 0111 1 |
| .names dk16_in_0_ n_n130 n_n132 n_n134 [103] |
| 01-0 1 |
| 0011 1 |
| .names dk16_in_0_ dk16_in_1_ n_n132 n_n133 n_n134 [108] |
| 10001 1 |
| .names dk16_in_0_ n_n131 n_n132 n_n133 n_n134 [109] |
| 0110- 1 |
| -1100 1 |
| .names dk16_in_1_ n_n132 n_n133 [126] |
| 110 1 |
| .names dk16_in_0_ dk16_in_1_ n_n130 n_n132 n_n133 [128] |
| 01101 1 |
| .names dk16_in_0_ dk16_in_1_ n_n131 n_n132 n_n134 [131] |
| 10010 1 |
| .names n_n130 n_n131 n_n132 n_n133 n_n134 [148] |
| 11-11 1 |
| 01110 1 |
| .names dk16_in_0_ [21] [566] [166] |
| 11- 1 |
| 1-1 1 |
| .names dk16_in_1_ n_n130 n_n131 n_n132 n_n133 [168] |
| 00101 1 |
| .names dk16_in_0_ dk16_in_1_ n_n130 n_n131 n_n134 [169] |
| 10110 1 |
| .names dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [566] |
| 111-- 1 |
| 1-1-0 1 |
| 00101 1 |
| .names dk16_in_0_ n_n131 [77] [168] [169] [572] |
| ---1- 1 |
| ----1 1 |
| 011-- 1 |
| .names dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [575] |
| 11--0 1 |
| 1-100 1 |
| .names dk16_in_1_ [16] [21] [65] [579] |
| 1-1- 1 |
| -1-1 1 |
| .names n_n133 n_n131 [585] |
| 10 1 |
| .names dk16_in_0_ n_n130 n_n132 n_n133 n_n134 [587] |
| -0111 1 |
| 1-010 1 |
| .names [43] [89] [128] [131] [585] [590] |
| 1---- 1 |
| --1-- 1 |
| ---1- 1 |
| -1--1 1 |
| .names dk16_in_0_ n_n131 n_n132 n_n134 [597] |
| -01- 1 |
| 0-10 1 |
| .names dk16_in_0_ dk16_in_1_ n_n131 n_n133 n_n134 [598] |
| -11-- 1 |
| -0-0- 1 |
| ---00 1 |
| 11--0 1 |
| .names [33] [43] [45] [108] [126] [602] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names n_n131 [16] [19] [85] [109] [603] |
| ----1 1 |
| -11-- 1 |
| 0--1- 1 |
| .names dk16_in_0_ dk16_in_1_ n_n132 n_n133 n_n134 [607] |
| 11--- 1 |
| -1-1- 1 |
| -1--1 1 |
| 1-01- 1 |
| .names [63] [93] [45] [52] [126] [609] |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| .names dk16_in_1_ n_n132 n_n133 n_n134 [615] |
| 1-11 1 |
| -011 1 |
| .names dk16_in_0_ n_n131 n_n133 [17] [28] [619] |
| ----1 1 |
| 1--1- 1 |
| -101- 1 |
| .end |