TH ESE Mohamed H edi TOUATI TEST ET ... - Laboratoire TIMA

More documents

Recommendations

Info

Chapitre 2. | Methodologie pour le test des cartes heterogenes | 2.4 Ordonnancement pour un ensemble de conglomerats Cette etape a pour but de trouver une sequence minimale permettant derealiser le test en parallele de tous les conglomerats composant la carte pour les court,circuits d'interaction. Si les ATPGs actuels permettent souvent d'obtenir des taux de couverture appreciables pour les fautes de collage, il n'en n'est pas de même pour les court,circuits ou les circuits,ouverts. Dans ce cas, on est souvent amene a recourir a des simulations de fautes pour atteindre de bons taux de couverture. Neanmoins cette solution reste envisageable seulement pour des circuits de faible complexite. Dans notre cas, la mise au point de ces vecteurs de test est obtenue de la maniere suivante : les dierentes sequences de test obtenues pour chaque conglomerat lors de la premiere etape sont regroupees et ordonnees de maniere a mettre en evidence ces fautes. Cet ordonnancement est base sur l'ordre d'association des dierentes sequences entre elles, ainsi que sur la possibilite derepeter au besoin certaines sequences a l'interieur de la sequence globale. Neanmoins, cet ordonnancement doit être realise avec le souci de produire une sequence nale de longueur egale a celle de la plus longue des sequences de l'ensemble des conglomerats. Nous avons toutefois remarque au cours de nos experimentations, que cette contrainte (non restrictive, rappelons le) est souvent satisfaite dans le cas de conglomerats combinatoires. Elle l'est moins dans le cas ou ils sont sequentiels. Ceci peut s'expliquer par le fait que souvent, le taux de couverture de fautes par vecteur de test pour les circuits combinatoires est superieur a celui des circuits sequentiels. Ceci entra^ne donc la necessite de dupliquer davantage de sequences dans le cas sequentiel. D'une maniere generale pour detecter une faute dans un circuit, il faut pouvoir activer cette faute (condition de contrôlabilite) et la propager au moins vers une des sorties primaires du circuit (condition d'observabilite). Dans l'exemple de la gure 2.7, le vecteur de test doit être choisi de maniere a ce que les stimuli appliques aux lignes I1, I2, I3 et I4 donnent des valeurs opposees sur les nuds n1 et n2, tandis que la valeur appliquee a la ligne I5 doit permettre la propagation sur la sortie S. Pour cet exemple, le vecteur f00000g permet de detecter un "and-short" entre n1 {35 {
Chapitre 2. | Methodologie pour le test des cartes heterogenes | et n2, alors qu'un "or-short" sera indetectable dans ce cas de gure. I1 I2 n1 Intéraction I3 I4 I5 n2 S Figure 2.7: Detection d'une faute d'interaction Par consequent, pour detecter une faute d'interaction entre deux nuds appartenant chacun a un conglomerat, il faut trouver au moins un vecteur appartenant a chaque ensemble et qui verie en premier lieu les conditions de contrôlabilite et d'observabilite, mais qui doit aussi engendrer des niveaux logiques opposes sur les nuds suspectes an de mettre en evidence cette possible interaction. De ce fait, l'algorithme que nous proposons (algorithme 2.1) permet d'ordonner les vecteurs en vue de la detection de n'importe quel type de court,circuit entre conglomerats. Pour implementer cet algorithme, nous avons adopte une representation matricielle qu'on decrit dans le paragraphe 2.5.1. pour tous les nuds du conglomerat i f pour tous les nuds du conglomerat j f associer les vecteurs V k (i);V l (j) qui produisent des detections opposees g g Algorithme 2.1 :Detection des court-circuit {36 {
Page 1 and 2: THESE presentee par Mohamed Hedi TO
Page 3 and 4: Remerciements Si le titre de docteu
Page 5 and 6: Abstract Today's Integrated Circuit
Page 7 and 8: |Tables des Matieres | 2.2 Descript
Page 9 and 10: |Tables des Matieres | 5.2.5 Calcul
Page 11 and 12: Liste des Figures 1.1 Architecture
Page 13 and 14: | Liste des Figures | 6.6 Localisat
Page 15 and 16: | Liste des Tableaux | 7.8 Resultat
Page 17 and 18: Introduction Les progres accomplis
Page 19 and 20: Chapitre 0. | Introduction | Malgre
Page 21 and 22: Chapitre 1 L'approche "Boundary Sca
Page 23 and 24: Chapitre 1. | L'approche "Boundary
Page 37 and 38: Chapitre 2 Methodologie pour le tes
Page 39 and 40: Chapitre 2. | Methodologie pour le
Page 49: Chapitre 2. | Methodologie pour le
Page 63 and 64: Chapitre 3 Adaptation au cas des MC
Page 65 and 66: Chapitre 3. | Adaptation au cas des
Page 75 and 76: Chapitre 4 Approches en vue du Diag
Page 77 and 78: Chapitre 4. | Approches en vue du D
Page 95 and 96: Chapitre 5 tester Recherche du meil
Page 97 and 98: Chapitre 5. | Recherche du meilleur
Page 99 and 100: Chapitre 5. | Recherche du meilleur
Page 101 and 102:
Chapitre 5. | Recherche du meilleur
Page 103 and 104:
Page 105 and 106:
Page 107 and 108:
Page 109 and 110:
Page 111 and 112:
Page 113 and 114:
Page 115 and 116:
Page 117 and 118:
Chapitre 6 Presentation de l'outil
Page 119 and 120:
Chapitre 6. | Presentation de l'out
Page 121 and 122:
Page 123 and 124:
Page 125 and 126:
Chapitre 7 Experimentations et resu
Page 127 and 128:
Chapitre 7. | Experimentations et r
Page 129 and 130:
Page 131 and 132:
Page 133 and 134:
Page 135 and 136:
Chapitre 8 Conclusion Dans ce trava
Page 137 and 138:
Chapitre 8. | Conclusion | des outi
Page 139 and 140:
Bibliographie
Page 141 and 142:
Bibliographie [BBK89] F. Brglez,D.
Page 143 and 144:
| Bibliographie | [HRA88] A. Hassan
Page 145 and 146:
| Bibliographie | [Mor95] F. Morgad
Page 147:
| Bibliographie | [Wag87] P. Wagner
show all

TH ESE Mohamed H edi TOUATI TEST ET ... - Laboratoire TIMA

Create successful ePaper yourself

Delete template?

Save as template?