Couverture de Extension du langage LUSTRE et application à la conception de circuits
Titre du livre:

Extension du langage LUSTRE et application à la conception de circuits

Le langage LUSTRE-V4 et le système POLLUX

Editions universitaires europeennes (07-07-2010 )

Books loader

Omni badge éligible au bon d'achat
ISBN-13:

978-613-1-51281-0

ISBN-10:
6131512817
EAN:
9786131512810
Langue du livre:
Français
texte du rabat:
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.
Maison d'édition:
Editions universitaires europeennes
Site Web:
http://www.editions-ue.com/
de (auteur) :
Frederic Rocheteau
Numéro de pages:
204
Publié le:
07-07-2010
Stock:
Disponible
Catégorie:
Langage de programmation
Prix:
75.90 $
Mots-clés:
langages synchrones et de description de matériel, conception et synthèse de circuits, compilation, outils de CAO, circuits prédiffusés programmables

Books loader

Lettre d'information

Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Virement bancaire

  0 produits dans le panier
Modifier le contenu du panier
Loading frontend
LOADING