Contribution à la prise en compte des contraintes des applications TDSI dans la synthèse de haut niveau

• Main Author: Le Gal, Bertrand
• Language: FRE
• Published: Université de Bretagne Sud 2005
• Subjects: [SPI:NANO] Engineering Sciences/Micro and nanotechnologies/Microelectronics; Synthèse de Haut-Niveau; Indéterminisme; Formalisme de graphe; Applications TDSI; Composants virtuels comportementaux
• Online Access: http://tel.archives-ouvertes.fr/tel-00011379; http://tel.archives-ouvertes.fr/docs/00/05/47/65/PDF/phd_legal.pdf

Les travaux relatifs à cette thèse sont menés dans le cadre de la conception des systèmes sur puce (SoC) en considérant conjointement 2 axes de progrès : la réutilisation de blocs préconçus et la synthèse de haut niveau.<br />Le concept de composant virtuel de niveau comportemental, proposé par le LESTER, autorise une grande flexibilité et une bonne adéquation entre algorithme et architecture. Ce type de composant est spécifié sous forme algorithmique et est destiné à être synthétisé par des outils de synthèse de haut niveau. Nos travaux s'intègrent dans ce contexte et adressent plus spécifiquement la prise en considération des contraintes imposées par les applications de Traitement du Signal et de l'Image (TDSI) dans le processus de synthèse de haut niveau.<br />Comme dans tout processus devant s'exécuter en « temps réel », les indéterminismes contenus dans la spécification algorithmique (exécutions dépendantes du contexte ou des données) posent des problèmes théoriques de modélisation mais également d'exécution. Le modèle de représentation utilisé pour modéliser l'ensemble des traitements à effectuer peut restreindre les primitives algorithmiques acceptées dans la description comportementale. De son coté, l'outil de synthèse employé doit permettre la prise en compte de l'ensemble des contraintes d'intégration du concepteur et y apporter une réponse adaptée.<br />Nous adressons dans ce mémoire cette problématique en considérant plus particulièrement le modèle de spécification, le modèle architectural et les transformations qui permettent d'automatiser la synthèse de haut niveau.