Diagnostic et simulation de pannes temporelles dans les circuits digitaux

par David Dumas

Thèse de doctorat en Informatique, automatique et traitement du signal

Sous la direction de Serge Pravossoudovitch.

Soutenue en 1994

à Montpellier 2 .


  • Résumé

    Cette etude se situe dans le cadre de la simulation et du diagnostic de pannes temporelles dans les circuits integres digitaux. Si ces operations sont parfaitement maitrisees pour des pannes fonctionnelles franches, elles posent un certain nombre de problemes pour les pannes temporelles. Ces pannes temporelles modelisent les defauts physiques ou les defauts de conception produisant des dysfonctionnements logiques a haute frequence uniquement. L'objet de cette these est le developpement d'une methode efficace de simulation de pannes temporelles, et l'amelioration d'une methode de diagnostic developpee precedemment. L'adaptation de l'algorithme de tracage de chemins critiques a permis de proposer dans une premiere etape, une methode de simulation de pannes de transitions. L'exploitation d'informations temporelles a permis de developper une methode de calcul du seuil de detection des pannes. La methode de simulation integrant ce calcul, traite donc un modele de pannes quantitatif prenant en compte la valeur du retard introduit par les pannes. Grace au calcul du seuil de detection et au developpement d'une methode d'ajustement dynamique de l'instant d'observation des sorties, le processus de diagnostic a pu etre ameliore, en terme d'informations complementaires et de precision dans la localisation de l'element defectueux

  • Titre traduit

    Diagnosis and simulation of delay faults in digital circuits


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 116 f
  • Annexes : Bibliogr.: f. 103-107

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Bibliothèque universitaire Sciences et techniques (Montpellier).
  • Accessible pour le PEB
  • Bibliothèque : Bibliothèque universitaire Sciences et techniques (Montpellier).
  • Disponible pour le PEB
  • Cote : TS 94.MON-177

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1994-DUM
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.