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

Chapitre 2. | Methodologie pour le test des cartes heterogenes |
fautes de collage pour les conglomerats. Elle est obtenue par superposition des
resultats obtenus par deux simulations successives :
, une simulation logique qui va aecter a chaque nud la valeur logique que lui attribue
le vecteur de test.
, une simulation de fautes qui va donner la couverture de chaque vecteur de test sur
chaque nud des conglomerats. Cette matrice se presente sous l'aspect suivant :
, Chaque colonne correspond a un PTV de la sequence de test (cf. paragraphe 1.3.1).
, Chaque ligne correspond a un STV pour le nud considere.
, Chaque element M(i; j) de cette matrice donne la couverture du vecteur j pour les
fautes de collage sur le nud i de la maniere suivante :
- M(i,j) = D => le vecteur j detecte un collage a 0 sur le nud i.
- M(i,j) = D => le vecteur j detecte un collage a 1 sur le nud i.
- M(i,j) = 0/1 => le vecteur j ne detecte aucun collage sur le nud i.
Avec ce type de representation, on obtient facilement les informations concernant
le conglomerat, et les conditions enumerees precedemment peuvent ^etre formalisees
et les algorithmes pourront ^etre implantes. Etant donne que, maintenant il sut de
parcourir les colonnes de la matrice pour identier les chemins de propagation aux
sorties des conglomerats, la condition pour la detection d'un court,circuit quelconque
entre deux nuds i et j appartenant a deux conglomerats dierents dont les matrices
sont notees respectivement M1 et M2 devient :
Pour chaque couple (M1(i),M2(i)) de STVs, il doit exister au minimum un PTV k
pour lequel on a:
fM1(i; k) =D ^ M2(j; k) = Dg_fM1(i; k) = D ^ M2(j; k) =Dg
Dans le cas ou l'on a aaire a un court,circuit du type "and,short" (comportement
modelise par une porte "AND"), l'etat logique dominant est le 0 logique, et la
condition devient:
{38 {