Return to search

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

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

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00308640
Date29 June 1983
CreatorsEtienne, Régine
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
TypePhD thesis

Page generated in 0.0017 seconds