Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149684986> ?p ?o ?g. }
- W2149684986 abstract "Fault simulation for synchronous sequential circuits is a very time-consuming task. The complexity of the task increases if there is no information available about the initial state of the circuit. In this case, an unknown initial state is assumed which is usually handled by introducing a three-valued logic. It is known that fault simulation based upon this logic only determines a lower bound for the fault coverage achieved by a test sequence. Therefore, we developed a hybrid fault simulator H-FS combining the advantages of a fault simulator using the three-valued logic and of an exact symbolic fault simulator based upon binary decision diagrams. H-FS is able to handle even the largest benchmark circuits and thereby determines fault coverages much more accurately than previous algorithms using the three-valued logic." @default.
- W2149684986 created "2016-06-24" @default.
- W2149684986 creator A5019406427 @default.
- W2149684986 creator A5038861833 @default.
- W2149684986 creator A5040538691 @default.
- W2149684986 date "2002-12-17" @default.
- W2149684986 modified "2023-09-27" @default.
- W2149684986 title "A hybrid fault simulator for synchronous sequential circuits" @default.
- W2149684986 cites W1488876988 @default.
- W2149684986 cites W1543281322 @default.
- W2149684986 cites W1573287909 @default.
- W2149684986 cites W1826035130 @default.
- W2149684986 cites W1827451039 @default.
- W2149684986 cites W1869912714 @default.
- W2149684986 cites W1899662483 @default.
- W2149684986 cites W195802975 @default.
- W2149684986 cites W1983621102 @default.
- W2149684986 cites W1986875761 @default.
- W2149684986 cites W2011039300 @default.
- W2149684986 cites W2080267935 @default.
- W2149684986 cites W2099644337 @default.
- W2149684986 cites W2114179588 @default.
- W2149684986 cites W2118032958 @default.
- W2149684986 cites W2135453964 @default.
- W2149684986 cites W2152406824 @default.
- W2149684986 cites W2160996551 @default.
- W2149684986 cites W2168881618 @default.
- W2149684986 cites W2171054587 @default.
- W2149684986 cites W74463220 @default.
- W2149684986 cites W2144804703 @default.
- W2149684986 doi "https://doi.org/10.1109/test.1994.528006" @default.
- W2149684986 hasPublicationYear "2002" @default.
- W2149684986 type Work @default.
- W2149684986 sameAs 2149684986 @default.
- W2149684986 citedByCount "16" @default.
- W2149684986 crossrefType "proceedings-article" @default.
- W2149684986 hasAuthorship W2149684986A5019406427 @default.
- W2149684986 hasAuthorship W2149684986A5038861833 @default.
- W2149684986 hasAuthorship W2149684986A5040538691 @default.
- W2149684986 hasConcept C113775141 @default.
- W2149684986 hasConcept C11413529 @default.
- W2149684986 hasConcept C119599485 @default.
- W2149684986 hasConcept C126953365 @default.
- W2149684986 hasConcept C127313418 @default.
- W2149684986 hasConcept C127413603 @default.
- W2149684986 hasConcept C131017901 @default.
- W2149684986 hasConcept C13280743 @default.
- W2149684986 hasConcept C134146338 @default.
- W2149684986 hasConcept C13625343 @default.
- W2149684986 hasConcept C152745839 @default.
- W2149684986 hasConcept C154945302 @default.
- W2149684986 hasConcept C165205528 @default.
- W2149684986 hasConcept C167391956 @default.
- W2149684986 hasConcept C172707124 @default.
- W2149684986 hasConcept C175551986 @default.
- W2149684986 hasConcept C17626397 @default.
- W2149684986 hasConcept C185798385 @default.
- W2149684986 hasConcept C187075797 @default.
- W2149684986 hasConcept C199360897 @default.
- W2149684986 hasConcept C201995342 @default.
- W2149684986 hasConcept C205649164 @default.
- W2149684986 hasConcept C2775928411 @default.
- W2149684986 hasConcept C2776365744 @default.
- W2149684986 hasConcept C2777904410 @default.
- W2149684986 hasConcept C2780451532 @default.
- W2149684986 hasConcept C3309909 @default.
- W2149684986 hasConcept C41008148 @default.
- W2149684986 hasConcept C48103436 @default.
- W2149684986 hasConcept C64859876 @default.
- W2149684986 hasConceptScore W2149684986C113775141 @default.
- W2149684986 hasConceptScore W2149684986C11413529 @default.
- W2149684986 hasConceptScore W2149684986C119599485 @default.
- W2149684986 hasConceptScore W2149684986C126953365 @default.
- W2149684986 hasConceptScore W2149684986C127313418 @default.
- W2149684986 hasConceptScore W2149684986C127413603 @default.
- W2149684986 hasConceptScore W2149684986C131017901 @default.
- W2149684986 hasConceptScore W2149684986C13280743 @default.
- W2149684986 hasConceptScore W2149684986C134146338 @default.
- W2149684986 hasConceptScore W2149684986C13625343 @default.
- W2149684986 hasConceptScore W2149684986C152745839 @default.
- W2149684986 hasConceptScore W2149684986C154945302 @default.
- W2149684986 hasConceptScore W2149684986C165205528 @default.
- W2149684986 hasConceptScore W2149684986C167391956 @default.
- W2149684986 hasConceptScore W2149684986C172707124 @default.
- W2149684986 hasConceptScore W2149684986C175551986 @default.
- W2149684986 hasConceptScore W2149684986C17626397 @default.
- W2149684986 hasConceptScore W2149684986C185798385 @default.
- W2149684986 hasConceptScore W2149684986C187075797 @default.
- W2149684986 hasConceptScore W2149684986C199360897 @default.
- W2149684986 hasConceptScore W2149684986C201995342 @default.
- W2149684986 hasConceptScore W2149684986C205649164 @default.
- W2149684986 hasConceptScore W2149684986C2775928411 @default.
- W2149684986 hasConceptScore W2149684986C2776365744 @default.
- W2149684986 hasConceptScore W2149684986C2777904410 @default.
- W2149684986 hasConceptScore W2149684986C2780451532 @default.
- W2149684986 hasConceptScore W2149684986C3309909 @default.
- W2149684986 hasConceptScore W2149684986C41008148 @default.
- W2149684986 hasConceptScore W2149684986C48103436 @default.
- W2149684986 hasConceptScore W2149684986C64859876 @default.
- W2149684986 hasLocation W21496849861 @default.