Skip to Main content Skip to Navigation
Theses

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

Mohamed Nemmour 1
1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble
Mots-clés : DELTA circuits intégré conception formalisme ETA bijection CAO machines séquentielles séquenceur pipe-line
Document type :
Theses
Complete list of metadatas
https://tel.archives-ouvertes.fr/tel-00297303
Contributor : Thèses Imag <>
Submitted on : Tuesday, July 15, 2008 - 5:24:54 PM
Last modification on : Friday, November 6, 2020 - 3:52:46 AM
Long-term archiving on: : Friday, May 28, 2010 - 9:25:35 PM

File

Vignette du document
Nemmour.Mohamed_1981_these.pdf

Identifiers

  • HAL Id : tel-00297303, version 1

Collections

CNRS | TDS-MACS | UGA

Citation

Mohamed Nemmour. Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1981. Français. ⟨tel-00297303⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

285

Files downloads

105