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
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
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⟩