Etude des méthodologies de conception, outils de synthèse et de génération automatiques de parties contrôles de microprocesseurs / par Etienne Régine ; sous la direction de [François Anceau]

Date :

Editeur / Publisher : Grenoble : Université Joseph Fourier , 2008

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Microprocesseurs

Anceau, François (1940-2020 ; informaticien) (Directeur de thèse / thesis advisor)

Institut national polytechnique (Grenoble, Isère, France ; 1900-....) (Organisme de soutenance / degree-grantor)

Institut de mathématiques appliquées (Grenoble ; 1962-1983) (Laboratoire associé à la thèse / thesis associated laboratory)

Relation : Étude des méthodologies de conception, outils de synthèse et de génération automatiques de parties contrôles de microprocesseurs / par Etienne Régine ; sous la direction de François Anceau / , 1983

Résumé / Abstract : 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