Titre:
Synthèse matérielle de systèmes flot de données parallèles
Conférencier:
Patrice Quinton ,
Professeur émérite, Ecole normale supérieure de Rennes, Université Bretagne Loire, France
Lieu:
Université du Québec à Tropis-Rivières, Local 2098 Ringuet ,
Date et heure:
jeudi le 19 octobre 2017 de
14:00 à 17:00
Résumé: La synthèse matérielle de systèmes parallèles embarqués nécessite une approche modulaire dans laquelle chaque composant est analysé et synthétisé séparément avant d’être intégré dans un système plus large. Le langage Alpha est un bon cadre pour une telle approche. En effet, il permet la synthèse matérielle de systèmes parallèles à partir d’une description fonctionnelle, et il autorise la description de composants sous forme hiérarchique à l’aide de sous-systèmes. Pendant ce séminaire, j’expliquerai comment le langage Alpha peut être utilisé pour décrire des systèmes flot de données, pour les ordonnancer, et pour générer du code VHDL synthétisable.
Note biographique: Patrice QUINTON est professeur émérite en informatique à l’École normale supérieure de Rennes, dont il a été le président jusqu’en 2015. Diplômé de l’ENSIMAG (Grenoble) en 1972, et docteur de l’Université de Rennes en 1980, il s’intéresse au calcul parallèle et aux architectures parallèles, en particulier, à la synthèse de programmes parallèles à l’aide du modèle polyédrique.