| .model top |
| .inputs dk15_in_2_ dk15_in_1_ dk15_in_0_ clock |
| .outputs dk15_out_0_ dk15_out_4_ dk15_out_3_ dk15_out_2_ dk15_out_1_ |
| .latch n_n25 n_n58 re clock 2 |
| .latch n_n26 n_n59 re clock 2 |
| .names [15] [41] dk15_out_0_ |
| 1- 1 |
| -1 1 |
| .names [35] [162] dk15_out_4_ |
| 1- 1 |
| -1 1 |
| .names dk15_in_2_ [25] dk15_out_3_ |
| 11 1 |
| .names [18] [19] dk15_out_2_ |
| 1- 1 |
| -1 1 |
| .names [16] [168] dk15_out_1_ |
| 1- 1 |
| -1 1 |
| .names [154] [155] n_n25 |
| 1- 1 |
| -1 1 |
| .names [20] [45] n_n26 |
| 1- 1 |
| -1 1 |
| .names [43] [44] [11] |
| 1- 1 |
| -1 1 |
| .names n_n59 [157] [15] |
| 01 1 |
| .names dk15_in_1_ dk15_in_0_ [20] |
| 10 1 |
| .names dk15_in_1_ dk15_in_0_ [21] |
| 01 1 |
| .names n_n58 n_n59 [22] |
| 0- 1 |
| -0 1 |
| .names dk15_in_2_ n_n59 [24] |
| 0- 1 |
| -1 1 |
| .names [12] [29] [23] |
| 1- 1 |
| -1 1 |
| .names [163] [164] [25] |
| 1- 1 |
| -1 1 |
| .names n_n58 [151] [12] |
| 11 1 |
| .names dk15_in_2_ n_n59 [17] |
| 1- 1 |
| -1 1 |
| .names [39] [40] [26] |
| 1- 1 |
| -1 1 |
| .names dk15_in_1_ [47] [27] |
| 1- 1 |
| -1 1 |
| .names dk15_in_2_ n_n59 [28] |
| 0- 1 |
| -0 1 |
| .names n_n58 [167] [13] |
| 11 1 |
| .names [20] [22] [14] |
| 11 1 |
| .names [11] [21] [16] |
| 11 1 |
| .names [165] [166] [18] |
| 11 1 |
| .names dk15_in_0_ [23] [19] |
| 11 1 |
| .names dk15_in_1_ [17] [29] |
| 11 1 |
| .names n_n58 [20] [31] |
| 01 1 |
| .names dk15_in_0_ n_n59 [32] |
| 00 1 |
| .names dk15_in_1_ n_n58 [33] |
| 01 1 |
| .names [26] [160] [35] |
| 11 1 |
| .names n_n58 [17] [36] |
| 10 1 |
| .names n_n58 [159] [39] |
| 01 1 |
| .names dk15_in_1_ n_n58 [40] |
| 11 1 |
| .names [11] [158] [41] |
| 11 1 |
| .names n_n58 [28] [43] |
| 01 1 |
| .names dk15_in_2_ n_n58 [44] |
| 11 1 |
| .names [27] [156] [45] |
| 11 1 |
| .names dk15_in_0_ n_n58 [47] |
| 01 1 |
| .names [152] [153] [49] |
| 11 1 |
| .names dk15_in_0_ [17] [50] |
| 10 1 |
| .names dk15_in_1_ dk15_in_2_ [151] |
| 00 1 |
| .names n_n58 dk15_in_2_ [152] |
| 01 1 |
| .names [20] n_n59 [153] |
| 11 1 |
| .names [12] [21] [154] |
| 1- 1 |
| -1 1 |
| .names [49] [50] [155] |
| 1- 1 |
| -1 1 |
| .names n_n59 dk15_in_2_ [156] |
| 01 1 |
| .names dk15_in_0_ dk15_in_1_ [157] |
| 11 1 |
| .names dk15_in_0_ dk15_in_1_ [158] |
| 00 1 |
| .names dk15_in_1_ dk15_in_2_ [159] |
| 01 1 |
| .names n_n59 dk15_in_0_ [160] |
| 10 1 |
| .names [12] [15] [161] |
| 1- 1 |
| -1 1 |
| .names [161] [36] [162] |
| 1- 1 |
| -1 1 |
| .names [32] [21] [163] |
| 1- 1 |
| -1 1 |
| .names [31] [33] [164] |
| 1- 1 |
| -1 1 |
| .names dk15_in_0_ dk15_in_1_ [165] |
| 00 1 |
| .names [24] n_n58 [166] |
| 10 1 |
| .names dk15_in_0_ dk15_in_2_ [167] |
| 00 1 |
| .names [14] [13] [168] |
| 1- 1 |
| -1 1 |
| .end |