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

par Jérémie Guillot

Thèse de doctorat en Électronique et informatique industrielle

Sous la direction de Emmanuel Boutillon.

Soutenue en 2009

à l'Université européenne de Bretagne .

  • Titre traduit

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


  • 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.


  • Pas de résumé disponible.


  • Résumé

    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

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (152 p.)
  • Annexes : Bibliogr. p. 145 -148

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bretagne-Sud (Lorient). Bibliothèque universitaire.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.