LIP6 1998/030
- Soutenance de thèse
Abstraction Fonctionnelle des Composants VLSI - J.-B. Guignet
- 116 pages - 31/03/1998- document en - http://www.lip6.fr/lip6/reports/1998/lip6.1998.030.ps.gz - 182 Ko
- Contact : jean-bruce.guignet (at) nullbull.net
- Ancien Thème : ASIM
- Mots clés : abstraction, composant électronique VLSI, vérification, migration technologique, VHDL, Verilog, revers ingenierie
- Directeur de la publication : Francois.Dromard (at) nulllip6.fr
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.