Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones

• Main Author: Nemmour, Mohamed
• Language: FRE
• Published: 1981
• Subjects: [INFO:INFO_MO] Computer Science/Modeling and Simulation; DELTA; circuits intégré; conception; formalisme; ETA; bijection; CAO; machines séquentielles; séquenceur; pipe-line
• Online Access: http://tel.archives-ouvertes.fr/tel-00297303; http://tel.archives-ouvertes.fr/docs/00/29/73/03/PDF/Nemmour.Mohamed_1981_these.pdf

.