CMT18.txt : Multiplication circuit for binary polynomials of degree 17.

Date: July 2011.

input polynomials are A = f0 + f1*X + f2*X^2 + ... + f17*X^17 and B = g0 + g1*X + g2*X^2 + ... + g17*X^17.

output polynomial is the product A*B = h0 + h1*X + h2*X^2 + ... + h34*X^34.
Coefficients are over GF2.

Size : 454
Depth : 8

SLP:

t1 = f8 x g8
t2 = f8 x g0
t3 = f8 x g1
t4 = f8 x g2
t5 = f8 x g3
t6 = f8 x g4
t7 = f8 x g5
t8 = f8 x g6
t9 = f8 x g7
t10 = f0 x g8
t11 = f1 x g8
t12 = f2 x g8
t13 = f3 x g8
t14 = f4 x g8
t15 = f5 x g8
t16 = f6 x g8
t17 = f7 x g8
t18 = f3 x g3
t19 = f3 x g0
t20 = f3 x g1
t21 = f3 x g2
t22 = f0 x g3
t23 = f1 x g3
t24 = f2 x g3
t25 = f2 x g2
t26 = f2 x g0
t27 = f2 x g1
t28 = f0 x g2
t29 = f1 x g2
t30 = f1 x g1
t31 = f1 x g0
t32 = f0 x g1
h0 = f0 x g0
t43 = f7 x g7
t44 = f7 x g4
t45 = f7 x g5
t46 = f7 x g6
t47 = f4 x g7
t48 = f5 x g7
t49 = f6 x g7
t50 = f6 x g6
t51 = f6 x g4
t52 = f6 x g5
t53 = f4 x g6
t54 = f5 x g6
t55 = f5 x g5
t56 = f5 x g4
t57 = f4 x g5
t58 = f4 x g4
t68 = g0 + g4
t69 = g1 + g5
t70 = g2 + g6
t71 = g3 + g7
t72 = f0 + f4
t73 = f1 + f5
t74 = f2 + f6
t75 = f3 + f7
t76 = t75 x t71
t77 = t75 x t68
t78 = t75 x t69
t79 = t75 x t70
t80 = t72 x t71
t81 = t73 x t71
t82 = t74 x t71
t83 = t74 x t70
t84 = t74 x t68
t85 = t74 x t69
t86 = t72 x t70
t87 = t73 x t70
t88 = t73 x t69
t89 = t73 x t68
t90 = t72 x t69
t91 = t72 x t68
h34 = f17 x g17
t134 = f17 x g9
t135 = f17 x g10
t136 = f17 x g11
t137 = f17 x g12
t138 = f17 x g13
t139 = f17 x g14
t140 = f17 x g15
t141 = f17 x g16
t142 = f9 x g17
t143 = f10 x g17
t144 = f11 x g17
t145 = f12 x g17
t146 = f13 x g17
t147 = f14 x g17
t148 = f15 x g17
t149 = f16 x g17
t150 = f12 x g12
t151 = f12 x g9
t152 = f12 x g10
t153 = f12 x g11
t154 = f9 x g12
t155 = f10 x g12
t156 = f11 x g12
t157 = f11 x g11
t158 = f11 x g9
t159 = f11 x g10
t160 = f9 x g11
t161 = f10 x g11
t162 = f10 x g10
t163 = f10 x g9
t164 = f9 x g10
t165 = f9 x g9
t175 = f16 x g16
t176 = f16 x g13
t177 = f16 x g14
t178 = f16 x g15
t179 = f13 x g16
t180 = f14 x g16
t181 = f15 x g16
t182 = f15 x g15
t183 = f15 x g13
t184 = f15 x g14
t185 = f13 x g15
t186 = f14 x g15
t187 = f14 x g14
t188 = f14 x g13
t189 = f13 x g14
t190 = f13 x g13
t200 = g9 + g13
t201 = g10 + g14
t202 = g11 + g15
t203 = g12 + g16
t204 = f9 + f13
t205 = f10 + f14
t206 = f11 + f15
t207 = f12 + f16
t208 = t207 x t203
t209 = t207 x t200
t210 = t207 x t201
t211 = t207 x t202
t212 = t204 x t203
t213 = t205 x t203
t214 = t206 x t203
t215 = t206 x t202
t216 = t206 x t200
t217 = t206 x t201
t218 = t204 x t202
t219 = t205 x t202
t220 = t205 x t201
t221 = t205 x t200
t222 = t204 x t201
t223 = t204 x t200
t265 = g0 + g9
t266 = g1 + g10
t267 = g2 + g11
t268 = g3 + g12
t269 = g4 + g13
t270 = g5 + g14
t271 = g6 + g15
t272 = g7 + g16
t273 = g8 + g17
t274 = f0 + f9
t275 = f1 + f10
t276 = f2 + f11
t277 = f3 + f12
t278 = f4 + f13
t279 = f5 + f14
t280 = f6 + f15
t281 = f7 + f16
t282 = f8 + f17
t283 = t282 x t273
t284 = t282 x t265
t285 = t282 x t266
t286 = t282 x t267
t287 = t282 x t268
t288 = t282 x t269
t289 = t282 x t270
t290 = t282 x t271
t291 = t282 x t272
t292 = t274 x t273
t293 = t275 x t273
t294 = t276 x t273
t295 = t277 x t273
t296 = t278 x t273
t297 = t279 x t273
t298 = t280 x t273
t299 = t281 x t273
t300 = t277 x t268
t301 = t277 x t265
t302 = t277 x t266
t303 = t277 x t267
t304 = t274 x t268
t305 = t275 x t268
t306 = t276 x t268
t307 = t276 x t267
t308 = t276 x t265
t309 = t276 x t266
t310 = t274 x t267
t311 = t275 x t267
t312 = t275 x t266
t313 = t275 x t265
t314 = t274 x t266
t315 = t274 x t265
t325 = t281 x t272
t326 = t281 x t269
t327 = t281 x t270
t328 = t281 x t271
t329 = t278 x t272
t330 = t279 x t272
t331 = t280 x t272
t332 = t280 x t271
t333 = t280 x t269
t334 = t280 x t270
t335 = t278 x t271
t336 = t279 x t271
t337 = t279 x t270
t338 = t279 x t269
t339 = t278 x t270
t340 = t278 x t269
t350 = t265 + t269
t351 = t266 + t270
t352 = t267 + t271
t353 = t268 + t272
t354 = t274 + t278
t355 = t275 + t279
t356 = t276 + t280
t357 = t277 + t281
t358 = t357 x t353
t359 = t357 x t350
t360 = t357 x t351
t361 = t357 x t352
t362 = t354 x t353
t363 = t355 x t353
t364 = t356 x t353
t365 = t356 x t352
t366 = t356 x t350
t367 = t356 x t351
t368 = t354 x t352
t369 = t355 x t352
t370 = t355 x t351
t371 = t355 x t350
t372 = t354 x t351
t373 = t354 x t350
TR1 = t1 + t209
TR2 = t10 + t2
TR3 = t11 + t3
TR4 = t12 + t4
TR5 = t13 + t5
TR6 = h34 + t283
TR7 = t134 + t142
TR8 = t135 + t143
TR9 = t136 + t144
TR10 = t137 + t145
TR11 = t138 + t146
TR12 = t139 + t147
TR13 = t14 + t6
TR14 = t140 + t148
h33 = t141 + t149
TR16 = t15 + t7
TR17 = t150 + t183
TR18 = t151 + t154
TR19 = t152 + t155
TR20 = t153 + t156
TR21 = t157 + t190
TR22 = t158 + t160
TR23 = t159 + t161
TR24 = t16 + t221
TR25 = t163 + t164
TR26 = t165 + t46
TR27 = t17 + t216
TR28 = t176 + t179
TR29 = t177 + t180
TR30 = t178 + t181
TR31 = t18 + t51
TR32 = t184 + t186
TR33 = t185 + t187
TR34 = t188 + t189
TR35 = t19 + t22
TR36 = t20 + t23
TR37 = t21 + t24
TR38 = t210 + t213
TR39 = t211 + t214
TR40 = t212 + t217
TR41 = t218 + t220
TR42 = t222 + t8
TR43 = t25 + t58
TR44 = t26 + t28
TR45 = t27 + t29
TR46 = t284 + t292
TR47 = t285 + t293
TR48 = t286 + t294
TR49 = t287 + t295
TR50 = t288 + t296
TR51 = TR1 + TR40
TR52 = h33 + t291
TR53 = TR16 + t223
TR54 = TR17 + TR33
TR55 = TR18 + TR23
TR56 = TR19 + TR21
TR57 = TR2 + t78
TR58 = TR20 + TR34
TR59 = TR22 + t162
TR60 = TR24 + TR42
TR61 = TR25 + t43
TR62 = TR26 + t49
TR63 = TR27 + TR41
TR64 = TR28 + TR32
TR65 = TR29 + t182
TR66 = TR3 + t79
TR67 = t55 + t53
h3 = TR35 + TR45
TR69 = TR36 + TR43
TR70 = t57 + t56
TR71 = t215 + TR7
TR72 = TR30 + TR8
TR73 = TR4 + t76
h2 = TR44 + t30
TR75 = TR46 + t360
TR76 = TR47 + t361
TR77 = TR48 + t358
TR78 = TR64 + t219
TR79 = TR52 + t299
TR80 = t83 + t81
TR81 = TR54 + t9
TR82 = TR66 + t82
TR83 = TR67 + TR31
TR84 = TR70 + TR37
TR85 = TR71 + TR38
TR86 = t365 + t363
TR87 = TR76 + t364
TR88 = TR80 + TR57
TR89 = TR86 + TR75
TR90 = TR9 + t208
TR91 = t289 + t297
TR92 = t290 + t298
TR93 = t300 + t333
TR94 = t301 + t304
TR95 = t302 + t305
TR96 = t303 + t306
TR97 = t307 + t340
TR98 = t308 + t310
TR99 = t309 + t311
h1 = t31 + t32
TR101 = t337 + t335
TR102 = TR94 + TR99
TR103 = TR95 + TR97
TR104 = t339 + t338
TR105 = TR98 + t312
TR106 = t313 + t314
TR107 = t326 + t329
TR108 = t327 + t330
TR109 = t328 + t331
TR110 = t334 + t336
TR111 = t359 + t362
TR112 = t366 + t368
TR113 = t367 + t369
TR114 = t371 + t372
TR115 = t44 + t47
TR116 = t45 + t48
TR117 = t52 + t54
TR118 = t77 + t80
TR119 = t84 + t86
TR120 = t85 + t87
TR121 = t89 + t90
TR122 = TR101 + TR93
TR123 = TR104 + TR96
TR124 = TR107 + TR110
TR125 = TR108 + t332
TR126 = TR111 + TR113
TR127 = TR112 + t370
TR128 = TR115 + TR117
TR129 = TR116 + t50
TR130 = TR118 + TR120
TR131 = TR119 + t88
h29 = TR10 + TR64
TR146 = TR51 + TR78
TR148 = TR146 + TR55
TR149 = TR13 + TR55
h30 = TR11 + TR65
TR152 = TR65 + TR56
h26 = TR152 + TR85
TR155 = TR53 + TR56
h31 = TR12 + TR30
TR158 = TR39 + TR72
h27 = TR158 + TR58
TR161 = TR58 + TR60
h32 = TR14 + t175
TR164 = TR90 + t175
h28 = TR164 + TR54
TR167 = TR63 + TR81
TR169 = TR167 + TR59
TR170 = TR5 + TR59
X33 = TR128 + TR170
X34 = TR124 + h29
X35 = TR129 + TR149
X36 = TR125 + h30
X37 = TR102 + h3
h12 = X35 + X37
X39 = TR128 + h3
h7 = TR130 + X39
X41 = TR105 + h2
h11 = X33 + X41
X43 = h2 + TR83
h6 = TR131 + X43
X45 = TR109 + TR62
X46 = TR155 + X45
X47 = TR129 + TR69
h8 = TR88 + X47
X49 = TR61 + t325
X50 = h32 + X49
X51 = TR73 + TR83
X52 = TR82 + TR84
X53 = h1 + TR121
h5 = TR84 + X53
X55 = TR106 + TR61
X56 = t91 + h0
h4 = TR69 + X56
X58 = TR62 + t315
X59 = h1 + X51
h10 = X55 + X59
X61 = TR102 + TR124
X62 = h7 + X61
X63 = TR103 + TR125
X64 = h8 + X63
X65 = TR105 + TR122
X66 = h6 + X65
X67 = TR122 + X49
X68 = X51 + X67
X69 = TR123 + X45
X70 = X52 + X69
X71 = h0 + X58
h9 = X52 + X71
X73 = TR103 + TR155
X74 = h4 + X58
X75 = X73 + X74
X76 = TR123 + TR161
X77 = TR114 + X55
X78 = h5 + X77
TR134 = X66 + TR169
TR138 = TR77 + h28
TR143 = X50 + TR161
TR140 = TR87 + h27
TR142 = TR91 + h31
TR141 = TR89 + h26
TR136 = X36 + X35
TR133 = X62 + TR148
TR135 = X34 + X33
h13 = X75 + t373
h23 = TR143 + TR92
h22 = TR142 + X46
h17 = TR141 + X64
h18 = TR140 + X70
h24 = TR169 + TR79
h19 = TR138 + X68
h25 = TR148 + TR6
h21 = TR136 + TR50
h20 = TR135 + TR49
h15 = TR134 + TR127
h16 = TR133 + TR126
h14 = X78 + X76