Impact des transformations algorithmiques sur la synthèse de haut niveau : application au traitement du signal et des images / Haixiong Ye ; sous la direction de Lionel Lacassagne

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Synthèse de haut niveau (informatique)

Traitement du signal -- Techniques numériques

Traitement d'images -- Techniques numériques

Architecture des ordinateurs

Lacassagne, Lionel (19..-....) (Directeur de thèse / thesis advisor)

Mérigot, Alain (Président du jury de soutenance / praeses)

Manzanera, Antoine (Rapporteur de la thèse / thesis reporter)

Ménard, Daniel (19..-.... ; professeur) (Rapporteur de la thèse / thesis reporter)

Etiemble, Daniel (1947-....) (Membre du jury / opponent)

Ancourt, Corinne (Membre du jury / opponent)

Université Paris-Sud (1970-2019) (Organisme de soutenance / degree-grantor)

Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire de recherche en informatique (Orsay, Essonne ; 1998-2020) (Laboratoire associé à la thèse / thesis associated laboratory)

Résumé / Abstract : La thèse porte sur l'impact d'optimisations algorithmiques pour la synthèse automatique HLS pour ASIC. Ces optimisations algorithmiques sont des transformations de haut niveau, qui de part leur nature intrinsèque restent hors de porter des compilateurs modernes, même les plus optimisants. Le but est d'analyser l'impact des optimisations et transformations de haut niveau sur la surface, la consommation énergétique et la vitesse du circuit ASIC. Les trois algorithmes évalués sont les filtres non récursifs, les filtres récursifs et un algorithme de détection de mouvement. Sur chaque exemple, des gains ont été possibles en vitesse et/ou en surface et/ou en consommation. Le gain le plus spectaculaire est un facteur x12.6 de réduction de l'énergie tout en maitrisant la surface de synthèse et en respectant la contrainte d'exécution temps réel. Afin de mettre en perspective les résultats (consommation et vitesse), un benchmark supplémentaire a été réalisé sur un microprocesseur ST XP70 avec extension VECx, un processeur ARM Cortex avec extension Neon et un processeur Intel Penryn avec extensions SSE.

Résumé / Abstract : The thesis deals with the impact of algorithmic transforms for HLS synthesis for ASIC. These algorithmic transforms are high level transforms that are beyond the capabilities of modern optimizing compilers. The goal is to analyse the impact of the High level transforms on area execution time and energy consumption. Three algorithms have been analyzed: non recursive filters, recursive filter and a motion detection application. On each algorithm, the optimizations and transformations lead to speedups and area/surface gains. The most impressive gain in energy reduction is a factor x12.6, while the area remains constant and the execution time smaller than the real-time constraint. A benchmark has been done on SIMD general purpose processor to compare the impact of the high level transforms: ST XP70 microprocessor with VECx extension, ARM Cortex with Non extension and Intel Penryn with SSE extension.