Thèse soutenue

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

FR  |  
EN
Auteur / Autrice : PASCALE ALLEGRE
Direction : Alain Greiner
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1993
Etablissement(s) : Paris 6

Résumé

FR

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