vtr_flow/benchmarks/blif/7/mult32a.blif

.model top
.inputs p_30 p_20 p_10 p_12 p_23 p_34 p_11 p_24 p_33 pclk p_14 p_21 p_32 p_13 \
p_22 p_31 p_16 p_27 p_15 p_28 p_9 p_18 p_25 p_8 p_17 p_26 p_7 p_6 p_19 p_5 \
p_29 p_4 p_3 p_1
.outputs p_68
.latch    n_176 n_44 re pclk 2
.latch    n_172 n_40 re pclk 2
.latch    n_173 n_41 re pclk 2
.latch    n_174 n_42 re pclk 2
.latch    n_175 n_43 re pclk 2
.latch    n_168 n_36 re pclk 2
.latch    n_169 n_37 re pclk 2
.latch    n_170 n_38 re pclk 2
.latch    n_171 n_39 re pclk 2
.latch    n_203 n_2 re pclk 2
.latch    n_177 n_45 re pclk 2
.latch    n_188 n_56 re pclk 2
.latch    n_178 n_46 re pclk 2
.latch    n_187 n_55 re pclk 2
.latch    n_179 n_47 re pclk 2
.latch    n_190 n_58 re pclk 2
.latch    n_197 n_65 re pclk 2
.latch    n_180 n_48 re pclk 2
.latch    n_189 n_57 re pclk 2
.latch    n_198 n_66 re pclk 2
.latch    n_181 n_49 re pclk 2
.latch    n_192 n_60 re pclk 2
.latch    n_182 n_50 re pclk 2
.latch    n_191 n_59 re pclk 2
.latch    n_183 n_51 re pclk 2
.latch    n_194 n_62 re pclk 2
.latch    n_184 n_52 re pclk 2
.latch    n_193 n_61 re pclk 2
.latch    n_185 n_53 re pclk 2
.latch    n_196 n_64 re pclk 2
.latch    n_186 n_54 re pclk 2
.latch    n_195 n_63 re pclk 2
.names p_3 p_1 n_36 p_68
0-1 1
-01 1
110 1
.names p_12 p_1 n_45 n_223 n_176
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_40 n_41 n_39 n_211 [89] [77] [92] n_172
01---11 1
00---01 1
10---10 1
11---00 1
1011-1- 1
0100-1- 1
010-11- 1
01-011- 1
101-01- 1
10-101- 1
1111-0- 1
0000-0- 1
000-10- 1
00-010- 1
111-00- 1
11-100- 1
-100-11 1
-10-111 1
-1-0111 1
-000-01 1
-00-101 1
-0-0101 1
-011-10 1
-01-010 1
-0-1010 1
-111-00 1
-11-000 1
-1-1000 1
.names p_9 p_1 n_42 n_217 n_173
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_10 p_9 p_1 n_42 n_43 n_217 n_174
--001- 1
--0-10 1
00-01- 1
0--101 1
--0101 1
00--10 1
0--010 1
11111- 1
01110- 1
10100- 1
111-11 1
1-1111 1
011-01 1
101-00 1
1-1000 1
.names p_10 p_9 p_1 n_42 n_43 n_217 [176] n_175
--00--0 1
0---0-0 1
--0-0-0 1
--0--00 1
1-1-1-1 1
---1111 1
00-0--0 1
-0-00-0 1
00---00 1
0--0-00 1
-0--000 1
---0000 1
1111--1 1
-1111-1 1
111--11 1
1-11-11 1
-11-111 1
.names p_4 p_3 p_1 n_36 n_37 n_168
--0-1 1
00--1 1
0--01 1
101-0 1
1-100 1
11111 1
01110 1
.names p_5 p_4 p_3 p_1 n_36 n_37 n_38 n_169
---0--1 1
000---1 1
00--0-1 1
00---01 1
0-0--01 1
0---001 1
11-1-11 1
1001--0 1
10-10-0 1
01-1-10 1
10-1-00 1
1-01-00 1
1--1000 1
11111-1 1
1-11111 1
01111-0 1
0-11110 1
.names p_6 p_1 n_39 n_211 n_170
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_7 p_6 p_1 n_40 n_39 n_211 n_171
--010- 1
--01-0 1
00-10- 1
0--011 1
--0011 1
00-1-0 1
0--100 1
11111- 1
01101- 1
10100- 1
1111-1 1
0110-1 1
1-1111 1
1010-0 1
1-1000 1
.names p_34 p_33 p_1 n_2 n_66 n_265 n_203
1-11-- 1
---111 1
111-1- 1
-1111- 1
111--1 1
-111-1 1
1-1-11 1
.names p_12 p_13 p_1 n_45 n_46 n_223 n_177
--001- 1
--0-10 1
00-01- 1
-0-101 1
--0101 1
00--10 1
-0-010 1
11111- 1
10110- 1
01100- 1
111-11 1
-11111 1
101-01 1
011-00 1
-11000 1
.names p_24 p_1 n_57 n_247 n_188
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_12 p_13 p_1 n_45 n_46 n_223 [189] n_178
--00--0 1
-0--0-0 1
--0-0-0 1
--0--00 1
-11-1-1 1
---1111 1
00-0--0 1
0--00-0 1
00---00 1
-0-0-00 1
0---000 1
---0000 1
1111--1 1
1-111-1 1
111--11 1
-111-11 1
1-1-111 1
.names n_56 n_55 n_54 [90] n_241 [93] [73] n_187
10-1--1 1
00-0--1 1
01-1--0 1
11-0--0 1
01111-- 1
11101-- 1
10010-- 1
00000-- 1
1001-1- 1
0000-1- 1
10-101- 1
00-001- 1
0111-0- 1
1110-0- 1
01-110- 1
11-010- 1
1-010-1 1
0-000-1 1
1-01-11 1
0-00-11 1
1--1011 1
0--0011 1
0-111-0 1
1-101-0 1
0-11-00 1
1-10-00 1
0--1100 1
1--0100 1
.names p_15 p_1 n_48 n_229 n_179
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_58 n_57 n_59 n_247 [70] [88] [85] n_190
0-1-11- 1
1-0-01- 1
0-0-10- 1
1-1-00- 1
1101-1- 1
0010-1- 1
-01011- 1
-10101- 1
1111-0- 1
0000-0- 1
-00010- 1
-11100- 1
001--11 1
0-10-11 1
-01-111 1
--10111 1
000--01 1
0-00-01 1
-00-101 1
--00101 1
110--10 1
1-01-10 1
-10-010 1
--01010 1
111--00 1
1-11-00 1
-11-000 1
--11000 1
.names p_33 p_1 n_66 n_265 n_197
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_16 p_15 p_1 n_48 n_49 n_229 n_180
--001- 1
--0-10 1
00-01- 1
0--101 1
--0101 1
00--10 1
0--010 1
11111- 1
01110- 1
10100- 1
111-11 1
1-1111 1
011-01 1
101-00 1
1-1000 1
.names p_24 p_25 p_1 n_58 n_57 n_247 n_189
--010- 1
--01-0 1
00-10- 1
-0-011 1
--0011 1
00-1-0 1
-0-100 1
11111- 1
10101- 1
01100- 1
1111-1 1
1010-1 1
-11111 1
0110-0 1
-11000 1
.names p_34 p_33 p_1 n_2 n_66 n_265 n_198
--010- 1
--01-0 1
00-10- 1
0--011 1
--0011 1
00-1-0 1
0--100 1
11111- 1
01101- 1
10100- 1
1111-1 1
0110-1 1
1-1111 1
1010-0 1
1-1000 1
.names p_16 p_15 p_1 n_48 n_49 n_229 [181] n_181
--00--0 1
0---0-0 1
--0-0-0 1
--0--00 1
1-1-1-1 1
---1111 1
00-0--0 1
-0-00-0 1
00---00 1
0--0-00 1
-0--000 1
---0000 1
1111--1 1
-1111-1 1
111--11 1
1-11-11 1
-11-111 1
.names p_27 p_28 p_1 n_60 n_61 n_253 n_192
--001- 1
--0-10 1
00-01- 1
-0-101 1
--0101 1
00--10 1
-0-010 1
11111- 1
10110- 1
01100- 1
111-11 1
-11111 1
101-01 1
011-00 1
-11000 1
.names p_18 p_1 n_51 n_235 n_182
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_27 p_1 n_60 n_253 n_191
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_18 p_19 p_1 n_51 n_52 n_235 n_183
--001- 1
--0-10 1
00-01- 1
-0-101 1
--0101 1
00--10 1
-0-010 1
11111- 1
10110- 1
01100- 1
111-11 1
-11111 1
101-01 1
011-00 1
-11000 1
.names p_30 p_1 n_63 n_259 n_194
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_51 n_52 n_53 n_235 [69] [84] [71] n_184
-01--11 1
-10--01 1
-00--10 1
-11--00 1
1101--1 1
0010--1 1
001-1-1 1
-0101-1 1
110-0-1 1
-1010-1 1
0-10-11 1
0-1-111 1
--10111 1
1-01-01 1
1-0-001 1
--01001 1
1111--0 1
0000--0 1
000-1-0 1
-0001-0 1
111-0-0 1
-1110-0 1
0-00-10 1
0-0-110 1
--00110 1
1-11-00 1
1-1-000 1
--11000 1
.names p_27 p_28 p_1 n_60 n_61 n_253 [160] n_193
--00--0 1
-0--0-0 1
--0-0-0 1
--0--00 1
-11-1-1 1
---1111 1
00-0--0 1
0--00-0 1
00---00 1
-0-0-00 1
0---000 1
---0000 1
1111--1 1
1-111-1 1
111--11 1
-111-11 1
1-1-111 1
.names p_21 p_1 n_54 n_241 n_185
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_30 p_31 p_1 n_64 n_63 n_259 [171] n_196
-0-0--0 1
--00--0 1
--0-0-0 1
--0--00 1
-111--1 1
---1111 1
00--0-0 1
0--00-0 1
00---00 1
0--0-00 1
-0--000 1
---0000 1
111-1-1 1
1-111-1 1
111--11 1
1-11-11 1
-11-111 1
.names p_21 p_22 p_1 n_55 n_54 n_241 n_186
--010- 1
--01-0 1
00-10- 1
-0-011 1
--0011 1
00-1-0 1
-0-100 1
11111- 1
10101- 1
01100- 1
1111-1 1
1010-1 1
-11111 1
0110-0 1
-11000 1
.names p_30 p_31 p_1 n_64 n_63 n_259 n_195
--010- 1
--01-0 1
00-10- 1
-0-011 1
--0011 1
00-1-0 1
-0-100 1
11111- 1
10101- 1
01100- 1
1111-1 1
1010-1 1
-11111 1
0110-0 1
-11000 1
.names p_17 p_1 [87]
0- 1
-0 1
.names n_48 n_49 n_50 [87] [67] n_229 [97] n_235
--10--- 1
-11-0-- 1
-1-00-- 1
111--1- 1
11-0-1- 1
1-1-01- 1
1--001- 1
111---0 1
11-0--0 1
1-1-0-0 1
1--00-0 1
-11--10 1
-1-0-10 1
--1-010 1
---0010 1
.names p_23 p_1 [90]
0- 1
-0 1
.names n_56 n_55 n_54 [90] n_241 [93] [73] n_247
1--0--- 1
11----0 1
-1-0--0 1
111-1-- 1
-1101-- 1
111--0- 1
-110-0- 1
11--10- 1
-1-010- 1
1-1-1-0 1
--101-0 1
1-1--00 1
--10-00 1
1---100 1
---0100 1
.names n_58 n_57 n_59 n_247 [70] [88] [85] n_253
--1--0- 1
1-1-0-- 1
1---00- 1
1111--- 1
-1110-- 1
11-1-0- 1
-1-100- 1
111---0 1
1-11--0 1
-11-0-0 1
--110-0 1
11---00 1
1--1-00 1
-1--000 1
---1000 1
.names p_5 p_4 p_3 p_1 n_36 n_37 n_38 n_211
1--1--1 1
11-1-1- 1
-1-1-11 1
11111-- 1
1-1111- 1
-1111-1 1
--11111 1
.names p_6 p_1 [89]
0- 1
-0 1
.names p_10 p_1 [81]
0- 1
-0 1
.names p_16 p_1 [67]
0- 1
-0 1
.names n_51 n_52 n_53 n_235 [69] [84] [71] n_241
--1---0 1
-11--0- 1
-1---00 1
1111--- 1
111-0-- 1
-1110-- 1
1-11-0- 1
1-1-00- 1
--1100- 1
11-1--0 1
11--0-0 1
-1-10-0 1
1--1-00 1
1---000 1
---1000 1
.names p_21 p_1 [93]
0- 1
-0 1
.names p_27 p_1 [68]
0- 1
-0 1
.names p_28 p_1 [91]
0- 1
-0 1
.names n_65 n_64 n_63 n_259 [94] [72] [78] n_265
1-----0 1
11---0- 1
-1---00 1
1111--- 1
111-0-- 1
11-10-- 1
1-11-0- 1
1-1-00- 1
1--100- 1
-111--0 1
-11-0-0 1
-1-10-0 1
--11-00 1
--1-000 1
---1000 1
.names n_45 n_46 n_47 n_223 [75] [95] [96] n_229
--1--0- 1
-11---0 1
-1---00 1
1111--- 1
111-0-- 1
-1110-- 1
11-1-0- 1
11--00- 1
-1-100- 1
1-11--0 1
1-1-0-0 1
--110-0 1
1--1-00 1
1---000 1
---1000 1
.names p_15 p_1 [97]
0- 1
-0 1
.names p_25 p_1 [70]
0- 1
-0 1
.names p_8 p_1 [77]
0- 1
-0 1
.names n_40 n_41 n_39 n_211 [89] [77] [92] n_217
-1---0- 1
11----0 1
1----00 1
1111--- 1
111-0-- 1
11-10-- 1
1-11-0- 1
1-1-00- 1
1--100- 1
-111--0 1
-11-0-0 1
-1-10-0 1
--11-00 1
--1-000 1
---1000 1
.names n_44 n_42 n_43 [81] n_217 [79] [82] n_223
1-----0 1
1-10--- 1
--10--0 1
111-1-- 1
11-01-- 1
111--0- 1
11-0-0- 1
1-1-10- 1
1--010- 1
-11-1-0 1
-1-01-0 1
-11--00 1
-1-0-00 1
--1-100 1
---0100 1
.names p_12 p_1 [75]
0- 1
-0 1
.names p_18 p_1 [69]
0- 1
-0 1
.names p_26 p_1 [88]
0- 1
-0 1
.names p_29 p_1 [74]
0- 1
-0 1
.names n_60 n_62 n_61 n_253 [68] [91] [74] n_259
-1----0 1
-11--0- 1
--1--00 1
1111--- 1
111-0-- 1
-1110-- 1
11-1-0- 1
11--00- 1
-1-100- 1
1-11--0 1
1-1-0-0 1
--110-0 1
1--1-00 1
1---000 1
---1000 1
.names p_30 p_1 [94]
0- 1
-0 1
.names p_24 p_1 [85]
0- 1
-0 1
.names p_9 p_1 [79]
0- 1
-0 1
.names p_14 p_1 [95]
0- 1
-0 1
.names p_31 p_1 [72]
0- 1
-0 1
.names p_19 p_1 [84]
0- 1
-0 1
.names p_29 p_1 n_62 [160]
0-0 1
-00 1
111 1
.names p_7 p_1 [92]
0- 1
-0 1
.names p_22 p_1 [73]
0- 1
-0 1
.names p_32 p_1 [78]
0- 1
-0 1
.names p_13 p_1 [96]
0- 1
-0 1
.names p_20 p_1 [71]
0- 1
-0 1
.names p_32 p_1 n_65 [171]
0-0 1
-00 1
111 1
.names p_11 p_1 [82]
0- 1
-0 1
.names p_11 p_1 n_44 [176]
0-0 1
-00 1
111 1
.names p_17 p_1 n_50 [181]
0-0 1
-00 1
111 1
.names p_14 p_1 n_47 [189]
0-0 1
-00 1
111 1
.end