Outils d'aide au developpement de bibliotheques vlsi portables

par FREDERIC PETROT

Thèse de doctorat en Sciences appliquées

Sous la direction de A. GREINER.

Soutenue en 1994

à Paris 6 .

    mots clés mots clés


  • Résumé

    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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 170 P.
  • Annexes : 74 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1994
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.