.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 [15] [16] dk512_out_2_
1- 1
-1 1
.names [25] [132] dk512_out_0_
11 1
.names n_n51 [133] dk512_out_1_
11 1
.names [39] [40] n_n22
1- 1
-1 1
.names [32] [129] n_n23
1- 1
-1 1
.names [28] [131] n_n24
1- 1
-1 1
.names n_n51 [23] n_n25
01 1
.names n_n51 [127] [18]
11 1
.names n_n49 n_n50 [19]
01 1
.names n_n49 n_n50 [14]
10 1
.names n_n51 [37] [21]
1- 1
-1 1
.names [35] [36] [20]
1- 1
-1 1
.names [13] [126] [22]
1- 1
-1 1
.names [19] [17] [23]
1- 1
-1 1
.names n_n48 n_n51 [13]
01 1
10 1
.names [30] [31] [24]
1- 1
-1 1
.names dk512_in n_n49 [25]
1- 1
-0 1
.names n_n51 [19] [15]
11 1
.names n_n50 [18] [16]
01 1
.names n_n48 n_n50 [17]
00 1
.names [14] [130] [27]
11 1
.names dk512_in [24] [28]
11 1
.names [19] [13] [29]
11 1
.names n_n48 [19] [30]
11 1
.names n_n49 n_n51 [31]
10 1
.names n_n51 [20] [32]
01 1
.names n_n48 [21] [33]
11 1
.names n_n51 [14] [34]
11 1
.names n_n50 [128] [35]
11 1
.names dk512_in n_n48 [36]
10 1
.names n_n49 n_n50 [37]
00 1
.names dk512_in [22] [39]
11 1
.names n_n50 [18] [40]
11 1
.names n_n48 n_n50 [41]
01 1
.names [41] [14] [126]
1- 1
-1 1
.names n_n48 dk512_in [127]
10 1
.names n_n49 dk512_in [128]
10 1
.names [33] [34] [129]
1- 1
-1 1
.names n_n51 n_n48 [130]
01 1
.names [29] [27] [131]
1- 1
-1 1
.names n_n51 n_n50 [132]
10 1
.names n_n50 n_n49 [133]
11 1
.end