| .model top |
| .inputs dk512_in clock |
| .outputs dk512_out_2_ dk512_out_0_ dk512_out_1_ |
| .latch n_n22 n_n48 re clock 2 |
| .latch n_n23 n_n49 re clock 2 |
| .latch n_n24 n_n50 re clock 2 |
| .latch n_n25 n_n51 re clock 2 |
| .names n_n50 [18] [15] dk512_out_2_ |
| --1 1 |
| 01- 1 |
| .names dk512_in n_n49 [132] dk512_out_0_ |
| 1-1 1 |
| -01 1 |
| .names n_n49 n_n50 n_n51 dk512_out_1_ |
| 111 1 |
| .names n_n50 [18] [39] n_n22 |
| --1 1 |
| 11- 1 |
| .names [32] [129] n_n23 |
| 1- 1 |
| -1 1 |
| .names [27] [28] [29] n_n24 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n51 [23] n_n25 |
| 01 1 |
| .names dk512_in n_n48 n_n51 [18] |
| 011 1 |
| .names n_n49 n_n50 n_n51 [21] |
| --1 1 |
| 00- 1 |
| .names n_n48 n_n49 n_n50 [23] |
| -01 1 |
| 0-0 1 |
| .names n_n48 n_n51 [13] |
| 01 1 |
| 10 1 |
| .names n_n49 n_n50 n_n51 [15] |
| 011 1 |
| .names n_n49 n_n50 [130] [27] |
| 101 1 |
| .names dk512_in [30] [31] [28] |
| 11- 1 |
| 1-1 1 |
| .names n_n49 n_n50 [13] [29] |
| 011 1 |
| .names n_n48 n_n49 n_n50 [30] |
| 101 1 |
| .names n_n49 n_n51 [31] |
| 10 1 |
| .names n_n51 [35] [36] [32] |
| 01- 1 |
| 0-1 1 |
| .names n_n49 n_n50 n_n51 [34] |
| 101 1 |
| .names dk512_in n_n49 n_n50 [35] |
| 011 1 |
| .names dk512_in n_n48 [36] |
| 10 1 |
| .names dk512_in [13] [126] [39] |
| 11- 1 |
| 1-1 1 |
| .names n_n48 n_n49 n_n50 [126] |
| 0-1 1 |
| -10 1 |
| .names n_n48 [21] [34] [129] |
| --1 1 |
| 11- 1 |
| .names n_n51 n_n48 [130] |
| 01 1 |
| .names n_n51 n_n50 [132] |
| 10 1 |
| .end |