.model top
.inputs ex4_in_5_ ex4_in_3_ ex4_in_4_ ex4_in_1_ ex4_in_2_ ex4_in_0_ clock
.outputs ex4_out_6_ ex4_out_7_ ex4_out_4_ ex4_out_5_ ex4_out_8_ ex4_out_2_ \
ex4_out_3_ ex4_out_0_ ex4_out_1_
.latch    n_n39 n_n85 re clock 2
.latch    n_n40 n_n86 re clock 2
.latch    n_n41 n_n87 re clock 2
.latch    n_n42 n_n88 re clock 2
.names [39] [40] ex4_out_6_
1- 1
-1 1
.names [46] [47] ex4_out_7_
1- 1
-1 1
.names [155] [156] ex4_out_4_
11 1
.names ex4_out_4_ [25] ex4_out_5_
1- 1
-1 1
.names [27] [174] ex4_out_8_
1- 1
-1 1
.names n_n88 [23] ex4_out_2_
01 1
.names ex4_out_2_ [175] ex4_out_3_
11 1
.names [161] [162] ex4_out_0_
11 1
.names [22] [24] ex4_out_1_
1- 1
-1 1
.names [43] [158] n_n39
1- 1
-1 1
.names [41] [42] n_n40
1- 1
-1 1
.names [169] [170] n_n41
1- 1
-1 1
.names [32] [173] n_n42
1- 1
-1 1
.names n_n85 n_n88 [20]
1- 1
-1 1
.names n_n85 n_n87 [23]
11 1
.names n_n86 n_n88 [19]
1- 1
-0 1
.names [48] [49] [21]
1- 1
-1 1
.names [176] [177] [22]
11 1
.names [178] [179] [24]
11 1
.names ex4_out_8_ n_n42 [25]
10 1
.names n_n39 n_n88 [27]
00 1
.names n_n39 [171] [30]
11 1
.names n_n86 [20] [31]
00 1
.names n_n39 n_n88 [32]
00 1
.names n_n40 [163] [34]
11 1
.names n_n40 [164] [35]
01 1
.names n_n40 [167] [36]
11 1
.names ex4_out_7_ ex4_out_2_ [37]
01 1
.names [23] [165] [39]
11 1
.names [20] [166] [40]
01 1
.names ex4_out_7_ [160] [41]
11 1
.names ex4_out_0_ n_n86 [42]
01 1
.names ex4_out_7_ [154] [43]
01 1
.names ex4_out_4_ [157] [44]
01 1
.names n_n85 n_n86 [45]
01 1
.names n_n85 [21] [46]
11 1
.names n_n87 [20] [47]
00 1
.names n_n87 [19] [48]
10 1
.names n_n86 n_n88 [49]
10 1
.names n_n87 n_n86 [154]
10 1
.names n_n85 ex4_in_4_ [155]
11 1
.names [19] n_n87 [156]
10 1
.names n_n87 n_n85 [157]
01 1
.names [44] [45] [158]
1- 1
-1 1
.names ex4_in_2_ ex4_in_3_ [159]
11 1
.names [159] n_n88 [160]
11 1
.names n_n85 ex4_in_0_ [161]
11 1
.names n_n88 n_n86 [162]
01 1
.names ex4_out_7_ ex4_in_0_ [163]
10 1
.names n_n88 n_n85 [164]
10 1
.names n_n88 n_n86 [165]
11 1
.names n_n87 n_n86 [166]
10 1
.names ex4_out_6_ n_n87 [167]
01 1
.names [37] ex4_out_4_ [168]
1- 1
-1 1
.names [34] [168] [169]
1- 1
-1 1
.names [36] [35] [170]
1- 1
-1 1
.names [20] n_n86 [171]
11 1
.names [31] [23] [172]
1- 1
-1 1
.names [30] [172] [173]
1- 1
-1 1
.names [21] ex4_out_4_ [174]
1- 1
-1 1
.names n_n86 ex4_in_3_ [175]
01 1
.names n_n86 n_n85 [176]
11 1
.names n_n88 n_n87 [177]
11 1
.names n_n86 ex4_in_1_ [178]
11 1
.names n_n88 n_n87 [179]
11 1
.end