FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1603714416> ?p ?o ?g. }

• W1603714416 abstract "High-level descriptions of digital systems are perturbed by using high-level fault models in order to perform functional verification. Fault lists should be accurately created in order to avoid waste of time during ATPG and fault simulation. However, automatic fault injection tools can insert redundant faults which are not symptoms of design errors. Such redundant faults should be removed from the fault list before starting the verification session. This paper proposes an automatic strategy for high-level faults injection, which removes redundant bit coverage faults. An efficient implementation of a bit coverage saboteur is proposed, which allows one to use synthesis for redundant faults removal. Experimental results highlight the effectiveness of the methodology. By using the proposed injection strategy, functional APTG time is reduced and fault coverage is increased." @default.
• W1603714416 created "2016-06-24" @default.
• W1603714416 creator A5023565015 @default.
• W1603714416 creator A5025088388 @default.
• W1603714416 creator A5040302302 @default.
• W1603714416 date "2004-03-30" @default.
• W1603714416 modified "2023-09-27" @default.
• W1603714416 title "Redundant functional faults reduction by saboteurs synthesis [logic verification]" @default.
• W1603714416 cites W1497434308 @default.
• W1603714416 cites W1567413682 @default.
• W1603714416 cites W2076273505 @default.
• W1603714416 cites W2078065502 @default.
• W1603714416 cites W2080147108 @default.
• W1603714416 cites W2098513789 @default.
• W1603714416 cites W2109951594 @default.
• W1603714416 cites W2123329891 @default.
• W1603714416 cites W2129998589 @default.
• W1603714416 cites W2133867898 @default.
• W1603714416 cites W2137064798 @default.
• W1603714416 cites W2150764159 @default.
• W1603714416 cites W2151723639 @default.
• W1603714416 cites W2161285332 @default.
• W1603714416 cites W2169762009 @default.
• W1603714416 cites W2537440096 @default.
• W1603714416 cites W3010856131 @default.
• W1603714416 doi "https://doi.org/10.1109/hldvt.2003.1252483" @default.
• W1603714416 hasPublicationYear "2004" @default.
• W1603714416 type Work @default.
• W1603714416 sameAs 1603714416 @default.
• W1603714416 citedByCount "4" @default.
• W1603714416 crossrefType "proceedings-article" @default.
• W1603714416 hasAuthorship W1603714416A5023565015 @default.
• W1603714416 hasAuthorship W1603714416A5025088388 @default.
• W1603714416 hasAuthorship W1603714416A5040302302 @default.
• W1603714416 hasConcept C111335779 @default.
• W1603714416 hasConcept C111498074 @default.
• W1603714416 hasConcept C111919701 @default.
• W1603714416 hasConcept C113775141 @default.
• W1603714416 hasConcept C11413529 @default.
• W1603714416 hasConcept C119599485 @default.
• W1603714416 hasConcept C126953365 @default.
• W1603714416 hasConcept C127313418 @default.
• W1603714416 hasConcept C127413603 @default.
• W1603714416 hasConcept C134146338 @default.
• W1603714416 hasConcept C13625343 @default.
• W1603714416 hasConcept C136764020 @default.
• W1603714416 hasConcept C149635348 @default.
• W1603714416 hasConcept C152124472 @default.
• W1603714416 hasConcept C152745839 @default.
• W1603714416 hasConcept C154945302 @default.
• W1603714416 hasConcept C165205528 @default.
• W1603714416 hasConcept C167391956 @default.
• W1603714416 hasConcept C172707124 @default.
• W1603714416 hasConcept C175551986 @default.
• W1603714416 hasConcept C17626397 @default.
• W1603714416 hasConcept C199360897 @default.
• W1603714416 hasConcept C200601418 @default.
• W1603714416 hasConcept C2524010 @default.
• W1603714416 hasConcept C2775928411 @default.
• W1603714416 hasConcept C2777904410 @default.
• W1603714416 hasConcept C2779182362 @default.
• W1603714416 hasConcept C33923547 @default.
• W1603714416 hasConcept C41008148 @default.
• W1603714416 hasConcept C62460635 @default.
• W1603714416 hasConceptScore W1603714416C111335779 @default.
• W1603714416 hasConceptScore W1603714416C111498074 @default.
• W1603714416 hasConceptScore W1603714416C111919701 @default.
• W1603714416 hasConceptScore W1603714416C113775141 @default.
• W1603714416 hasConceptScore W1603714416C11413529 @default.
• W1603714416 hasConceptScore W1603714416C119599485 @default.
• W1603714416 hasConceptScore W1603714416C126953365 @default.
• W1603714416 hasConceptScore W1603714416C127313418 @default.
• W1603714416 hasConceptScore W1603714416C127413603 @default.
• W1603714416 hasConceptScore W1603714416C134146338 @default.
• W1603714416 hasConceptScore W1603714416C13625343 @default.
• W1603714416 hasConceptScore W1603714416C136764020 @default.
• W1603714416 hasConceptScore W1603714416C149635348 @default.
• W1603714416 hasConceptScore W1603714416C152124472 @default.
• W1603714416 hasConceptScore W1603714416C152745839 @default.
• W1603714416 hasConceptScore W1603714416C154945302 @default.
• W1603714416 hasConceptScore W1603714416C165205528 @default.
• W1603714416 hasConceptScore W1603714416C167391956 @default.
• W1603714416 hasConceptScore W1603714416C172707124 @default.
• W1603714416 hasConceptScore W1603714416C175551986 @default.
• W1603714416 hasConceptScore W1603714416C17626397 @default.
• W1603714416 hasConceptScore W1603714416C199360897 @default.
• W1603714416 hasConceptScore W1603714416C200601418 @default.
• W1603714416 hasConceptScore W1603714416C2524010 @default.
• W1603714416 hasConceptScore W1603714416C2775928411 @default.
• W1603714416 hasConceptScore W1603714416C2777904410 @default.
• W1603714416 hasConceptScore W1603714416C2779182362 @default.
• W1603714416 hasConceptScore W1603714416C33923547 @default.
• W1603714416 hasConceptScore W1603714416C41008148 @default.
• W1603714416 hasConceptScore W1603714416C62460635 @default.
• W1603714416 hasLocation W16037144161 @default.
• W1603714416 hasOpenAccess W1603714416 @default.
• W1603714416 hasPrimaryLocation W16037144161 @default.
• W1603714416 hasRelatedWork W1537902841 @default.
• W1603714416 hasRelatedWork W1828805207 @default.
• W1603714416 hasRelatedWork W1836488205 @default.

• next