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

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^eme 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 ^etre 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^olabilite) 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 ^etre 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 {