Analyse de la performance de systemes electroniques complexes. Composes de circuits vlsi asic utilisant des latches level-sensitive

par CHIHEB MESSAOUD

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é

    L'analyse de la performance et la verification du timing de systemes electroniques, composes a partir de circuits vlsi en technologie mos, et utilisant des latches level-sensitive, est de nos jours une tache essentielle mais aussi particulierement difficile. Notre travail a consiste a concevoir et a realiser une methode de verification de timing en partant d'un modele de graphe cyclique, calcule par des logiciels de la chaine de cao de bull. Nous avons utilise un algorithme de relaxation, sachant que le couplage des caracteristiques temporelles entre les nuds d'un circuit est local. En se basant sur des fonctions de transfert sur un latch level-sensitive et sur un reseau de chemins combinatoires, nous sommes parvenus a traiter correctement les transparences sur les latches et a verifier des circuits a +300000 tranisitions en 50 mn de temps cpu. Par ailleurs, nous avons concu et realise un editeur d'aide au diagnostic des erreurs de timing, qui a permis de comprendre les origines des erreurs detectees et de montrer les modifications de schema a effectuer pour optimiser la performance des systemes realises


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 56 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 : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : T Paris 6 1990 620
  • 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.