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

• Auteur / Autrice : Philippe Debaud
• Direction : Habib Mehrez
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1994
• Etablissement(s) : Paris 6

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