ROADEF 2026>
Optimization of Very Large Constant Multiplication
Théo Cantaloube  1@  , Christine Solnon  2, 3@  , Anastasia Volkova  4@  
1 : INSA Lyon, Inria, CITI, UR3720
INSA Lyon, Inria
2 : Centre of Innovation in Telecommunications and Integration of services  (CITI)
CITI Centre of Innovation in Telecommunications and Integration of services
3 : Institut National des Sciences Appliquées de Lyon
Institut National des Sciences Appliquées, Université de Lyon
4 : CITI Centre of Innovation in Telecommunications and Integration of services
INRIA Lyon
CITI Laboratory, INSA Lyon Domaine Scientifique de la Doua Batiment Claude Chappe 6 avenue des Arts 69621 Villeurbanne Cedex Phone +33 4 7243 6415 Fax +33 4 7243 6227 E-Mail citi@insa-lyon.fr -  France

This work addresses the design of efficient arithmetic circuits under strict hardware constraints through the Multiple Constants Multiplication (MCM) problem. While MCM traditionally focuses on implementing multiplications by several integer constants using only additions/subtractions and bit-shifts, existing exact approaches based on ILP, SAT, or CP face scalability issues beyond 10-20 bit constants due to solver precision limits. However, practical applications in signal processing, metrology, and cryptography often require constants of 50 bits and up to several thousand bits. We investigate the Very Large Constant Multiplication (VLCM) problem for a single target constant. Rather than relying on heuristic graph-based methods, we propose a CP-based methodology that optimizes the decomposition of large constants into smaller sub-constants. By identifying bit patterns that reduce the number of required MCM subproblems, the approach aims to minimize the overall computational cost.


Chargement... Chargement...