login
english version rss feed
Detailed view PhD thesis
Institut National Polytechnique de Grenoble - INPG (03/07/1990), Gabrièle Saucier (Dir.)
Attached file list to this document: 
PDF
Poirot.Franck_1990_these.pdf(9.2 MB)
Méthodes de synthèse optimisée pour compilateurs de silicium
Franck Poirot1

La synthèse logique joue un rôle fondamental dans les compilateurs de silicium. Alors que l'état de l'art de la synthèse deux couches est très avance, celui de la synthèse multi-couches reste encore un sujet très ouvert. L'objet de cette thèse est de présenter des méthodes originales de synthèse de contrôleurs et de systèmes combinatoires pour une implémentation multi-couches a base de cellules de bibliothèque. Le premier chapitre définit le concept de compilation de silicium et introduit l'une de ses composantes, la synthèse logique. L'importance du marche de la synthèse logique y est clairement définie ainsi que ses implications dans la conception actuelle de circuits intégrés. Le deuxième chapitre concerne la synthèse de contrôleurs. Le probleme du codage des machines d'états fini est traite en détail et une methode basée sur la théorie d'immersion de cubes intersectant dans un hypercube booléen est proposée. Le troisième chapitre est consacre a la synthèse de circuits combinatoires et une methode d'optimisation temporelle de tels dispositifs est développée. Ces travaux ont été implémentés dans un environnement industriel
1:  IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble
CAO – compilateur de silicium – synthèse logique – synthèse de contrôleurs – codage des états – hypercube booléen – synthèse multi-couches – optimisation de circuits

Optimized synthesis methods for silicon compilers
.

all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...