Read more
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.
About the author
He has 20 years of experience in development and management of software projects, in the domains of semiconductors and EDA. He co-founded or participated to several start-up companies with a focus on formal verification techniques. He received a Ph.D. degree in computer science from the Institut Natonal Polytechnique de Grenoble, France
