| Titre : | Diagnostic de pannes dans les circuits logiques : Développement d'une méthode ciblant un ensemble élargi de modèles de fautes | | Type de document : | texte imprimé | | Auteurs : | Alexandre ROUSSET, Auteur | | Année de publication : | 2008 | | Langues : | Français (fre) | | Tags : | DIAGNOSTIC DE CIRCUITS DIGITAUX - ANALYSE D'EFFET A CAUSE - TRACAGE DE CHEMINS CRITIQUES - MODELES DE DEFAILLANCE DIVERS DIAGNOSIS OF DIGITAL CIRCUITS - EFFECT-CAUSE ANALYSIS - CRITICAL PATH TRACING - VARIOUS FAULT MODELS GENIE INFORMATIQUE, AUTOMATIQUE ET TRAITEMENT DU SIGNAL | | Index. décimale : | THE Thèses de doctorat | | Résumé : | Avec l'évolution de la complexité et des performances des circuits intégrés, l'occurrence de défaillances non modélisables par de simples collages devient importante et même prépondérante. Ces effets ne sont généralement pas pris en compte par les méthodes classiques de diagnostic. Cette thèse a pour objectif le développement d'une méthode de diagnostic ciblant un ensemble élargi de modèles de fautes. La méthode de diagnostic développée est présentée dans ce manuscrit de manière progressive. Dans un premier temps, les modèles de fautes considérés sont analysés afin de dégager les conditions de sensibilisation. La deuxième partie est consacrée à la présentation globale de la méthode de diagnostic développée. Cette méthode utilise principalement une approche " Effet à Cause " basée sur le traçage de chemins critiques. La troisième partie présente l'amélioration de cette méthode pour la prise en compte de pannes à effets spécifiques. La dernière partie est consacrée à la validation de chaque étape de l'évolution de la méthode de diagnostic au travers de diverses expérimentations.
With the evolution of the complexity and performances of digital circuits, the occurrence of failures which can not be modeled by simple stuck-at faults becomes important and even preponderant. These effects are generally not taken into account by classical diagnosis methods. The purpose of this thesis is to develop a diagnosis method targeting an enlarged set of fault models. In this manuscript, the developed diagnosis method is presented in a progressive way. First, the considered fault models are analyzed in order to show the sensitization conditions. The second part is dedicated to the whole presentation of the proposed diagnosis method. This method mainly uses an "effect-cause" approach based on critical path tracing. The third part presents the improvements of this method to take into account failures which have specific effects. The last part is dedicated to the validation of the diagnosis method throughout many experimentations on benchmark circuits. | | Directeur(s) de thèse : | GIRARD P. | | Co-directeur(s) de thèse : | PRAVOSSOUDOVITCH S. | | Rapporteur(s) : | ROBACH C.;SIMEU E. | | Examinateur(s) : | BOUZAIDA L.;BOSIO A. | | Date de soutenance : | 01/04/2008 |
Diagnostic de pannes dans les circuits logiques : Développement d'une méthode ciblant un ensemble élargi de modèles de fautes [texte imprimé] / Alexandre ROUSSET, Auteur . - 2008. Langues : Français ( fre) | Tags : | DIAGNOSTIC DE CIRCUITS DIGITAUX - ANALYSE D'EFFET A CAUSE - TRACAGE DE CHEMINS CRITIQUES - MODELES DE DEFAILLANCE DIVERS DIAGNOSIS OF DIGITAL CIRCUITS - EFFECT-CAUSE ANALYSIS - CRITICAL PATH TRACING - VARIOUS FAULT MODELS GENIE INFORMATIQUE, AUTOMATIQUE ET TRAITEMENT DU SIGNAL | | Index. décimale : | THE Thèses de doctorat | | Résumé : | Avec l'évolution de la complexité et des performances des circuits intégrés, l'occurrence de défaillances non modélisables par de simples collages devient importante et même prépondérante. Ces effets ne sont généralement pas pris en compte par les méthodes classiques de diagnostic. Cette thèse a pour objectif le développement d'une méthode de diagnostic ciblant un ensemble élargi de modèles de fautes. La méthode de diagnostic développée est présentée dans ce manuscrit de manière progressive. Dans un premier temps, les modèles de fautes considérés sont analysés afin de dégager les conditions de sensibilisation. La deuxième partie est consacrée à la présentation globale de la méthode de diagnostic développée. Cette méthode utilise principalement une approche " Effet à Cause " basée sur le traçage de chemins critiques. La troisième partie présente l'amélioration de cette méthode pour la prise en compte de pannes à effets spécifiques. La dernière partie est consacrée à la validation de chaque étape de l'évolution de la méthode de diagnostic au travers de diverses expérimentations.
With the evolution of the complexity and performances of digital circuits, the occurrence of failures which can not be modeled by simple stuck-at faults becomes important and even preponderant. These effects are generally not taken into account by classical diagnosis methods. The purpose of this thesis is to develop a diagnosis method targeting an enlarged set of fault models. In this manuscript, the developed diagnosis method is presented in a progressive way. First, the considered fault models are analyzed in order to show the sensitization conditions. The second part is dedicated to the whole presentation of the proposed diagnosis method. This method mainly uses an "effect-cause" approach based on critical path tracing. The third part presents the improvements of this method to take into account failures which have specific effects. The last part is dedicated to the validation of the diagnosis method throughout many experimentations on benchmark circuits. | | Directeur(s) de thèse : | GIRARD P. | | Co-directeur(s) de thèse : | PRAVOSSOUDOVITCH S. | | Rapporteur(s) : | ROBACH C.;SIMEU E. | | Examinateur(s) : | BOUZAIDA L.;BOSIO A. | | Date de soutenance : | 01/04/2008 |
|
Affiner la recherche Interroger des sources externesDiagnostic de pannes dans les circuits logiques : Développement d'une méthode ciblant un ensemble élargi de modèles de fautes / Alexandre ROUSSET
