Thèse soutenue

Synthèse des interfaces de communication dans la conception des systèmes monopuces : de la spécification à la génération automatique

FR  |  
EN
Auteur / Autrice : Arnaud Grasset
Direction : Ahmed Amine JerrayaFrédéric Rousseau
Type : Thèse de doctorat
Discipline(s) : Microélectronique
Date : Soutenance en 2006
Etablissement(s) : Grenoble INPG

Mots clés

FR

Mots clés contrôlés

Résumé

FR  |  
EN

L'intégration dans une seule puce de un ou plusieurs processeurs et de composants matériels spécifiques permet le développement de systèmes complexes appelés systèmes monopuce. L'accroissement de la complexité de ces systèmes fait de la maîtrise de leurs conceptions un défi à relever par les concepteurs. La réutilisation des composants dans ces systèmes est rendue difficile par leur hétérogénéité, notamment en terme de protocole et d'interface physique. Une solution est offerte par l'abstraction des communications entre les composants dans un modèle du système. Un flot de conception doit alors permettre de passer de cette représentation abstraite au circuit final dans lequel les composants du système sont connectés par des interfaces de communication à un réseau de communication. Les contributions apportées par cette thèse à cette méthodologie sont la définition d'un modèle de spécification des interfaces de communication basé sur un graphe de dépendances de services, ainsi qu'une méthodologie pour la génération automatique d'interfaces de communication pour les systèmes monopuces. Cette méthodologie a amené au développement d'un outil de génération automatique de ces interfaces. L'approche proposée a été validée à travers deux expérimentations : une interface en charge de la détection d'erreurs de transmissions et une interface avec un bus AMBA pour la réalisation de primitives MPI.