Extension du langage LUSTRE et application à la conception de circuits

L''objectif de ce travail, est l''étude des applications possibles du langage déclaratif synchrone Lustre à la description de circuits matériels, et plus particulièrement, étant donné ses caractéristiques, son aspect flot de donées notamment, aux chemins de données. Par rapport aux systèmes temps réels, dont la programmation et la vérification constituent le domaine d''application privilégié de ce langage, les circuits synchrones sont généralement beaucoup plus réguliers mais également de taille plus importante. Afin de permettre une description aisée de ces applications, une extension de Lustre a été développée. Elle ajoute au langage, tout en conservant sa sémantique rigoureuse: des données structurées et les opérateurs permettant leur manipulation, une notion de sous programmes génériques, la récursivit''e bornée. Le système Pollux a ensuite été d''eveloppé autour de ce langage, il se décompose en: 1) un pre-compilateur chargé de l''analyse sémantique d''un programme. afin de s''assurer de sa consistance. 2) Divers post-processeurs dont le principal est un générateur de circuits synchrones implantés ensuite sur la Pam, une machine à base de circuits prédiffusés programmables.