Le diagnostic automatique des erreurs de conception est un problème important dans le domaine de la CAO. Bien que des outils automatisés de synthèse soient employés pour générer des structures de circuits "correctes-par-construction", celles-ci sont souvent modifiées manuellement pour refléter des petites<br />modifications faites sur la spécification, ou pour améliorer certaines caractéristiques critiques de la<br />conception. Les outils de vérification peuvent révéler l'existence d'erreurs, mais ils ne donnent aucune<br />information sur leurs emplacements ou la façon de les corriger. Ces outils gènèrent seulement quelques<br />contres-exemples qui mettent en évidence l'erreur. Les concepteurs utilisent ces contre-exemples pour<br />diagnostiquer manuellement leur conception. Le diagnostic manuel est un processus trés lent et trés couteux. Le temps de diagnostic peut être égal, voire supérieur, au temps de conception. Nous présentons dans cette thèse de nouveaux algorithmes pour la localisation et la correction automatique des erreurs simples de conception dans les circuits logiques sous l'hypothèse d'une seule erreur. Les erreurs traitées ici sont : le remplacement d'un composant dans les circuits combinatoires et séquentiels, et une erreur de connexion dans les circuits combinatoires. Le modèle d'une seule erreur exige une stratégie de vérification fréquente, dans laquelle la conception est verifiée après chaque modification, pour que la probabilité d'insertion de plus d'une erreur ne soit pas trop élevée. Notre approche consiste à simuler et analyser automatiquement le circuit sous l'application de vecteurs de test que nous produisons spécialement pour accélérer le diagnostic. Nous avons réalisé deux logiciels prototypes bases sur ces algorithmes. CCDS est l'outil de diagnostic pour les circuits combinatoires, et SCDS est l'outil de diagnostic pour les circuits séquentiels. Ces outils sont actuellement intégrés dans l'environnement de preuves PREVAIL.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00002994 |
| Date | 07 May 1997 |
| Creators | WAHBA, Ayman |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0023 seconds