Traduction vers des formalismes de description de circuits ou d'architectures de systèmes embarqués



Participants : Laurence Pierre, Annie Ressouche, Robert de Simone.

Nous avions précédemment réalisé un traducteur VHDL pour Esterel au niveau des sytèmes d'équations booléennes (les schémas de portes logiques des circuits synchrones). Nous envisageons maintenant d'étudier des traductions plus sophistiquées, respectant des caractéristiques de structuration modulaire et produisant du code VHDL de plus haut niveau comportemental. Ce travail doit se poursuivre en collaboration avec Laurence Pierre dans le cadre de sa délégation auprès de notre équipe.