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...