Étude et réalisation d'un outil de conception de systèmes logiques complexes

par Didier Tais-Lailhugue

Thèse de doctorat en Sciences

Sous la direction de Christian Durante.

Soutenue en 1987

à Montpellier 2 .

mots clés

• Systèmes, Conception de
• Conception assistée par ordinateur
• GRAFCET
• Circuits intégrés à très grande échelle

Résumé

Presentation d'une methodologie de synthese interactive des systemes logiques complexes a partir d'un cahier des charges modelise par un ensemble de grafcets structures et hierarchises. Cette methodologie est independante de la technologie de fabrication et peut representer un systeme logique quelconque; implantee en langage lisp, elle s'articule autour d'une base de donnee dont le systeme de gestion est defini

Titre traduit

A tool for the computer assisted design of logic complex systems

Pas de résumé disponible.