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

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. 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. 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. 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.This PhD thesis deals with the development of methodologies dedicated to System-on-Chip design. Our work aims at considering in the same time two ways of progress for the design of complex systems: reusing pre-designed hardware components (virtual components, so-called Intellectual Property) and High-Level Synthesis. The concept of behavioural level virtual components proposed by the LESTER laboratory provides flexibility and a good adequacy between the couple (algorithm specification, constraints) and the provided architectures. This kind of virtual component targets high-level synthesis tools. In this context, our work specifically addresses the algorithmic behaviour imposed by current Multimedia applications such as video and image processing. As in every real time application, undeterministic semantics contained by the behavioural specification (context or data dependant executions) involve theoretical and implementation problems linked to the application representation and its execution. On the one hand the graph model used to handle the application operations can reduce the number and the kind of the semantics accepted by the behavioural specification. On the other hand the high-level synthesis tool has to take into account the set of integration constraint of the designer. We address in this work this problematic considering especially the representation model (graph model), the generic architectural model and the transformation set which make it possible to automate the high-level synthesis process.LORIENT-BU (561212106) / SudocSudocFranceF