| .model top |
| .inputs dk14_in_2_ dk14_in_0_ dk14_in_1_ clock |
| .outputs dk14_out_1_ dk14_out_0_ dk14_out_4_ dk14_out_3_ dk14_out_2_ |
| .latch n_n28 n_n79 re clock 2 |
| .latch n_n29 n_n80 re clock 2 |
| .latch n_n30 n_n81 re clock 2 |
| .names [43] [44] [156] [157] dk14_out_1_ |
| 1--- 1 |
| -1-- 1 |
| --11 1 |
| .names dk14_out_1_ n_n28 [167] [172] dk14_out_0_ |
| ---1 1 |
| 001- 1 |
| .names [23] [183] dk14_out_4_ |
| 1- 1 |
| -1 1 |
| .names dk14_in_0_ dk14_in_1_ dk14_out_1_ [164] dk14_out_3_ |
| ---1 1 |
| 000- 1 |
| .names [23] [183] [185] [186] dk14_out_2_ |
| ---1 1 |
| 1-1- 1 |
| -11- 1 |
| .names [40] [164] [165] [166] n_n28 |
| ---1 1 |
| 1-1- 1 |
| -11- 1 |
| .names [30] [31] n_n29 |
| 1- 1 |
| -1 1 |
| .names [25] [26] [29] [177] n_n30 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names dk14_in_2_ dk14_in_0_ [16] |
| 0- 1 |
| -1 1 |
| .names dk14_in_2_ dk14_in_0_ dk14_out_1_ [15] |
| 1-- 1 |
| -0- 1 |
| --1 1 |
| .names dk14_in_1_ dk14_out_1_ [19] |
| 00 1 |
| .names [15] [40] [164] [20] |
| 000 1 |
| .names n_n28 [19] [168] [172] [23] |
| 11-0 1 |
| -100 1 |
| .names n_n28 [168] [172] [174] [25] |
| 1-01 1 |
| -001 1 |
| .names n_n28 [168] [172] [175] [26] |
| --11 1 |
| 01-1 1 |
| .names [40] [164] [165] [166] [29] |
| 1-1- 1 |
| -11- 1 |
| 1--1 1 |
| -1-1 1 |
| .names n_n28 [168] [172] [173] [30] |
| 1-01 1 |
| -001 1 |
| .names n_n28 [16] [168] [172] [31] |
| 11-0 1 |
| -100 1 |
| .names dk14_in_2_ n_n79 n_n81 [34] |
| 001 1 |
| .names dk14_in_1_ n_n79 n_n81 [39] |
| 100 1 |
| .names dk14_in_0_ dk14_in_1_ dk14_out_1_ [40] |
| 000 1 |
| .names dk14_in_2_ dk14_in_0_ dk14_in_1_ n_n81 [43] |
| 0-00 1 |
| -000 1 |
| .names dk14_in_2_ n_n79 n_n81 [44] |
| 100 1 |
| .names n_n79 dk14_in_1_ [156] |
| 10 1 |
| .names dk14_in_2_ dk14_in_0_ n_n80 [157] |
| 0-0 1 |
| -00 1 |
| .names dk14_in_0_ n_n79 n_n80 [162] |
| 010 1 |
| .names dk14_in_2_ dk14_in_0_ dk14_out_1_ [39] [164] |
| ---1 1 |
| 111- 1 |
| .names n_n81 dk14_in_0_ [165] |
| 00 1 |
| .names dk14_in_2_ dk14_in_0_ dk14_out_1_ [162] [166] |
| 101- 1 |
| 0-01 1 |
| .names n_n80 dk14_in_0_ [167] |
| 10 1 |
| .names dk14_in_0_ dk14_out_1_ n_n80 [168] |
| 001 1 |
| .names dk14_in_2_ dk14_out_1_ n_n80 [34] [171] |
| ---1 1 |
| 101- 1 |
| .names dk14_in_1_ dk14_out_1_ n_n79 [171] [172] |
| ---1 1 |
| 000- 1 |
| .names n_n81 dk14_in_1_ [173] |
| 11 1 |
| .names dk14_in_1_ dk14_in_0_ [174] |
| 01 1 |
| .names dk14_in_1_ dk14_in_2_ [175] |
| 10 1 |
| .names dk14_in_2_ dk14_in_0_ dk14_in_1_ n_n80 [177] |
| 1-01 1 |
| 10-0 1 |
| .names dk14_in_2_ dk14_in_0_ dk14_out_1_ n_n80 [180] |
| 1--1 1 |
| -0-1 1 |
| --11 1 |
| .names dk14_in_2_ dk14_in_1_ n_n79 n_n81 [182] |
| --10 1 |
| 011- 1 |
| .names [40] [164] [180] [182] [183] |
| ---1 1 |
| 001- 1 |
| .names dk14_out_1_ dk14_in_2_ [184] |
| 01 1 |
| .names dk14_in_0_ n_n28 [168] [172] [185] |
| 0--1 1 |
| 001- 1 |
| .names [20] [30] [31] [184] [186] |
| 1--- 1 |
| -1-1 1 |
| --11 1 |
| .end |