Contribution à l'évaluation de l'efficacité du test fonctionnel de microprocesseurs

par Bernard Martinet

Thèse de doctorat en Informatique

Sous la direction de Raoul Velazco.

Soutenue en 1992

à Grenoble, INPG .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Dans le domaine du test de circuits complexes, a la fin des annees 70 apparait le concept de test fonctionnel : batir un test a partir seulement des fonctions realisees par le circuit en s'affranchissent completement de sa structure. La formidable evolution des microprocesseurs a mis ceux-ci au centre du debat suivant : comment realiser un test fonctionnel de tels circuits ? Bien que de nombreuses methodes de test fonctionnel de microprocesseurs aient ete proposees, un aspect important semble avoir ete neglige : la mesure de l'efficacite de ces methodes. Les rares tentatives effectuees dans ce domaine se sont basees sur un principe d'injection de fautes de collage dans des modeles de simulation du circuit a tester. Dans cette these l'efficacite du test fonctionnel est etudiee par une methode basee sur l'injection de defauts a lÕaide dÕequipements laser dans des circuits reputes bons. Le but est de constituer un echantillon realiste de circuits defectueux, possedant chacun un defaut plausible a un emplacement aleatoire. Diverses experiences realisees sur des microprocesseurs 8-bits et 16-bits du commerce (Motorola 6800 et 68000) sont presentees et permettent de tirer des conclusions sur la methode d'injection de defauts et sur l'efficacite du test fonctionnel par rapport a celle du test structurel du fabricant. Ceci aboutit a l'identification de ce qui est le role veritable du test fonctionnel pour les circuits complexes : l'aide a la validation de conception et au diagnostic

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (XXIV -174 p.)

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS 92/INPG/0172
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1992-MAR
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.