LIP6 2004/004
- Soutenance de thèse
Synthèse de Haut Niveau Contrôlée par l'Utilisateur - F. Donnet
- 200 pages - 20/01/2004- document en - http://www.lip6.fr/lip6/reports/2004/lip6.2004.004.pdf - 1,319 Ko
- Contact : francois.donnet (at) nullasim.lip6.fr
- Ancien Thème : ASIM
- Mots clés : synthèse de haut niveau, coprocesseur dédié, fréquence de fonctionnement, surface, parallélisme, contrôle dépendant des données, ordonnancement, allocation, affectation, micro-architecture, circuit intégré.
- Directeur de la publication : Francois.Dromard (at) nulllip6.fr
La synthèse de haut niveau de coprocesseur dédié est un problème complexe. Elle doit répondre à différents objectifs tels que la fréquence de fonctionnement, la surface, la consommation, etc. . Ces critères caractérisent le circuit généré et donc l'efficacité de l'outil de synthèse de haut niveau. Cette thèse présente une approche en deux étapes de la synthèse de haut niveau. Dans un premier temps, on s'intéresse à minimiser la surface et à maximiser le parallélisme. Dans un deuxième temps, le circuit est ajusté pour prendre en compte les caractéristiques électriques du matériel et produire un circuit fonctionnant à la fréquence désirée. L'outil de synthèse peut donc se concentrer sur l'optimisation d'un nombre réduit de caractéristiques visées par le concepteur. Cependant, pour les circuits dont le contrôle dépend des données, l'objectif ne peut pas être caractérisé par une directive globale car une telle directive est inadaptée et ne permet pas de qualifier le degré d'optimisation à atteindre. Les répercussions sur les autres caractéristiques du circuit ne sont pas contrôlées par le concepteur. Le respect de la directive globale est difficilement tenable par les algorithmes de synthèse. Les phases d'ordonnancement, d'allocation et d'affectation nécessaires à la synthèse de haut niveau possèdent une complexité non polynomiale. Elles se résolvent la plupart du temps par des heuristiques qui ont des conséquences imprédictibles sur les caractéristiques du circuit généré. L'automatisation de la synthèse de haut niveau passe par une description précise des attentes du concepteur. Nous étudions dans cette thèse les directives nécessaires pour cibler précisément une solution et rester compatibles avec notre démarche en deux phases de la synthèse. Il faut que la définition de ces directives soit la moins contraignante possible pour le concepteur, tout en étant attentif à la perte d'efficacité qu'engendre leur simplification.