Outils d'aide au développement de bibliothèques VLSI portables

F. Pétrot

IBP-Masi 1994/Th06: THÈSE de DOCTORAT de l'UNIVERSITÉ PARIS 6 Masi / Masi research reports
124 pages - Novembre/November 1994 - French document.

PostScript : 656 Ko /Kb

Titre / Title: Outils d'aide au développement de bibliothèques VLSI portables

Résumé : Cette thèse introduit le concept de bibliothèque portable et détaille la mise en oeuvre d'un environnement dédié àleurs développements. Le premier chapitre présente une méthodologie de dessin de masques symbolique sur grille fixe fine qui permet la portabilitésur un vaste ensemble de procédés de fabrication tout en permettant la construction de blocs complexes par aboutement. Le second chapitre présente des structures de données canoniques pour la reésentation des vues physique et structurelle des circuits intégrés VLSI. Ces structures de données sont la base sur laquelle a étéconstruite la chaîne de CAO Alliance. Les différents concepts attachés aux vues physique et structurelle que l'on désire formaliser sont décrits, en s'attachant à préciser la sémantique de chaque objet de façon non ambiguë. Le troisième chapitre présente un langage dédié au développement de générateurs de blocs paramétrables. Ce langage est une bibliothèque de fonctions du langage C qui s'appuient fortement sur les structures de données. Afin de faciliter la mise au point de ces programmes par des concepteurs de circuits, un outil graphique d'aide à la mise au point des logiciels de génération est présenté dans le chapitre 4. Cet outil est constitué d'un éditeur de texte, d'un compilateur C ayant pour cible une machine virtuelle, d'un interpréteur, d'un débogueur symbolique, et d'une fenêtre de visualisation de la vue physique. Enfin, la méthode générale de conception d'un générateur paramétrable est illustrée à travers l'exemple d'un générateur de ROM.

Abstract : This thesis introduces the concept of `portable library' and details a dedicated environment oriented toward the development of such layout libraries. The first chapter presents a thin fixed grid symbolic layout methodology that ensure process independence on a wide range of technologies. This approach warranties the respect of pitch matching constraints between unrelated cells location for abutment based custom blocks. Chapter two presents canonical data structures for the representation of the symbolic layout and structural views of VLSI circuits. All the tools of the Alliance CAD system working on the physical or logical views are based on these data structures. The third chapter presents a language dedicated to the procedural generation of custom blocks designed using a specific layout leaf cell library and a tiling program. This language is in fact a set of C functions that heavily relies on the data structures. In order to help the debug of procedural generators by designers unaware of software engeenering practices, we introduce in chapter four a graphical tool that simplifies this task. It contains a text editor, a C compiler targetted to a virtual machine, an interpreter with symbolic debugging facilities, and a layout visualisation tool. Finally, the general design methodology for the generators using a tiler and leaf cell approach is illustrated through the example of a Read Only Memory.

Publications internes Masi 1994 / Masi research reports 1994