SoCRSS

Ajouter à votre agenda

La sémantique du matériel et les langages de CAO


30/06/2017
Horaire : 10h30
Intervenant(s) : François ANCEAU, UPMC-LIP6
Les langages de conception des dispositifs électroniques (logiques) se sont d'abord intéressés à décrire ces dispositifs par des descriptions para-informatiques (par exemple Cassandre). Plus de cinquante ans après ces premiers travaux, les outils actuels n'ont plus que l'objectif de ne décrire que le comportement de ces dispositifs par des programmes informatiques (par exemple System C). La mise au point de compilateurs de silicium relativement efficaces a écarté les concepteur du travail au niveau de l'agencement des entités logiques élémentaires. Or la majorité de ces outils n'exploite pas toutes les possibilités de l'électronique sous-jacente comme la logique dynamique, le séquencement bi-phasé, les connexions directes entre blocs voisins et encore beaucoup d'autres spécificités, ce qui fait que les circuits produits ne sont ni optimaux en terme de vitesse, ni en terme de complexité, ni en terme de consommation. Nous proposons donc un retour à la manipulation directe du matériel via un formalisme para-informatique. Cela revient à concevoir de nouveaux langages capables d'être mis en correspondance bijective avec le matériel (sémantique matérielle) et donc de l'avoir bien comprise. La modification de langages déjà proches de cet objectif (par exemple VHDL) sera présentée comme un premier pas.LIP6, salle 105, couloir 25-26, 4 place Jussieu, 75005 Paris
Plus d'informations ici
Marie-Minerve.Louerat (at) nulllip6.fr
 Mentions légales
Carte du site |