Nantilus
Towards optimized multiplierless arithmetic circuits
Les calculs embarqués sont omniprésents et ont besoin d implémentations efficaces avec des contraintes fortes sur les ressources disponibles. De telles implémentations sont chronophages et requièrent une expertise combinée entre circuits électroniques et arithmétique des ordinateurs. Cette thèse étu...
Enregistré dans:
| Auteurs principaux : | , , , , , , , |
|---|---|
| Collectivités auteurs : | , , |
| Format : | Thèse ou mémoire |
| Langue : | anglais |
| Titre complet : | Towards optimized multiplierless arithmetic circuits / Rémi Garcia; sous la direction de Laurent Grandvilliers et de Anastasia Volkova |
| Publié : |
2023 |
| Accès en ligne : |
Accès Nantes Université
|
| Note sur l'URL : | Accès au texte intégral |
| Note de thèse : | Thèse de doctorat : Informatique : Nantes Université : 2023 |
| Sujets : |
| LEADER | 05979nlm a2200685 4500 | ||
|---|---|---|---|
| 001 | PPN27872924X | ||
| 003 | http://www.sudoc.fr/27872924X | ||
| 005 | 20240611060500.0 | ||
| 029 | |a FR |b 2023NANU4039 | ||
| 033 | |a http://www.theses.fr/2023NANU4039 | ||
| 035 | |a (OCoLC)1438792049 | ||
| 035 | |a STAR209313 | ||
| 100 | |a 20240610d2023 k y0frey0103 ba | ||
| 101 | 0 | |a eng |d fre |d eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a ||||ma 00|yy | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Towards optimized multiplierless arithmetic circuits |f Rémi Garcia |g sous la direction de Laurent Grandvilliers et de Anastasia Volkova | |
| 214 | 1 | |d 2023 | |
| 230 | |a Données textuelles | ||
| 304 | |a Titre provenant de l'écran-titre | ||
| 314 | |a Ecole(s) Doctorale(s) : École doctorale Mathématiques et Sciences et Technologies du numérique, de l Information et de la Communication (Nantes ; 2022-....) | ||
| 314 | |a Partenaire(s) de recherche : Laboratoire des Sciences du Numérique de Nantes (Laboratoire) | ||
| 314 | |a Autre(s) contribution(s) : Christine Solnon (Président du jury) ; Oscar Gustafsson, Lilia Koutchoukali Zaourar (Membre(s) du jury) ; Olivier Sentieys, Arnaud Tisserand (Rapporteur(s)) | ||
| 328 | 0 | |b Thèse de doctorat |c Informatique |e Nantes Université |d 2023 | |
| 330 | |a Les calculs embarqués sont omniprésents et ont besoin d implémentations efficaces avec des contraintes fortes sur les ressources disponibles. De telles implémentations sont chronophages et requièrent une expertise combinée entre circuits électroniques et arithmétique des ordinateurs. Cette thèse étudie la conception automatique d opérateurs de multiplication par plusieurs constantes (MCM), indispensables pour les calculs numériques sur Field- Programmable Gate Array. Derrière une interface simple à utiliser, l outil proposé dans cette thèse se base sur la modélisation mathématique permettant une exploration automatique d un grand espace de conception. Une des contributions majeures de cette thèse est l estimation plus fine du coût matériel pour des opérateurs arithmétiques de base et une formulation sous forme d un problème d optimisation. Différentes techniques de recherche opérationnelle ont été explorées, incluant l utilisation de plans coupants ou de contraintes de cassage de symétries. Ce travail propose différentes variantes de MCM : de l utilisation de troncatures internes vérifiant une borne d erreur de sortie du circuit, à l intégration de couches de pipelines. Finalement, l évaluation des méthodes proposée démontre des gains significatifs en consommation de ressources, notamment utilisé pour la conception de filtres numériques. | ||
| 330 | |a Embedded computing is ubiquitous and requires efficient implementations with tight constraints on available resources. Such implementations are time-consuming and require combined expertise between electronic circuits and computer arithmetic. This thesis studies the automatic design of multiple constant multiplication (MCM) operators, essential for implementation on Field- Programmable Gate Arrays. Behind an easyto- use interface, the tool proposed in this thesis is based on mathematical modeling, enabling automatic exploration of a large design space. One of the major contributions of this thesis is the finer estimation of the hardware cost for basic arithmetic operators and a formulation in the form of an optimization problem. Various operations research techniques have been explored, including the use of cutting planes or symmetry breaking constraints. This work proposes different variants of MCM: from the use of internal truncations verifying a circuit output error bound, to the integration of pipeline layers. Finally, evaluation of the proposed methods shows significant gains in resource consumption, particularly when used for digital filter design. | ||
| 337 | |a Configuration requise : un logiciel capable de lire un fichier au format : PDF | ||
| 541 | | | |a Optimisation pour l implémentation de circuits arithmétiques sans multiplication |z fre | |
| 606 | |3 PPN033217521 |a Systèmes embarqués (informatique) |2 rameau | ||
| 606 | |3 PPN02736397X |a Filtres numériques (mathématiques) |2 rameau | ||
| 606 | |3 PPN027567605 |a Calculs numériques |2 rameau | ||
| 608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
| 610 | 0 | |a Multiplication par constantes | |
| 610 | 0 | |a Recherche opérationnelle | |
| 610 | 0 | |a Programmation linéaire en nombres entiers | |
| 686 | |a 004 |2 TEF | ||
| 700 | 1 | |3 PPN278694926 |a Garcia |b Rémi |f 1994-.... |4 070 | |
| 701 | 1 | |3 PPN145527522 |a Grandvilliers |b Laurent |f 19..-.... |4 727 | |
| 701 | 1 | |3 PPN230416292 |a Volkova |b Anastasia |f 1991-.... |4 727 | |
| 701 | 1 | |3 PPN128200391 |a Solnon |b Christine |f 19..-.... |c chercheuse en informatique |4 956 | |
| 701 | 1 | |3 PPN061585920 |a Sentieys |b Olivier |f 1967-.... |4 958 | |
| 701 | 1 | |3 PPN060154160 |a Tisserand |b Arnaud |f 19..-.... |c chercheur en informatique |4 958 | |
| 701 | 1 | |3 PPN278695256 |a Gustafsson |b Oscar |4 555 | |
| 701 | 1 | |3 PPN230168329 |a Zaourar |b Lilia Koutchoukali |f 1984-.... |c informaticienne |4 555 | |
| 711 | 0 | 2 | |3 PPN258086599 |a Nantes Université |c 2022-.... |4 295 |
| 711 | 0 | 2 | |3 PPN268274525 |a École doctorale Mathématiques et Sciences et Technologies du numérique, de l Information et de la Communication |c Nantes |c 2022-.... |4 996 |
| 711 | 0 | 2 | |3 PPN203637585 |a Laboratoire des Sciences du Numérique de Nantes |4 981 |
| 801 | 3 | |a FR |b Abes |c 20240610 |g AFNOR | |
| 856 | 4 | |q PDF |s 2363798 |u http://www.theses.fr/2023NANU4039/document |z Accès au texte intégral | |
| 856 | 4 | |u http://www.theses.fr/2023NANU4039/abes | |
| 856 | 4 | |u https://theses.hal.science/tel-04606847 | |
| 930 | |5 441099901:823777367 |b 441099901 |j g | ||
| 991 | |5 441099901:823777367 |a exemplaire créé automatiquement par STAR | ||
| 998 | |a 971975 | ||