Verification automatique des regles de dessin des circuits vlsi : regles formelles, approche hierarchique

par JAMES S. MEDOU ZENGUE ZE

Thèse de doctorat en Sciences appliquées

Sous la direction de Alain Greiner.

Soutenue en 1991

à Paris 6 .

    mots clés mots clés


  • Résumé

    Nous presentons dans ce memoire un outil de verification automatique des regles de dessin de circuits vlsi. Notre etude porte sur trois problemes: l'adaptabilite du verificateur de regles de dessin a differentes technologies, le traitement des circuits de grande taille et la portabilite de l'outil sur des machines de capacites memoires differentes. L'adaptabilite de l'outil suppose qu'il puisse etre facilement parametre pour differentes technologies. Ce probleme se pose plus directement a la methode de traduction des contraintes technologiques en regle de dessin, plutot qu'a l'outil de verification proprement dit. Nous definissons ainsi un formalisme permettant une description analytique simple et non ambigue des contraintes technologiques. Le traitement des circuits de grande taille est assure par une approche de verification hierarchique qui exploite la regularite du dessin et la localite des regles de dessin. Nous definissons pour cela, la visibilite du bloc dans la hierarchie. Celle-ci, une abstraction du bloc de taille moins importante, est une propriete du bloc dependant exclusivement de la technologie verifiee. La verification du circuit est alors directe, ce qui permet d'obtenir de bonnes performances meme sur des circuits peu reguliers. De plus, la methode est particulierement adaptee a la conception incrementale. La portabilite de l'outil sur differents types de machines, est assuree par une methode de verification par fenetrage du circuit, dont l'efficacite est amelioree par le principe du chainage de voisinage


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 39 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.
  • Accessible pour le PEB
  • 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 1991
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.