Intégration des contraintes d'interface dans la conception plate-forme, application à la radiocommunication

Interface constraint integration in platform based design, application to radiocommunication systems

• Auteur / Autrice : Sylvain Guillaume Huet
• Direction : Emmanuel Casseau
• Type : Thèse de doctorat
• Discipline(s) : Automatique, traitement du signal et génie informatique
• Date : Soutenance en 2006
• Etablissement(s) : Lorient

Mots clés

Mots clés contrôlés

Langages de description de matériel informatique

Transmission numérique

Ordinateurs -- Conception et construction

Architecture des ordinateurs

Mots clés libres

Gaut

CoFluent Studio

Langage à haut niveau d'abstraction

Résumé

Pour tirer profits des avancées de la micro électronique, il est nécessaire que la productivité des concepteurs de systèmes électroniques évolue également selon la même tendance. Une piste de progrès certaine consiste à relever le niveau d'abstraction pour la spécification de ces systèmes et automatiser leur raffinement vers l'implémentation. Dans ce contexte, il est particulièrement intéressant d'envisager l'utilisation conjointe de l'outil CoFluent Studio, issu des recherches de l'équipe MCSE de l'école polytechnique de l'Université de Nantes, commercialisé par la société CoFluent Design et de l'outil GAUT développé par le LESTER de l'Université de Bretagne Sud. Le premier outil permet de modéliser et estimer les performances des systèmes électroniques à haut niveau d'abstraction, le second permet de raffiner une spécification algorithmique vers une implémentation matérielle. Toutefois, il est nécessaire de compléter ces démarches de développement par l'étude des niveaux d'abstraction inférieurs afin de vérifier si les performances estimées sont vérifiées pour les vues raffinées et pour optimiser l'implémentation du système. Dans ce contexte, nous proposons deux approches dans ce mémoire. La première repose sur l'identification d'un niveau d'abstraction que nous qualifions de transactionnel à grains fins. Nous étudions alors le problème de la modélisation de la fonctionnalité lors d’un raffinement vers ce type de modèle. Nous faisons également une seconde proposition d'adaptateur de communication permettant d'assembler des composants décrits au niveau transactionnel à grains fins mais aussi des composants décrits au niveau système. Nous illustrons ces propositions sur l'étude d'un modulateur MIMO+OFDM utilisé en communications numériques. Ce travail a été mené dans le cadre du projet PALMYRE, financé par CPER 2000-2006 de la région Bretagne.

If we want to take advantage of technological evolutions, designer’s productivity has to increase in the same proportions as the component integration on integrated circuits. To take up this challenge, system level design solutions have to be set up. In this context, the joint use of CoFluent Studio distributed by CoFluent design, originally developed by the MCSE team of the Ecole polytechnique de l'Université de Nantes, and GAUT developed by the LESTER lab of the Université de Bretagne Sud is especially relevant. The first tool allows to model and estimate the performances of the systems at a high level of abstraction and the second allows to automatically refine an abstract algorithmic specification down to its hardware implementation. Nevertheless, these approaches require to be completed by the analysis of models of lower levels of abstraction, on the one hand to verify if the targeted performance estimated at higher levels is satisfied and on the other hand to optimize the implementation costs of the system. In this context, we propose two original contributions. Firstly, we propose a fine grain transactional level of abstraction which we use to study the impact of the fine grain data order in a system on the implementation cost of the system. Secondly, in continuity with the first proposal, we propose a communication wrapper which allows to interconnect fin grain transactional components just as easily as system level components. We illustrate these propositions on the study of a MIMO+OFDM transmitter. This work takes place in the PALMYRE project which was financed by the CPER 2000-2006 of the région Bretagne.