vtr_flow/benchmarks/blif/3/tav.blif

.model top
.inputs tav_in_1_ tav_in_0_ tav_in_3_ tav_in_2_ clock
.outputs tav_out_2_ tav_out_1_ tav_out_0_ tav_out_3_
.latch    n_n11 n_n34 re clock 2
.latch    n_n23 n_n35 re clock 2
.names [11] [18] [52] tav_out_2_
1-1 1
-11 1
.names [11] [18] [53] tav_out_1_
1-1 1
-11 1
.names tav_in_0_ [11] [16] tav_out_0_
11- 1
1-1 1
.names tav_in_3_ [11] [14] tav_out_3_
11- 1
1-1 1
.names n_n34 n_n11
0 1
.names n_n34 n_n35 n_n23
01 1
10 1
.names n_n34 n_n35 [11]
10 1
.names tav_in_1_ tav_in_0_ tav_in_2_ [14]
000 1
.names tav_in_1_ tav_in_3_ tav_in_2_ [16]
000 1
.names tav_in_0_ tav_in_3_ [18]
00 1
.names tav_in_2_ tav_in_1_ [52]
10 1
.names tav_in_2_ tav_in_1_ [53]
01 1
.end