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

Description

.

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00297303
2. http://tel.archives-ouvertes.fr/docs/00/29/73/03/PDF/Nemmour.Mohamed_1981_these.pdf

Tags

DELTA

circuits intégré

conception

formalisme

ETA

bijection

CAO

machines séquentielles

séquenceur

pipe-line

Additional Fields

Identifer	oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00297303
Date	03 December 1981
Creators	Nemmour, Mohamed
Source Sets	CCSD theses-EN-ligne, France
Language	French
Detected Language	French
Type	PhD thesis