Abstract:The Chinese remainder theorem (CRT)-based multiplier is a new type of hybrid bit-parallel multiplier, which can achieve nearly the same time complexity compared with the fastest multiplier known to date with reduced space complexity. However, the current CRT-based multipliers are only applicable to trinomials. In this article, we propose an efficient CRT-based bit-parallel multiplier for a special type of pentanomial <span class="mjpage"><svg xmlns:xlink="http://www.w3.org/1999/xlink" width="51.524ex" height="2.843ex" style="vertical-align: -0.671ex;" viewBox="0 -934.9 22183.7 1223.9" role="img" focusable="false" xmlns="http://www.w3.org/2000/svg"><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"> <use xlink:href="#MJMATHI-78" x="0" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMATHI-6D" x="809" y="513"></use> <use xlink:href="#MJMAIN-2B" x="1515" y="0"></use><g transform="translate(2516,0)"> <use xlink:href="#MJMATHI-78" x="0" y="0"></use><g transform="translate(572,362)"> <use transform="scale(0.707)" xlink:href="#MJMATHI-6D" x="0" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMAIN-2212" x="878" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMATHI-6B" x="1657" y="0"></use></g></g> <use xlink:href="#MJMAIN-2B" x="4951" y="0"></use><g transform="translate(5952,0)"> <use xlink:href="#MJMATHI-78" x="0" y="0"></use><g transform="translate(572,362)"> <use transform="scale(0.707)" xlink:href="#MJMATHI-6D" x="0" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMAIN-2212" x="878" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMAIN-32" x="1657" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMATHI-6B" x="2157" y="0"></use></g></g> <use xlink:href="#MJMAIN-2B" x="8741" y="0"></use><g transform="translate(9742,0)"> <use xlink:href="#MJMATHI-78" x="0" y="0"></use><g transform="translate(572,362)"> <use transform="scale(0.707)" xlink:href="#MJMATHI-6D" x="0" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMAIN-2212" x="878" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMAIN-33" x="1657" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMATHI-6B" x="2157" y="0"></use></g></g> <use xlink:href="#MJMAIN-2B" x="12531" y="0"></use> <use xlink:href="#MJMAIN-31" x="13532" y="0"></use> <use xlink:href="#MJMAIN-2C" x="14032" y="0"></use> <use xlink:href="#MJMAIN-35" x="14477" y="0"></use> <use xlink:href="#MJMATHI-6B" x="14978" y="0"></use> <use xlink:href="#MJMAIN-2B" x="15721" y="0"></use> <use xlink:href="#MJMAIN-31" x="16722" y="0"></use> <use xlink:href="#MJMAIN-3C" x="17500" y="0"></use> <use xlink:href="#MJMATHI-6D" x="18557" y="0"></use> <use xlink:href="#MJMATHI-6C" x="19435" y="0"></use> <use xlink:href="#MJMATHI-65" x="19734" y="0"></use> <use xlink:href="#MJMATHI-71" x="20200" y="0"></use><g transform="translate(20661,0)"> <use xlink:href="#MJMAIN-31"></use> <use xlink:href="#MJMAIN-31" x="500" y="0"></use></g> <use xlink:href="#MJMATHI-6B" x="21662" y="0"></use></g></svg></span>xm+xm-k+xm-2k+xm-3k+1,5k+1<m≤11k. Through transforming the non-constant part <span class="mjpage"><svg xmlns:xlink="http://www.w3.org/1999/xlink" width="28.589ex" height="2.676ex" style="vertical-align: -0.505ex;" viewBox="0 -934.9 12309.1 1152.1" role="img" focusable="false" xmlns="http://www.w3.org/2000/svg"><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"> <use xlink:href="#MJMATHI-78" x="0" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMATHI-6D" x="809" y="513"></use> <use xlink:href="#MJMAIN-2B" x="1515" y="0"></use><g transform="translate(2516,0)"> <use xlink:href="#MJMATHI-78" x="0" y="0"></use><g transform="translate(572,362)"> <use transform="scale(0.707)" xlink:href="#MJMATHI-6D" x="0" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMAIN-2212" x="878" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMATHI-6B" x="1657" y="0"></use></g></g> <use xlink:href="#MJMAIN-2B" x="4951" y="0"></use><g transform="translate(5952,0)"> <use xlink:href="#MJMATHI-78" x="0" y="0"></use><g transform="translate(572,362)"> <use transform="scale(0.707)" xlink:href="#MJMATHI-6D" x="0" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMAIN-2212" x="878" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMAIN-32" x="1657" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMATHI-6B" x="2157" y="0"></use></g></g> <use xlink:href="#MJMAIN-2B" x="8741" y="0"></use><g transform="translate(9742,0)"> <use xlink:href="#MJMATHI-78" x="0" y="0"></use><g transform="translate(572,362)"> <use transform="scale(0.707)" xlink:href="#MJMATHI-6D" x="0" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMAIN-2212" x="878" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMAIN-33" x="1657" y="0"></use> <use transform="scale(0.707)" xlink:href="#MJMATHI-6B" x="2157" y="0"></use></g></g></g></svg></span>xm+xm-k+xm-2k+xm-3k into a binomial, we can obtain relatively simpler quotient and remainder computations, which lead to faster implementation with reduced space complexity compared with classic quadratic multipliers for the same pentanomials. Moreover, for some <span class="mjpage"><svg xmlns:xlink="http://www.w3.org/1999/xlink" width="2.04ex" height="1.676ex" style="vertical-align: -0.338ex;" viewBox="0 -576.1 878.5 721.6" role="img" focusable="false" xmlns="http://www.w3.org/2000/svg"><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"> <use xlink:href="#MJMATHI-6D" x="0" y="0"></use></g></svg></span>m, our proposal can match the fastest multipliers for irreducible Type I, Type II, and Type C.1 pentanomials of the same degree, but space complexities are roughly reduced by 8 percent.<svg xmlns="http://www.w3.org/2000/svg" style="display: none;"><defs id="MathJax_SVG_glyphs"><path stroke-width="1" id="MJMATHI-78" d="M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z"></path><path stroke-width="1" id="MJMATHI-6D" d="M21 287Q22 293 24 303T36 341T56 388T88 425T132 442T175 435T205 417T221 395T229 376L231 369Q231 367 232 367L243 378Q303 442 384 442Q401 442 415 440T441 433T460 423T475 411T485 398T493 385T497 373T500 364T502 357L510 367Q573 442 659 442Q713 442 746 415T780 336Q780 285 742 178T704 50Q705 36 709 31T724 26Q752 26 776 56T815 138Q818 149 821 151T837 153Q857 153 857 145Q857 144 853 130Q845 101 831 73T785 17T716 -10Q669 -10 648 17T627 73Q627 92 663 193T700 345Q700 404 656 404H651Q565 404 506 303L499 291L466 157Q433 26 428 16Q415 -11 385 -11Q372 -11 364 -4T353 8T350 18Q350 29 384 161L420 307Q423 322 423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 181Q151 335 151 342Q154 357 154 369Q154 405 129 405Q107 405 92 377T69 316T57 280Q55 278 41 278H27Q21 284 21 287Z"></path><path stroke-width="1" id="MJMAIN-2B" d="M56 237T56 250T70 270H369V420L370 570Q380 583 389 583Q402 583 409 568V270H707Q722 262 722 250T707 230H409V-68Q401 -82 391 -82H389H387Q375 -82 369 -68V230H70Q56 237 56 250Z"></path><path stroke-width="1" id="MJMAIN-2212" d="M84 237T84 250T98 270H679Q694 262 694 250T679 230H98Q84 237 84 250Z"></path><path stroke-width="1" id="MJMATHI-6B" d="M121 647Q121 657 125 670T137 683Q138 683 209 688T282 694Q294 694 294 686Q294 679 244 477Q194 279 194 272Q213 282 223 291Q247 309 292 354T362 415Q402 442 438 442Q468 442 485 423T503 369Q503 344 496 327T477 302T456 291T438 288Q418 288 406 299T394 328Q394 353 410 369T442 390L458 393Q446 405 434 405H430Q398 402 367 380T294 316T228 255Q230 254 243 252T267 246T293 238T320 224T342 206T359 180T365 147Q365 130 360 106T354 66Q354 26 381 26Q429 26 459 145Q461 153 479 153H483Q499 153 499 144Q499 139 496 130Q455 -11 378 -11Q333 -11 305 15T277 90Q277 108 280 121T283 145Q283 167 269 183T234 206T200 217T182 220H180Q168 178 159 139T145 81T136 44T129 20T122 7T111 -2Q98 -11 83 -11Q66 -11 57 -1T48 16Q48 26 85 176T158 471L195 616Q196 629 188 632T149 637H144Q134 637 131 637T124 640T121 647Z"></path><path stroke-width="1" id="MJMAIN-32" d="M109 429Q82 429 66 447T50 491Q50 562 103 614T235 666Q326 666 387 610T449 465Q449 422 429 383T381 315T301 241Q265 210 201 149L142 93L218 92Q375 92 385 97Q392 99 409 186V189H449V186Q448 183 436 95T421 3V0H50V19V31Q50 38 56 46T86 81Q115 113 136 137Q145 147 170 174T204 211T233 244T261 278T284 308T305 340T320 369T333 401T340 431T343 464Q343 527 309 573T212 619Q179 619 154 602T119 569T109 550Q109 549 114 549Q132 549 151 535T170 489Q170 464 154 447T109 429Z"></path><path stroke-width="1" id="MJMAIN-33" d="M127 463Q100 463 85 480T69 524Q69 579 117 622T233 665Q268 665 277 664Q351 652 390 611T430 522Q430 470 396 421T302 350L299 348Q299 347 308 345T337 336T375 315Q457 262 457 175Q457 96 395 37T238 -22Q158 -22 100 21T42 130Q42 158 60 175T105 193Q133 193 151 175T169 130Q169 119 166 110T159 94T148 82T136 74T126 70T118 67L114 66Q165 21 238 21Q293 21 321 74Q338 107 338 175V195Q338 290 274 322Q259 328 213 329L171 330L168 332Q166 335 166 348Q166 366 174 366Q202 366 232 371Q266 376 294 413T322 525V533Q322 590 287 612Q265 626 240 626Q208 626 181 615T143 592T132 580H135Q138 579 143 578T153 573T165 566T175 555T183 540T186 520Q186 498 172 481T127 463Z"></path><path stroke-width="1" id="MJMAIN-31" d="M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z"></path><path stroke-width="1" id="MJMAIN-2C" d="M78 35T78 60T94 103T137 121Q165 121 187 96T210 8Q210 -27 201 -60T180 -117T154 -158T130 -185T117 -194Q113 -194 104 -185T95 -172Q95 -168 106 -156T131 -126T157 -76T173 -3V9L172 8Q170 7 167 6T161 3T152 1T140 0Q113 0 96 17Z"></path><path stroke-width="1" id="MJMAIN-35" d="M164 157Q164 133 148 117T109 101H102Q148 22 224 22Q294 22 326 82Q345 115 345 210Q345 313 318 349Q292 382 260 382H254Q176 382 136 314Q132 307 129 306T114 304Q97 304 95 310Q93 314 93 485V614Q93 664 98 664Q100 666 102 666Q103 666 123 658T178 642T253 634Q324 634 389 662Q397 666 402 666Q410 666 410 648V635Q328 538 205 538Q174 538 149 544L139 546V374Q158 388 169 396T205 412T256 420Q337 420 393 355T449 201Q449 109 385 44T229 -22Q148 -22 99 32T50 154Q50 178 61 192T84 210T107 214Q132 214 148 197T164 157Z"></path><path stroke-width="1" id="MJMAIN-3C" d="M694 -11T694 -19T688 -33T678 -40Q671 -40 524 29T234 166L90 235Q83 240 83 250Q83 261 91 266Q664 540 678 540Q681 540 687 534T694 519T687 505Q686 504 417 376L151 250L417 124Q686 -4 687 -5Q694 -11 694 -19Z"></path><path stroke-width="1" id="MJMATHI-6C" d="M117 59Q117 26 142 26Q179 26 205 131Q211 151 215 152Q217 153 225 153H229Q238 153 241 153T246 151T248 144Q247 138 245 128T234 90T214 43T183 6T137 -11Q101 -11 70 11T38 85Q38 97 39 102L104 360Q167 615 167 623Q167 626 166 628T162 632T157 634T149 635T141 636T132 637T122 637Q112 637 109 637T101 638T95 641T94 647Q94 649 96 661Q101 680 107 682T179 688Q194 689 213 690T243 693T254 694Q266 694 266 686Q266 675 193 386T118 83Q118 81 118 75T117 65V59Z"></path><path stroke-width="1" id="MJMATHI-65" d="M39 168Q39 225 58 272T107 350T174 402T244 433T307 442H310Q355 442 388 420T421 355Q421 265 310 237Q261 224 176 223Q139 223 138 221Q138 219 132 186T125 128Q125 81 146 54T209 26T302 45T394 111Q403 121 406 121Q410 121 419 112T429 98T420 82T390 55T344 24T281 -1T205 -11Q126 -11 83 42T39 168ZM373 353Q367 405 305 405Q272 405 244 391T199 357T170 316T154 280T149 261Q149 260 169 260Q282 260 327 284T373 353Z"></path><path stroke-width="1" id="MJMATHI-71" d="M33 157Q33 258 109 349T280 441Q340 441 372 389Q373 390 377 395T388 406T404 418Q438 442 450 442Q454 442 457 439T460 434Q460 425 391 149Q320 -135 320 -139Q320 -147 365 -148H390Q396 -156 396 -157T393 -175Q389 -188 383 -194H370Q339 -192 262 -192Q234 -192 211 -192T174 -192T157 -193Q143 -193 143 -185Q143 -182 145 -170Q149 -154 152 -151T172 -148Q220 -148 230 -141Q238 -136 258 -53T279 32Q279 33 272 29Q224 -10 172 -10Q117 -10 75 30T33 157ZM352 326Q329 405 277 405Q242 405 210 374T160 293Q131 214 119 129Q119 126 119 118T118 106Q118 61 136 44T179 26Q233 26 290 98L298 109L352 326Z"></path></defs></svg>

The Arithmetic Analysis of Formula String

A summation formula for power series using Eulerian fractions

A Symbol Dominance Based Formulae Recognition Approach For Pdf Documents

Research Status of Mathematical Formula Recognition

On the diversity and frequency of code related to mathematical formulas in real-world Java projects

Obtaining More Karatsuba-like Formulae over the Binary Field

Automorphic Forms and the Langlands Program

A -adic arithmetic inner product formula

Research on Mathematical Formulas Extraction from Printed Document

Mathematical Formula Identification in PDF Documents

Symbol Segmentation and Recognition in Online Handwritten Formulas

Arithmetic exponent pairs for algebraic trace functions and applications

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)

Research on Mathematical Formulas Extraction from Chinese Document

Research on Mathematical Formula Identification in Digital Chinese Documents

On the arithmetic inner product formula and central derivatives of L-functions

Explicit Formulas for the Fourth Moment of Exponential Sums and Dirichlet Character Sums

Discovering Mathematical Objects of Interest -- A Study of Mathematical Notations

Grammatical Verification for Mathematical Formula Recognition Based on Context-Free Tree Grammar

An Efficient CRT-Based Bit-Parallel Multiplier for Special Pentanomials

Application of Rolle Mid-value Theorem to Proof Analysis of Problems in Advanced Mathematics Competition