Taummi : un systeme de generation de vecteurs, de simulation de fautes et de compilation en vue du test utilisant une methode localement exhaustive

par PHILIPPE DEBAUD

Thèse de doctorat en Sciences appliquées

Sous la direction de H. MEHREZ.

Soutenue en 1994

à Paris 6 .

    mots clés mots clés


  • Résumé

    Nous presentons les modeles de fautes les plus couramment utilises et rappelons au lecteur les differents defauts physiques pouvant survenir dans un circuit vlsi. Nous soulignons les problemes de representation et decrivons la technique utilisee ainsi que son extension. Une etude comparative nous permet de caracteriser ces differents modeles et d'en evaluer les interets. Le probleme de l'aide a la conception en vue du test est extremement vaste. Nous fixons les objectifs vises et detaillons le fonctionnement des algorithmes proposes a l'aide d'exemples precis. Nous envisageons les differentes techniques pouvant etre utilisees, exposons les methodes choisies et mettons en evidence leurs qualites et leurs defauts. Les solutions retenues nous permettent d'obtenir des circuits 100% testables selon le modele des collages ou la methode des mintermes. Afin de valider les algorithmes proposes et d'en evaluer leurs performances nous avons developpe une application complete permettant d'exploiter les methodes et les techniques decrites dans ce memoire. Nous detaillons l'architecture et les possibilites du logiciel, soulignons ses qualites et ses defauts et suggerons certaines ameliorations susceptibles d'accroitre les performances de l'ensemble. Enfin, nous comparons les resultats obtenus a ceux fourni par un outil industriel en utilisant pour cela les circuits de test iscas 85 et iscas 89


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 294 P.
  • Annexes : 71 REF.

Où se trouve cette thèse ?

  • Bibliothèque :
  • Accessible pour le PEB
  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : T Paris 6 1994 348
  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : PMC RT P6 1994
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.