Skip to Main content Skip to Navigation
Theses

Étude des méthodologies de conception, outils de synthèse et de génération automatiques de parties contrôles de microprocesseurs

Résumé : Ce travail présente à la fois les méthodologies de conception et l'ensemble des outils logiciels utilises à ce jour pour concevoir des circuits à très haute intégration. Une première partie concerne la génération des parties contrôlés et propose une analyse des différentes méthodes d'implantation couramment utilisées, un formalisme pour descriptions logiques d'algorithmes de contrôle, ainsi qu'un outil logiciel pour la synthèse automatique de ces algorithmes sous forme de Plas
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00308640
Contributor : Thèses Imag <>
Submitted on : Thursday, July 31, 2008 - 2:27:00 PM
Last modification on : Friday, November 6, 2020 - 3:46:47 AM
Long-term archiving on: : Thursday, June 3, 2010 - 5:21:48 PM

Identifiers

  • HAL Id : tel-00308640, version 1

Collections

Citation

Régine Etienne. Étude des méthodologies de conception, outils de synthèse et de génération automatiques de parties contrôles de microprocesseurs. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1983. Français. ⟨tel-00308640⟩

Share

Metrics

Record views

209

Files downloads

175