Thèse soutenue

Outils d'aide au developpement de bibliotheques vlsi portables
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Frédéric Pétrot
Direction : Alain Greiner
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1994
Etablissement(s) : Paris 6

Résumé

FR

Cette these introduit le concept de bibliotheque portable et detaille la mise en uvre d'un environnement dedie a leurs developpements. Le premier chapitre presente une methodologie de dessin de masques symbolique sur grille fixe fine qui permet la portabilite sur un vaste ensemble de procedes de fabrication tout en permettant la construction de blocs complexes par aboutement. Le second chapitre presente des structures de donnees canoniques pour la representation des vues physique et structurelle des circuits integres vlsi. Ces structures de donnees sont la base sur laquelle a ete construite la chaine de cao alliance. Les differents concepts attaches aux vues physique et structurelle que l'on desire formaliser sont decrits, en s'attachant a preciser la semantique de chaque objet de facon non ambigue. Le troisieme chapitre presente un langage dedie au developpement de generateurs de blocs parametrables. Ce langage est une bibliotheque de fonction du langage c qui s'appuient fortement sur les structures de donnees. Afin de faciliter la mise au point de ces programmes par des concepteurs de circuits, un outil graphique d'aide a la mise au point des logiciels de generation est presente dans le chapitre 4. Cet outil est constitue d'un editeur de texte, d'un compilateur c ayant pour cible une machine virtuelle, d'un interpreteur, d'un debogueur symbolique, et d'une fenetre de visualisation de la vue physique. Enfin, la methode generale de conception d'un generateur parametrable est illustree a travers l'exemple d'un generateur de rom