Approche d'assemblage systématique d'éléments d'interface pour la génération d'architecture multiprocesseur

Cette thèse adresse une recherche d'automatisation pour la conception d'architecture matérielle de systèmes monopuces. Elle propose l'abstraction de ces systèmes jusqu'à un niveau où les caractéristiques de l'architecture matérielle ne sont que des directives d'implémentation annotées à un modèle purement fonctionnel de l'application. Ce modèle est alors pris en charge par un flot d'étapes de raffinement automatisées, le conduisant jusqu'à un niveau de détail permettant l'utilisation d'outils de synthèse matérielle commerciaux qui, à leur tour, le transposent en silicum. La contribution de cette thèse à cette méthodologie concerne la définition d'une représentation de ces architectures matérielles à chaque niveau utilisé au cours de la conception, ainsi qu'une approche d'automatisation du flot de raffinement par l'assemblage systèmatique de composants de bibliothéques. La pertinence de ces travaux a été évéluée par leurs applications à la conception de plusieurs systèmes dont un modem VDSL et un terminal GSM WCDMA présentés dans ce mémoire.GRENOBLE1-BU Sciences (384212103) / SudocSudocFranceF