Abstraction Fonctionnelle des Composants VLSI

J.-B. Guignet

LIP6 1998/030: THÈSE de DOCTORAT de l'UNIVERSITÉ PARIS 6 LIP6 / LIP6 research reports
116 pages - Mars/March 1998 - French document.

PostScript : 178 Ko /Kb

Contact : par mail / e-mail

Thème/Team: Architecture des Systèmes Intégrés et Micro-Électronique

Titre français : Abstraction Fonctionnelle des Composants VLSI
Titre anglais : Functional Abstraction of VLSI Components


Résumé : Méthode permettant de retrouver le comportement HDL de type flot de données d'un composant électronique VLSI à partir d'une liste de connectique décrite au niveau transistor. Cette liste de connectique peut être elle même déduite des descriptions des masques de diffusion. La méthode est basée sur la mise en oeuvre de techniques de reconnaissance de formes structurelle. Un moteur d'abstraction est alors piloté par des règles d'abstraction externes dont le format est analogue à celui de règles de production. Les règles contiennent des modèles des circuits à reconnaître. Cette méthode permet de reconnaître précisement tous les types de circuits électroniques, et d'en remonter les comportements Vhdl et Verilog, quelle que soit la technologie CMos, NMos, Bipolaire, BiCMos employée. La méthode est utilisable à des fins de vérification ou de migration technologique, et elle a prouvé son efficacité sur de nombreux projets industriels.

Abstract : Method to deduce the data flow behavior from any VLSI electronic component considered at the transistor netlist level. The transistor netlist can itself be deduced from a diffusion mask level description. The method is based upon a structural pattern recognition approach. An abstraction engine is driven by external abstraction rules whose format is analog to production rules. Rules contain models of the circuits to be recognized. This method allows a precise recognition of any kind of electronic circuit, and both Vhdl and Verilog behaviors can be deduced, whatever the CMos, NMos, Bipolaire, BiCMos technology used. This method can be used in verification or in technology migration flows, and has been proved efficient on several real industrial designs.


Mots-clés : abstraction, composant électronique VLSI, vérification, migration technologique, VHDL, Verilog, revers ingenierie

Key-words : abstraction, VLSI electronic component, verification, technology migration, VHDL, Verilog, reverse engineering


Publications internes LIP6 1998 / LIP6 research reports 1998

Responsable Éditorial / Editor
webmaster@lip6.fr