Action : TICK - tick

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00062000000000000000" id= "SECTION00062000000000000000">Extensions de la syntaxe et expressivité</a></h2> <a name="TICK_resultats_extensions" id= "TICK_resultats_extensions"></a> <p><br /> <br /> <span class="textbf">Participants :</span> Gérard Berry, Loïc Henry-Gréard.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>Esterel, HDL .</i></p> <p>Nous avons travaillé avec Mike Kichinevsky de la société Intel à des extensions d'Esterel pour la description des circuits : tableaux, codage de nombres, systèmes de modules sophistiqués, etc. Nous avons également montré comment incorporer des équations flot-de-données <em>à la</em> Lustre. Ces extensions seront implantées dans la prochaine version du langage.</p> <p>Au cours d'un séjour de 3 mois et demi chez Intel Corp, Loïc Henry-Gréard a travaillé avec le <em>Strategic CAD lab</em> sur une extension au langage Esterel permettant la description du comportement de circuits multiphasés. Le travail a porté sur la définition d'un formalisme étendant les circuits synchrones au circuits multiphasés, comme cible de compilation à partir d'Esterel et base d'optimisation du résultat, ainsi que sur la recherche d'une syntaxe et d'une sémantique étendant Esterel pour décrire des comportements "phase accurate". Ce travail correspond pour le moment à une recherche interne de la société Intel, mais ses résultats ont vocation à être integrés au developpement global du langage Esterel.</p> </body>