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

Chapitre 7
Experimentations et resultats
7.1 Introduction
Pour evaluer l'ecacite de notre outil, nous avons procede a des essais sur des
circuits. Ces essais concernent les divers modules de l'outil. Nous avons choisi a cet
eet de realiser les tests sur les circuits utilises usuellement pour la validation des
methodes de test. Il s'agit des benchmarks de la session ISCAS'85 pour les systemes
combinatoires, et ceux de la session ISCAS'89 pour les modules sequentiels.
Circuit # portes #entrees # sorties Couverture (%)
C17 6 5 2 100
C432NR 1 157 36 7 100
C499 202 41 32 100
C880 383 60 26 100
C1355NR 1 546 41 32 100
C1908NR 1 878 33 25 100
C2670NR 1 961 157 63 100
C3540NR 1 1620 50 22 100
C5315 2307 178 123 100
C6288 2406 32 32 100
C7552NR 1 3397 206 107 100
1 NR : Non Redondant
Tableau 7.1: Caracteristiques des circuits combinatoires utilises
{ 111 {