Synopses & Reviews
Synopsis
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.