Synthese logique de circuits integres vlsi : utilisation d'un generateur de systeme expert pour la phase de projection structurelle

par PASCALE ALLEGRE

Thèse de doctorat en Sciences appliquées

Sous la direction de Alain Greiner.

Soutenue en 1993

à Paris 6 .

    mots clés mots clés


  • Résumé

    Cette these propose une methode pour la synthese logique des circuits vlsi. Celle-ci se rapporte a la phase de projection structurelle qui permet de transformer une description comportementale en un reseau de portes realisant des fonctions simples. Celles-ci sont en general definies et caracterisees pour une technologie specifique. Les methodes de synthese proposees sont en general basees sur l'emploi de techniques de reconnaissance de formes. Elles divisent la projection structurelle en deux phases successives. La premiere consiste a generer un reseau de portes tandis que la seconde realise une optimisation de la polarite. Ces methodes classiques ont l'avantage d'etre assez rapides mais elles presentent deux inconvenients majeurs. D'autre part, le choix d'une porte se fait d'une maniere trop locale et d'autre part, il ne peut plus etre remis en cause lors du choix de la polarite. La methode proposee dans cette these s'appuie sur l'emploi d'un moteur d'inferences dedie a la projection structurelle. L'expertise est produite automatiquement sous la forme d'un ensemble de regles de re-ecriture a partir de la bibliotheque de cellules precaracterisees. Cette generation automatique assure la coherence des regles vis-a-vis de la bibliotheque cible tout en garantissant un nombre de regles minimal. Cette approche offre en outre la possibilite au concepteur de specifier des contraintes externes que le systeme doit respecter. Un prototype a ete developpe pour valider cette approche. Cette these presente dans un premier temps un etat de l'art des techniques utilisees pour la projection structurelle. Les chapitres suivants sont consacres a l'etude des algorithmes mis en uvre. Des resultats experimentaux sont donnes afin de montrer les gains de cette nouvelle approche par rapport aux systemes existant. Ces tests montrent que cette approche donne des resultats appreciables sur l'ensemble des bibliotheques testees


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 122 P.
  • Annexes : 41 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.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 1993 499
  • 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 1993
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.