Extension du langage LUSTRE et application à la conception de circuits - Rocheteau, Frederic

. .

Résumé :
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....