Synthèse au niveau système et conception de systèmes mixtes logiciels-matériels

System level synthesis and hardware/software codesign

• Auteur / Autrice : Tarek Ben Ismail
• Direction : Ahmed Amine Jerraya
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1996
• Etablissement(s) : Grenoble INPG

Mots clés

Mots clés libres

Sciences appliquees

Electronique

Methodologie

Synthese circuit

Conception circuit

Circuit integre

Circuit a la demande

Reseau porte programmable

Machine etat fini

Multiprocesseur

Protocole transmission

Communication

Conception conjointe logiciel materiel

Sdl

Vhdl

Decoupage de description

Generation interface

Methodology

Circuit synthesis

Circuit design

Integrated circuit

Custom circuit

Field programmable gate array

Finite state machine

Multiprocessor

Transmission protocol

Communication

Résumé

L'objet de ces travaux de these est d'etudier la specification et la synthese de systemes de controle, qui peuvent etre composes a la fois de logiciel et de materiel, sur des architectures multiprocesseurs (asic, fpga, et logiciel). Ce sujet de recherche fait partie a la fois de la synthese de systemes vlsi et de la conception mixte logicielle/materielle. Afin d'atteindre ces objectifs, une methodologie qui permet de concevoir conjointement le logiciel et le materiel a ete developpee. L'originalite de ce travail vient du fait que les specifications a traiter sont decrites a un tres haut niveau d'abstraction, appele niveau systeme, avec le langage sdl. Ceci permet de concevoir des applications de plus en plus complexes. Ces travaux traitent principalement le probleme du decoupage de systemes de controle en sous-systemes de granularite plus fine et donc plus facilement synthetisables. L'approche de decoupage qui a ete developpee se base sur une boite a outils qui offre au concepteur le moyen de transformer, raffiner, decouper un systeme puis d'affecter chaque sous-systeme a une technologie particuliere en logiciel (c) ou en materiel (vhdl). La methode de decoupage suivie est interactive et utilise une forme intermediaire basee sur un modele de machines a etats finis etendues communicantes via des canaux abstraits. Une autre tache tout aussi importante dans cette methodologie de raffinement est de synthetiser la communication entre les differentes partitions resultat d'un decoupage. Cela se traduit par une etape d'allocation de protocoles de communication et une etape de synthese d'interfaces entre les sous-systemes communicants. La premiere etape consiste a selectionner dans une bibliotheque les modeles de communication necessaires entre les sous-systemes. La deuxieme etape consiste a adapter ou generer les interfaces des differents sous-systemes