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

Chapitre 7. | Experimentations et resultats |
nous avons injecte une faute, ensuite nous avons demarre le processus de diagnostic
a partir des vecteurs de test qui mettent enevidence cette faute. Pour evaluer les
performances de l'outil, nous avons deni le parametre ecacite que nous calculons
de la maniere suivante :
E = 100 N,(k,1)
N
Avec N le nombre total de composants du systeme et k le rang du site de la faute
(sortie du bloc fautif) dans la liste des points de test proposes.
Circuit # total Bloc Rang du Ecacite
de blocs Fautif Bloc Fautif en (%)
c17 6 NAND23 1 100
c432nr 171 NAND71 34 80.7
c880 383 NOR73 11 97.3
c2670nr 961 AND243 21 97.9
Tableau 7.7: Resultats pour quelques ISCAS'85
Le tableau 7.7 presente les resultats obtenus sur les modules combinatoires. Ces
resultats sont dans l'ensemble assez satisfaisants.
Circuit # total #de Bloc Prof. de Long. Rang du Ecacite
de blocs Bascules Fautif Sequentialite du Vecteur Bloc Fautif en (%)
s298 133 14 NOT22 1 2 36 73.6
s344 175 15 DFF11 2 3 29 84
s510 217 6 OR99 2 27 100 54.3
s1196 547 18 AND159 1 2 158 73.6
Tableau 7.8: Resultats pour quelques ISCAS'89
Le tableau 7.8 presente les resultats obtenus sur les modules sequentiels. Bien que
moins bons que ceux obtenus pour les modules combinatoires, ces resultats sont dans
{ 117 {