Thèse soutenue

Découpage transformationnel pour la conception de systèmes mixtes logiciel-matériel
FR
Accès à la thèse
Auteur / Autrice : Gilberto Fernandes Marchioro
Direction : Ahmed Amine Jerraya
Type : Thèse de doctorat
Discipline(s) : Microélectronique
Date : Soutenance en 1998
Etablissement(s) : Grenoble INPG

Résumé

FR

Ce travail de these developpe une nouvelle methodologie pour la conception conjointe du logiciel et du materiel. Cette methodologie met en pratique une approche transformationnelle de decoupage capable de manipuler des systemes distribues et des architectures multiprocesseurs. Cette approche semi-automatique de decoupage realise le lien entre une specification au niveau systeme et une architecture logicielle/materielle de maniere rapide permettant une exploration rapide de l'espace des solutions. Le principal domaine d'application de ce travail est la conception des architectures distribuees, composees de processus logiciels (e. G. Programmes) et processeurs materiels (e. G. Asics). Par rapport a l'approche classique de conception, utilisee dans la plus grande partie des systemes de conception conjointe existants, cette approche supporte des architectures flexibles composees de processeurs qui communiquent en utilisant un reseau de communication complexe. La principale contribution de ce travail est l'application de l'approche transformationnelle a la conception conjointe logicielle/materielle d'architectures multiprocesseurs. L'utilisateur debute le processus de conception avec une specification au niveau systeme et une solution architecturale en tete, et realise des raffinements pour adapter cette specification initiale a l'architecture. Ce passage se fait par une approche transformationnelle basee sur des raffinements successifs. Chaque etape de raffinement fixe un ensemble de details permettants de reduire le fosse entre specification et realisation. Dans ce modele, la specification initiale est donnee en langage sdl. Cette specification est convertie dans un modele intermediaire plus adapte aux algorithmes de synthese. Le modele intermediaire est raffine pour produire un modele c/vhdl distribue.