| .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 dk15_in_2_ dk15_in_1_ dk15_in_0_ n_n58 n_n59 dk15_out_0_ |
| -11-0 1 |
| 1001- 1 |
| 0000- 1 |
| -0000 1 |
| .names dk15_in_2_ dk15_in_1_ dk15_in_0_ n_n58 n_n59 dk15_out_4_ |
| 00-1- 1 |
| -11-0 1 |
| 0--10 1 |
| -1011 1 |
| 10001 1 |
| .names dk15_in_2_ dk15_in_1_ dk15_in_0_ n_n58 n_n59 dk15_out_3_ |
| 101-- 1 |
| 10-1- 1 |
| 1-0-0 1 |
| 1100- 1 |
| .names dk15_in_2_ dk15_in_1_ dk15_in_0_ n_n58 n_n59 dk15_out_2_ |
| 111-- 1 |
| -11-1 1 |
| 0011- 1 |
| 0000- 1 |
| -0001 1 |
| .names dk15_in_2_ dk15_in_1_ dk15_in_0_ n_n58 n_n59 dk15_out_1_ |
| 0-01- 1 |
| -100- 1 |
| -10-0 1 |
| 1011- 1 |
| 0010- 1 |
| -0100 1 |
| .names dk15_in_2_ dk15_in_1_ dk15_in_0_ n_n58 n_n59 n_n25 |
| -01-- 1 |
| 00-1- 1 |
| 0-1-0 1 |
| 11001 1 |
| .names dk15_in_2_ dk15_in_1_ dk15_in_0_ n_n58 n_n59 n_n26 |
| -10-- 1 |
| 11--0 1 |
| 1-010 1 |
| .end |
