Extension Du Langage Lustre Et Application a la Conception de Circuits

L'objectif de ce travail, est l'tude des applications possibles du langage dclaratif synchrone Lustre la description de circuits matriels, et plus particulirement, tant donn ses caractristiques, son aspect flot de dones notamment, aux chemins de donnes. Par rapport aux systmes temps rels, dont la programmation et la vrification constituent le domaine d'application privilgi de ce langage, les circuits synchrones sont gnralement beaucoup plus rguliers mais galement de taille plus importante. Afin de permettre une description aise de ces applications, une extension de Lustre a t dveloppe. Elle ajoute au langage, tout en conservant sa smantique rigoureuse: des donnes structures et les oprateurs permettant leur manipulation, une notion de sous programmes gnriques, la rcursivit'e borne. Le systme Pollux a ensuite t d'evelopp autour de ce langage, il se dcompose en: 1) un pre-compilateur charg de l'analyse smantique d'un programme. afin de s'assurer de sa consistance. 2) Divers post-processeurs dont le principal est un gnrateur de circuits synchrones implants ensuite sur la Pam, une machine base de circuits prdiffuss programmables.