Analyse de testabilité

Résumé du document

Testabilité

- Caractéristique d'un circuit qui influence divers coûts associés au test (longueur, complexité de génération d'une séquence,...)
* Dépend du contexte
* Pas d'évaluation réelle
- En pratique : Basée sur les concepts de contrôlabilité et d'observabilité
(...)

Extraits

[...] qu'il faut contrôler pour amener la valeur 0 sur N SC1 = contrôlabilité séquentielle à 1 = # minimum de nœuds séq. qu'il faut contrôler pour amener la valeur 1 sur N S0 = observabilité séquentielle = # minimum de nœuds séq. [...]

[...] qu'il faut contrôler pour amener la valeur 1 sur N CO = observabilité combinatoire = # minimum de nœuds comb. qui doivent être contrôlés pour que l'effet de la faute sur N soit propagé vers une SP. [...]

[...] ANALYSE DE TESTABILITE Analyse de testabilité Mesures utilisées comme critères de choix Générateurs automatiques de vecteurs de test Outils de conception en vue du test Testabilité Caractéristique d'un circuit qui influence divers coûts associés au test (longueur, complexité de génération d'une séquence, ) Dépend du contexte Pas d'évaluation réelle En pratique : Basée sur les concepts de contrôlabilité et d'observabilité Mesures de Testabilité ' Contrôlabilité indique la difficulté relative à positionner une ligne à 0 ou à 1 à partir des Entrées Primaires Observabilité indique la difficulté relative à propager une erreur à partir d'une ligne vers les Sorties Primaires Mesures dans le contexte Test du collage à 0 de la sortie de G1 Génération de vecteurs aléatoires Contrôle à 1 de la sortie de G1 très difficile (probabilité de 1/2n) Génération de vecteurs déterministes Contrôle à 1 de la sortie de G1 évident Différentes méthodes Obtention des mesures dans le meilleur cas pour un test déterministe (SCOAP et dérivées) Obtention des mesures à partir de calculs probabilistes pour un test aléatoire ou pseudo aléatoire (COP) SCOAP(Sandia Controlability and Observability Analysis Program) Basée sur une analyse structurelle et nonnormalisée Circuit = cellules(comb.,séq.) + nœuds(comb.,séq.) Valeurs des mesures croissantes avec l'effort de test requis Test d 'un nœud : EPs contrôle & observation SPs SCOAP Six mesures associées à chaque noeud N : CC0(N) = contrôlabilité combinatoire à 0 = # minimum de nœuds comb. qu'il faut contrôler pour amener la valeur 0 sur N CC1(N) = contrôlabilité combinatoire à 1 = # minimum de nœuds comb. [...]

[...] C1(e2) O(e1) = C1(e2) . Porte OR C1(s) = 1 - (1-C1(e1)).(1-C1(e2)) O(e1) = . [...]

[...] SCOAP Evaluation : Contrôlabilité en sortie d'une cellule fonction des contrôlabilités de ses entrées Observabilité en entrée d'une cellule fonction de l'observabilité en sortie et des contrôlabilités des autres entrées SCOAP : cellules combinatoires CC0(s) = min (CC0(e1),CC0(e2)) + 1 CC1(s) = CC1(e1) + CC1(e2) + 1 CO(e1) = CC1(e2) + CO + 1 Portes logiques classiques SCOAP : divergences SCOAP : Calcul des valeurs Initialisation des nœuds : Si N = EP, CC0(N) = CC1(N) = 1 SC0(N) = SC1(N) = 0 Si N = SP, CO(N) = SO(N) = 0 Sinon CC0 = CC1 = SC0 = SC1 = infini Phase 1 : Calcul des contrôlabilités des EPs aux SPs, Itération jusqu'à stabilisation = min(M(N)av,M(N)ap) Phase 2 : Calcul des observabilités des SPs aux Eps SCOAP : Exemple 1 SCOAP : Exemple 1calcul des controlabilités SCOAP : Exemple 1Calcul des observabilités SCOAP : Exemple 1 (suite) SCOAP : cellules séquentielles CC0(Q) = min (CC1(R)+CC0(H) , CC0(D)+CC1(H)+CC0(H)+CC0(R)) CC1(Q) = CC1(D)+ CC1(H) + CC0(H) + CC0(R) SC0(Q) = min (SC1(R)+SC0(H) , SC0(D)+SC1(H)+SC0(H)+SC0(R))+1 SC1(Q) = SC1(D) + SC1(H) + SC0(H) + SC0(R) + 1 CO(D) = CO(Q) + CC1(H) + CC0(H) + CC0(R) SO(D) = SO(Q) + SC1(H) + SC0(H) + SC0(R) + 1 SCOAP : Exemple 2 SCOAP : Exemple 2 (suite) SCOAP : Exemple 2 (suite) Les dérivés de SCOAP COMET(Controllability and Observability Measurement for Testability) possibilité d'utiliser des macrocellules et non plus uniquement des portes logiques gain de temps / SCOAP) prise en compte de cellules bidirectionnelles mesure de ‘prédictabilité' : quantifie la facilité avec laquelle le circuit peut être initialisé dans un état connu ITTAP insertion interactive de points de test mesure supplémentaire qui donne la longueur d 'une séquence de test aléatoire pour contrôler ou observer la valeur d'un nœud Les dérivés de SCOAP ARCOP testabilité d 'un nœud = difficulté de détecter un collage sur le nœud TESTABILITE(N collé à = CC1(N) + CO(N) TESTABILITE(N collé à = CC0(N) + CO(N) DTA (Daisy Testability Analyser) insertion interactive de points de test (comme ITTAP) possibilité d'utiliser des macrocellules et non plus uniquement des portes logiques (RAM, ROM, PLA, blocs représentés par des fonctions booléennes) gain de temps / SCOAP FUNTAP généralisation de la méthode au niveau fonctionnel (ex : chemins de données) Inconvénients de SCOAP et de ses dérivés : exemple 1 COP Basée sur une Analyse structurelle Mesures basées sur une approche probabiliste proportion de vecteurs d'entrée qui peuvent contrôler et observer le noeud Limitées aux circuits combinatoires Normalisées Test d 'un nœud : EPs contrôle & observation SPs COP Cinq mesures associées à chaque nœud N : C1(N) = contrôlabilité à 1 de N = vecteurs d'entrée donnant 1 sur / 2n = # bits) C0(N) = contrôlabilité à 0 de N = vecteurs d'entrée donnant 0 sur / 2n = 1 - C1(N) = observabilité de N = de 1 et de 0 sur N observables sur 1 SP) / 2n O1(N) = observabilité à 1 de N = probabilité de détecter un collage à 0 de la ligne N = C1(N).O(N) O0(N) = observabilité à 0 de N = probabilité de détecter un collage à 1 de la ligne N = C0(N).O(N) O0(N) COP : portes classiques Porte AND C1(s) = C1(e1) . C1(e2) O(e1) = C1(e2) . [...]