Matches in SemOpenAlex for { <https://semopenalex.org/work/W100143835> ?p ?o ?g. }
Showing items 1 to 23 of
23
with 100 items per page.
- W100143835 abstract "Le diagnostic automatique des erreurs de conception est un probleme important dans le domaine de la CAO. Bien que des outils automatises de synthese soient employes pour generer des structures de circuits correctes-par-construction, celles-ci sont souvent modifiees manuellement pour refleter des petites modifications faites sur la specification, ou pour ameliorer certaines caracteristiques critiques de la conception. Les outils de verification peuvent reveler l'existence d'erreurs, mais ils ne donnent aucune information sur leurs emplacements ou la facon de les corriger. Ces outils generent seulement quelques contres-exemples qui mettent en evidence l'erreur. Les concepteurs utilisent ces contre-exemples pour diagnostiquer manuellement leur conception. Le diagnostic manuel est un processus tres lent et tres couteux. Le temps de diagnostic peut etre egal, voire superieur, au temps de conception. Nous presentons dans cette these de nouveaux algorithmes pour la localisation et la correction automatique des erreurs simples de conception dans les circuits logiques sous l'hypothese d'une seule erreur. Les erreurs traitees ici sont : le remplacement d'un composant dans les circuits combinatoires et sequentiels, et une erreur de connexion dans les circuits combinatoires. Le modele d'une seule erreur exige une strategie de verification frequente, dans laquelle la conception est verifiee apres chaque modification, pour que la probabilite d'insertion de plus d'une erreur ne soit pas trop elevee. Notre approche consiste a simuler et analyser automatiquement le circuit sous l'application de vecteurs de test que nous produisons specialement pour accelerer le diagnostic. Nous avons realise 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 sequentiels. Ces outils sont actuellement integres dans l'environnement de preuves PREVAIL." @default.
- W100143835 created "2016-06-24" @default.
- W100143835 creator A5003605510 @default.
- W100143835 date "1997-05-07" @default.
- W100143835 modified "2023-09-26" @default.
- W100143835 title "Diagnostic des erreurs de conception dans les circuits digitaux : le cas des erreurs simples" @default.
- W100143835 hasPublicationYear "1997" @default.
- W100143835 type Work @default.
- W100143835 sameAs 100143835 @default.
- W100143835 citedByCount "1" @default.
- W100143835 crossrefType "dissertation" @default.
- W100143835 hasAuthorship W100143835A5003605510 @default.
- W100143835 hasConcept C138885662 @default.
- W100143835 hasConcept C15708023 @default.
- W100143835 hasConceptScore W100143835C138885662 @default.
- W100143835 hasConceptScore W100143835C15708023 @default.
- W100143835 hasLocation W1001438351 @default.
- W100143835 hasOpenAccess W100143835 @default.
- W100143835 hasPrimaryLocation W1001438351 @default.
- W100143835 isParatext "false" @default.
- W100143835 isRetracted "false" @default.
- W100143835 magId "100143835" @default.
- W100143835 workType "dissertation" @default.