Techniques d'optimisation pour la synthèse de haut niveau et la compilation logicielle basées sur les diagrammes d'expansion de Taylor

Optimization techniques for high level synthesis and pre-compilation based on Taylor expansion diagrams

• Auteur / Autrice : Jérémie Guillot
• Direction : Emmanuel Boutillon
• Type : Thèse de doctorat
• Discipline(s) : Électronique et informatique industrielle
• Date : Soutenance en 2009
• Etablissement(s) : Lorient
• Ecole(s) doctorale(s) : École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère)
• Partenaire(s) de recherche : Autre partenaire : Université européenne de Bretagne (2007-2016)

Mots clés

Mots clés contrôlés

Traitement du signal

Construction

Circuits intégrés

Compilation (informatique)

Optimisation mathématique

Mots clés libres

Taylor expansion diagram

Synthèse de haut niveau

Transformations algorithmiques

Résumé

Cette thèse adresse la problématique de l'optimisation automatique des spécifications dans le flot de conception des circuits intégrés. Par l'utilisation d'un formalisme canonique (basé sur les Taylors Expansion Diagram) et la reconnaissance de motifs particuliers dans le graphe, les optimisations issues de ces travaux permettent d'améliorer les résultats générés par les outils de synthèse de haut niveau sans connaissance à priori de l'application à implémenter.

This thesis addresses the design productivity gap problem in design automation by emp]oying a canonical representation, called Taylor Expansion Diagram. TED is a graphical representation based on Taylor series decomposition of the data-flow computation. Optimizations and high-level transformations developed in this thesis are based on transformations and pattern recognition applied to the TED representation. The results of su ch transformations are the optimized data-flow graphs, which provide input to standard, HLS too]s for final architectural synthesis. Such optimizations cannot be achieved by traditional architectural and high-level synthesis tools or compiJers available today