Extension Du Langage Lustre Et Application a la Conception de Circuits [French]

By Frederic Rocheteau

L'objectif de ce travail, est l'etude des applications possibles du langage declaratif synchrone Lustre a la description de circuits materiels, et plus particulierement, etant donne ses caracteristiques, son aspect flot de donees notamment, aux chemins de donnees. Par rapport aux systemes temps reels, dont la programmation et la verification constituent le domaine d'application privilegie de ce langage, les circuits synchrones sont generalement beaucoup plus reguliers mais egalement de taille plus importante. Afin de permettre une description aisee de ces applications, une extension de Lustre a ete developpee. Elle ajoute au langage, tout en conservant sa semantique rigoureuse: des donnees structurees et les operateurs permettant leur manipulation, une notion de sous programmes generiques, la recursivit'e bornee. Le systeme Pollux a ensuite ete d'eveloppe autour de ce langage, il se decompose en: 1) un pre-compilateur charge de l'analyse semantique d'un programme. afin de s'assurer de sa consistance. 2) Divers post-processeurs dont le principal est un generateur de circuits synchrones implantes ensuite sur la Pam, une machine a base de circuits prediffuses programmables."

• Format: Paperback
• Language: French
• ISBN: 6131512817
• ISBN13: 9786131512810
• Release Date: June 2010
• Publisher: Editions Universitaires Europeennes
• Length: 204 Pages
• Weight: 0.67 lbs.
• Dimensions: 0.5" x 6.0" x 9.0"