| .model top |
| .inputs dk17_in_1_ dk17_in_0_ clock |
| .outputs dk17_out_2_ dk17_out_1_ dk17_out_0_ |
| .latch n_n21 n_n48 re clock 2 |
| .latch n_n22 n_n49 re clock 2 |
| .latch n_n23 n_n50 re clock 2 |
| .names dk17_in_1_ dk17_in_0_ n_n48 n_n49 n_n50 dk17_out_2_ |
| -1-1- 1 |
| 111-- 1 |
| -11-0 1 |
| 0-111 1 |
| 0-010 1 |
| .names dk17_in_1_ dk17_in_0_ n_n48 n_n49 n_n50 dk17_out_1_ |
| 10-1- 1 |
| 10--1 1 |
| -0110 1 |
| -1000 1 |
| .names dk17_in_0_ n_n48 n_n49 n_n50 dk17_out_0_ |
| 1-10 1 |
| 0-00 1 |
| -100 1 |
| .names dk17_in_1_ dk17_in_0_ n_n48 n_n49 n_n50 n_n21 |
| 1---1 1 |
| -00-1 1 |
| --101 1 |
| .names dk17_in_1_ dk17_in_0_ n_n48 n_n49 n_n50 n_n22 |
| 010-- 1 |
| 0-1-1 1 |
| -10-0 1 |
| -0-10 1 |
| .names dk17_in_1_ dk17_in_0_ n_n48 n_n49 n_n50 n_n23 |
| 1-1-0 1 |
| 1--00 1 |
| 1100- 1 |
| 011-1 1 |
| -1010 1 |
| .end |
