Back to Search

Extension Du Langage Lustre Et Application a la Conception de Circuits

AUTHOR Rocheteau, Frederic
PUBLISHER Editions Universitaires Europeennes (06/17/2010)
PRODUCT TYPE Paperback (Paperback)

Description
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."
Show More
Product Format
Product Details
ISBN-13: 9786131512810
ISBN-10: 6131512817
Binding: Paperback or Softback (Trade Paperback (Us))
Content Language: French
More Product Details
Page Count: 204
Carton Quantity: 40
Product Dimensions: 6.00 x 0.47 x 9.00 inches
Weight: 0.67 pound(s)
Country of Origin: US
Subject Information
BISAC Categories
Computers | Languages - General
Descriptions, Reviews, Etc.
publisher marketing
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."
Show More
List Price $74.52
Your Price  $73.77
Paperback