Simulation de pannes temporelles dans les circuits séquentiels

par Philippe Cavallera

Thèse de doctorat en Automatique, traitement du signal et génie informatique

Sous la direction de PHILIPPE PRAVOSSOUDOVITCH.

Soutenue en 1997

à Montpellier 2 .


  • Résumé

    Les pannes temporelles, ou pannes de delai, modelisent des defauts physiques ou de conception qui perturbent le fonctionnement normal des circuits uniquement a frequence elevee. Cette these propose de realiser la simulation de pannes temporelles dans les circuits sequentiels. Les phenomenes produits par une panne temporelle sont differents suivant que l'on considere la partie combinatoire comme etant le siege d'une erreur, ou une erreur ayant transite par un element de memorisation. Pour les circuits sequentiels qui ne possedent pas d'architecture specifique qui permette de se ramener a l'etude d'un circuit combinatoire (architecture scan), il est necessaire de propager pendant plusieurs cycles d'horloges les effets d'une panne apres son activation avant qu'elle n'apparaisse en sortie. La methode mise en place pour simuler les pannes de delai internes a un bloc combinatoire fait appel a une technique implicite basee sur le principe du trace de chemin critique. Cette approche permet de determiner rapidement et simplement l'ensemble des pannes detectees par une paire de vecteurs de test donnee. Pour propager les erreurs logiques qui resultent de l'activation des pannes dans un bloc combinatoire, nous avons developpe une technique basee sur le principe de la simulation deductive. Cette approche permet de propager simplement, non seulement le site, mais aussi les informations temporelles relatives a la detection des pannes de delai

  • Titre traduit

    Delay fault simulation in sequential networks


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 160 p
  • Annexes : Bibliogr.: p. 155-159 - Liste des publications de l'auteur p. 160

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Bibliothèque interuniversitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TS 97.MON-43

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.
  • Accessible pour le PEB
  • Cote : MF-1997-CAV
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.