CMT20.txt : Multiplication circuit for binary polynomials of degree 19.

Date: July 2011.

input polynomials are A = f0 + f1*X + f2*X^2 + ... + f19*X^19 and B = g0 + g1*X + g2*X^2 + ... + g19*X^19.

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

Size : 527
Depth : 8

SLP:
h38 = f19 x g19
t2 = f19 x g15
t3 = f19 x g16
t4 = f19 x g17
t5 = f19 x g18
t6 = f15 x g19
t7 = f16 x g19
t8 = f17 x g19
t9 = f18 x g19
t10 = f18 x g18
t11 = f18 x g15
t12 = f18 x g16
t13 = f18 x g17
t14 = f15 x g18
t15 = f16 x g18
t16 = f17 x g18
t17 = f17 x g17
t18 = f17 x g15
t19 = f17 x g16
t20 = f15 x g17
t21 = f16 x g17
t22 = f16 x g16
t23 = f16 x g15
t24 = f15 x g16
t25 = f15 x g15
t42 = f14 x g14
t43 = f14 x g10
t44 = f14 x g11
t45 = f14 x g12
t46 = f14 x g13
t47 = f10 x g14
t48 = f11 x g14
t49 = f12 x g14
t50 = f13 x g14
t51 = f13 x g13
t52 = f13 x g10
t53 = f13 x g11
t54 = f13 x g12
t55 = f10 x g13
t56 = f11 x g13
t57 = f12 x g13
t58 = f12 x g12
t59 = f12 x g10
t60 = f12 x g11
t61 = f10 x g12
t62 = f11 x g12
t63 = f11 x g11
t64 = f11 x g10
t65 = f10 x g11
t66 = f10 x g10
t83 = f9 x g9
t84 = f9 x g5
t85 = f9 x g6
t86 = f9 x g7
t87 = f9 x g8
t88 = f5 x g9
t89 = f6 x g9
t90 = f7 x g9
t91 = f8 x g9
t92 = f8 x g8
t93 = f8 x g5
t94 = f8 x g6
t95 = f8 x g7
t96 = f5 x g8
t97 = f6 x g8
t98 = f7 x g8
t99 = f7 x g7
t100 = f7 x g5
t101 = f7 x g6
t102 = f5 x g7
t103 = f6 x g7
t104 = f6 x g6
t105 = f6 x g5
t106 = f5 x g6
t107 = f5 x g5
t124 = f4 x g4
t125 = f4 x g0
t126 = f4 x g1
t127 = f4 x g2
t128 = f4 x g3
t129 = f0 x g4
t130 = f1 x g4
t131 = f2 x g4
t132 = f3 x g4
t133 = f3 x g3
t134 = f3 x g0
t135 = f3 x g1
t136 = f3 x g2
t137 = f0 x g3
t138 = f1 x g3
t139 = f2 x g3
t140 = f2 x g2
t141 = f2 x g0
t142 = f2 x g1
t143 = f0 x g2
t144 = f1 x g2
t145 = f1 x g1
t146 = f1 x g0
t147 = f0 x g1
h0 = f0 x g0
t177 = g10 + g15
t178 = g11 + g16
t179 = g12 + g17
t180 = g13 + g18
t181 = g14 + g19
t182 = f10 + f15
t183 = f11 + f16
t184 = f12 + f17
t185 = f13 + f18
t186 = f14 + f19
t187 = t186 x t181
t188 = t186 x t177
t189 = t186 x t178
t190 = t186 x t179
t191 = t186 x t180
t192 = t182 x t181
t193 = t183 x t181
t194 = t184 x t181
t195 = t185 x t181
t196 = t185 x t180
t197 = t185 x t177
t198 = t185 x t178
t199 = t185 x t179
t200 = t182 x t180
t201 = t183 x t180
t202 = t184 x t180
t203 = t184 x t179
t204 = t184 x t177
t205 = t184 x t178
t206 = t182 x t179
t207 = t183 x t179
t208 = t183 x t178
t209 = t183 x t177
t210 = t182 x t178
t211 = t182 x t177
t228 = g0 + g5
t229 = g1 + g6
t230 = g2 + g7
t231 = g3 + g8
t232 = g4 + g9
t233 = f0 + f5
t234 = f1 + f6
t235 = f2 + f7
t236 = f3 + f8
t237 = f4 + f9
t238 = t237 x t232
t239 = t237 x t228
t240 = t237 x t229
t241 = t237 x t230
t242 = t237 x t231
t243 = t233 x t232
t244 = t234 x t232
t245 = t235 x t232
t246 = t236 x t232
t247 = t236 x t231
t248 = t236 x t228
t249 = t236 x t229
t250 = t236 x t230
t251 = t233 x t231
t252 = t234 x t231
t253 = t235 x t231
t254 = t235 x t230
t255 = t235 x t228
t256 = t235 x t229
t257 = t233 x t230
t258 = t234 x t230
t259 = t234 x t229
t260 = t234 x t228
t261 = t233 x t229
t262 = t233 x t228
t316 = g5 + g15
t317 = g6 + g16
t318 = g7 + g17
t319 = g8 + g18
t320 = g9 + g19
t321 = g0 + g10
t322 = g1 + g11
t323 = g2 + g12
t324 = g3 + g13
t325 = g4 + g14
t326 = f5 + f15
t327 = f6 + f16
t328 = f7 + f17
t329 = f8 + f18
t330 = f9 + f19
t331 = f0 + f10
t332 = f1 + f11
t333 = f2 + f12
t334 = f3 + f13
t335 = f4 + f14
t336 = t335 x t325
t337 = t335 x t321
t338 = t335 x t322
t339 = t335 x t323
t340 = t335 x t324
t341 = t331 x t325
t342 = t332 x t325
t343 = t333 x t325
t344 = t334 x t325
t345 = t334 x t324
t346 = t334 x t321
t347 = t334 x t322
t348 = t334 x t323
t349 = t331 x t324
t350 = t332 x t324
t351 = t333 x t324
t352 = t333 x t323
t353 = t333 x t321
t354 = t333 x t322
t355 = t331 x t323
t356 = t332 x t323
t357 = t332 x t322
t358 = t332 x t321
t359 = t331 x t322
t360 = t331 x t321
t377 = t330 x t320
t378 = t330 x t316
t379 = t330 x t317
t380 = t330 x t318
t381 = t330 x t319
t382 = t326 x t320
t383 = t327 x t320
t384 = t328 x t320
t385 = t329 x t320
t386 = t329 x t319
t387 = t329 x t316
t388 = t329 x t317
t389 = t329 x t318
t390 = t326 x t319
t391 = t327 x t319
t392 = t328 x t319
t393 = t328 x t318
t394 = t328 x t316
t395 = t328 x t317
t396 = t326 x t318
t397 = t327 x t318
t398 = t327 x t317
t399 = t327 x t316
t400 = t326 x t317
t401 = t326 x t316
t418 = t321 + t316
t419 = t322 + t317
t420 = t323 + t318
t421 = t324 + t319
t422 = t325 + t320
t423 = t331 + t326
t424 = t332 + t327
t425 = t333 + t328
t426 = t334 + t329
t427 = t335 + t330
t428 = t427 x t422
t429 = t427 x t418
t430 = t427 x t419
t431 = t427 x t420
t432 = t427 x t421
t433 = t423 x t422
t434 = t424 x t422
t435 = t425 x t422
t436 = t426 x t422
t437 = t426 x t421
t438 = t426 x t418
t439 = t426 x t419
t440 = t426 x t420
t441 = t423 x t421
t442 = t424 x t421
t443 = t425 x t421
t444 = t425 x t420
t445 = t425 x t418
t446 = t425 x t419
t447 = t423 x t420
t448 = t424 x t420
t449 = t424 x t419
t450 = t424 x t418
t451 = t423 x t419
t452 = t423 x t418
TR1 = t101 + t103
TR2 = t11 + t14
TR3 = t124 + t93
TR4 = t134 + t137
TR5 = t142 + t144
TR6 = t19 + t21
TR7 = t197 + t200
TR8 = t205 + t207
TR9 = t248 + t251
TR10 = t256 + t258
TR11 = t336 + t387
TR12 = t346 + t349
TR13 = t354 + t356
TR14 = t390 + t395
TR15 = t438 + t441
TR16 = t446 + t448
TR17 = t52 + t55
TR18 = t60 + t62
TR19 = TR1 + TR3
TR20 = TR10 + TR9
TR21 = TR11 + TR14
TR22 = TR12 + TR13
TR23 = TR15 + TR16
TR24 = TR17 + TR18
TR25 = TR19 + t96
TR26 = TR2 + TR6
TR27 = TR21 + t397
TR28 = TR24 + t83
TR29 = TR26 + t42
h3 = TR4 + TR5
TR31 = TR7 + TR8
X0 = TR25 + h3
h8 = TR20 + X0
X2 = TR29 + h38
h33 = t187 + X2
X4 = TR22 + TR28
X5 = TR28 + t377
X6 = TR31 + X2
h28 = X5 + X6
X8 = t238 + X0
h13 = X4 + X8
X10 = TR25 + TR27
X11 = t238 + h33
X12 = X5 + t428
X13 = X10 + X12
X14 = TR27 + TR29
X15 = TR31 + h8
X16 = X4 + TR23
X17 = X14 + X16
h23 = X13 + X11
h18 = X17 + X15
TR34 = t12 + t15
TR35 = t125 + t129
TR36 = t135 + t138
TR37 = t17 + t2
TR38 = t188 + t192
TR39 = t198 + t201
TR40 = t239 + t243
TR41 = t249 + t252
TR42 = t337 + t341
TR43 = t347 + t350
TR44 = t378 + t382
TR45 = t388 + t391
TR46 = t429 + t433
TR47 = t43 + t47
TR48 = t439 + t442
TR49 = t53 + t56
TR50 = t84 + t88
TR51 = t94 + t97
TR52 = TR34 + TR37
TR53 = TR35 + TR36
TR54 = TR38 + TR39
TR55 = TR40 + TR41
TR56 = TR42 + TR43
TR57 = TR44 + TR45
TR58 = TR46 + TR48
TR59 = TR47 + TR49
TR60 = TR50 + TR51
h34 = TR52 + t6
h4 = TR53 + t140
TR63 = TR54 + t203
TR64 = TR55 + t254
TR65 = TR56 + t352
TR66 = TR57 + t393
TR67 = TR58 + t444
TR68 = TR59 + t58
TR69 = TR60 + t99
X18 = h34 + TR68
h29 = TR63 + X18
X20 = h4 + TR69
h9 = TR64 + X20
X22 = TR65 + TR68
h14 = X20 + X22
X24 = TR66 + TR69
h24 = X18 + X24
X26 = TR65 + TR66
X27 = h29 + h9
X28 = X26 + TR67
h19 = X28 + X27
TR71 = t107 + t126
TR72 = t13 + t16
TR73 = t130 + t136
TR74 = t189 + t193
TR75 = t199 + t202
TR76 = t240 + t244
TR77 = t25 + t44
TR78 = t250 + t253
TR79 = t3 + t7
TR80 = t338 + t342
TR81 = t348 + t351
TR82 = t379 + t383
TR83 = t389 + t392
TR84 = t430 + t434
TR85 = t440 + t443
TR86 = t48 + t54
TR87 = t66 + t85
TR88 = t89 + t95
TR89 = TR71 + TR73
h35 = TR72 + TR79
TR91 = TR74 + TR75
TR92 = TR76 + TR78
TR93 = TR77 + TR86
TR94 = TR80 + TR81
TR95 = TR82 + TR83
TR96 = TR84 + TR85
TR97 = TR87 + TR88
TR98 = TR89 + t139
TR99 = TR93 + t57
TR100 = TR94 + t401
TR101 = TR97 + t98
X29 = h35 + TR99
h30 = TR91 + X29
X31 = TR98 + h0
h5 = t262 + X31
X33 = TR101 + TR92
X34 = TR101 + t211
X35 = TR95 + X29
h25 = X34 + X35
X37 = t360 + X31
h10 = X33 + X37
X39 = TR100 + TR91
X40 = TR98 + X33
X41 = X35 + X39
X42 = X40 + TR96
X43 = TR100 + TR99
X44 = t262 + t452
X45 = X37 + X43
X46 = X44 + X34
h15 = X46 + X45
h20 = X42 + X41
TR104 = t10 + t4
TR105 = t105 + t106
TR106 = t127 + t131
h1 = t146 + t147
TR108 = t190 + t194
TR109 = t209 + t210
TR110 = t23 + t24
TR111 = t241 + t245
TR112 = t260 + t261
TR113 = t339 + t343
TR114 = t345 + t399
TR115 = t358 + t359
TR116 = t380 + t384
TR117 = t431 + t435
TR118 = t45 + t49
TR119 = t450 + t451
TR120 = t64 + t65
TR121 = t86 + t90
h36 = TR104 + t8
TR123 = TR105 + TR106
TR124 = TR108 + t196
TR125 = TR110 + TR118
TR126 = TR111 + t247
TR127 = TR113 + TR114
TR128 = TR116 + t386
TR129 = TR117 + t437
TR130 = TR120 + TR121
TR131 = TR123 + t133
TR132 = TR125 + t51
TR133 = TR127 + t400
TR134 = TR130 + t92
X47 = h1 + TR131
h6 = TR112 + X47
X49 = h36 + TR132
h31 = TR124 + X49
X51 = TR109 + TR134
X52 = TR126 + TR134
X53 = TR115 + X47
h11 = X52 + X53
X55 = TR128 + X49
h26 = X51 + X55
X57 = TR112 + TR132
X58 = TR133 + X51
X59 = X53 + X57
X60 = X58 + TR119
X61 = TR124 + TR131
X62 = TR133 + X52
X63 = X55 + X61
X64 = X62 + TR129
h21 = X64 + X63
h16 = X60 + X59
TR137 = t100 + t102
TR138 = t104 + t128
TR139 = t141 + t143
TR140 = t18 + t20
TR141 = t191 + t195
TR142 = t204 + t206
TR143 = t22 + t46
TR144 = t242 + t246
TR145 = t255 + t257
TR146 = t340 + t344
TR147 = t353 + t355
TR148 = t381 + t385
TR149 = t394 + t396
TR150 = t432 + t436
TR151 = t445 + t447
h37 = t5 + t9
TR153 = t59 + t61
TR154 = t63 + t87
TR155 = TR137 + TR138
h2 = TR139 + t145
TR157 = TR140 + TR143
TR158 = TR142 + t208
TR159 = TR145 + t259
TR160 = TR146 + TR149
TR161 = TR147 + t357
TR162 = TR151 + t449
TR163 = TR153 + TR154
TR164 = TR155 + t132
TR165 = TR157 + t50
TR166 = TR160 + t398
TR167 = TR163 + t91
X65 = h37 + TR165
h32 = TR141 + X65
X67 = h2 + TR164
h7 = TR159 + X67
X69 = TR144 + TR167
X70 = TR158 + TR167
X71 = TR148 + X65
h27 = X70 + X71
X73 = TR161 + X67
h12 = X69 + X73
X75 = TR141 + TR164
X76 = TR166 + X69
X77 = X71 + X75
X78 = X76 + TR150
X79 = TR159 + TR165
X80 = TR166 + X70
X81 = X73 + X79
X82 = X80 + TR162
h17 = X82 + X81
h22 = X78 + X77