Action : TICK - tick

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00043000000000000000" id= "SECTION00043000000000000000">Synthèse de circuits</a></h2>  <a name="TICK_domaine_Circuits" id= "TICK_domaine_Circuits"></a> <p><strong>Mots clés :</strong> <i>circuit, contrÔleur, matériel .</i></p> <p>Les circuits matériels deviennent de plus en plus complexes, surtout en ce qui concerne le contrôle des chemins de données (pipeline, cohérence de caches, interfaces bus, etc.). Esterel est adapté à la description et à la synthèse efficace de contrôleurs matériels. Nous travaillons sur ce thème avec le laboratoire «Intel Strategic CAD lab» de Portland, US. Nous avons acquis, pour valider nos résultats de synthèse, la plate-forme de CAO électronique Synopsys par le biais de l'opération européenne <em>EuroPractice</em>.</p> </body>