Optimization techniques for high level synthesis and pre-compilation based on Taylor expansion diagrams
Jérémie Guillot · OpenGrey (Institut de l'Information Scientifique et Technique) · 2009
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.