Matches in SemOpenAlex for { <https://semopenalex.org/work/W2001997211> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2001997211 abstract "Test pattern generation for sequential circuits benefits from scanning strategies as these allow the justification of arbitrary circuit states. However, some of these states may be unreachable during normal operation. This results in non-functional operation which may lead to abnormal circuit behaviour and result in over-testing. In this work, we present a versatile approach that combines a highly adaptable SAT-based path-enumeration algorithm with a model-checking solver for invariant properties that relies on the theory of Craig interpolants to prove the unreachability of circuit states. The method enumerates a set of longest sensitisable paths and yields test sequences of minimal length able to sensitise the found paths starting from a given circuit state. We present detailed experimental results on the reach ability of sensitisable paths in ITC 99 circuits." @default.
- W2001997211 created "2016-06-24" @default.
- W2001997211 creator A5000150539 @default.
- W2001997211 creator A5025670978 @default.
- W2001997211 creator A5038861833 @default.
- W2001997211 creator A5076096501 @default.
- W2001997211 creator A5077101123 @default.
- W2001997211 date "2012-01-01" @default.
- W2001997211 modified "2023-09-25" @default.
- W2001997211 title "Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation" @default.
- W2001997211 cites W1495266209 @default.
- W2001997211 cites W1510368738 @default.
- W2001997211 cites W1568407911 @default.
- W2001997211 cites W1650049144 @default.
- W2001997211 cites W1819209966 @default.
- W2001997211 cites W1975473829 @default.
- W2001997211 cites W1980985044 @default.
- W2001997211 cites W2021141713 @default.
- W2001997211 cites W2048373673 @default.
- W2001997211 cites W2095962074 @default.
- W2001997211 cites W2096146619 @default.
- W2001997211 cites W2098244894 @default.
- W2001997211 cites W2099120582 @default.
- W2001997211 cites W2104955033 @default.
- W2001997211 cites W2112062619 @default.
- W2001997211 cites W2130411892 @default.
- W2001997211 cites W2133527541 @default.
- W2001997211 cites W2133769728 @default.
- W2001997211 cites W2134925363 @default.
- W2001997211 cites W2135802341 @default.
- W2001997211 cites W2150670853 @default.
- W2001997211 cites W2156640787 @default.
- W2001997211 cites W2159564843 @default.
- W2001997211 cites W2164754947 @default.
- W2001997211 cites W2167682828 @default.
- W2001997211 cites W2169103267 @default.
- W2001997211 cites W2169468177 @default.
- W2001997211 doi "https://doi.org/10.1109/vlsid.2012.101" @default.
- W2001997211 hasPublicationYear "2012" @default.
- W2001997211 type Work @default.
- W2001997211 sameAs 2001997211 @default.
- W2001997211 citedByCount "5" @default.
- W2001997211 countsByYear W20019972112012 @default.
- W2001997211 countsByYear W20019972112014 @default.
- W2001997211 countsByYear W20019972112015 @default.
- W2001997211 crossrefType "proceedings-article" @default.
- W2001997211 hasAuthorship W2001997211A5000150539 @default.
- W2001997211 hasAuthorship W2001997211A5025670978 @default.
- W2001997211 hasAuthorship W2001997211A5038861833 @default.
- W2001997211 hasAuthorship W2001997211A5076096501 @default.
- W2001997211 hasAuthorship W2001997211A5077101123 @default.
- W2001997211 hasConcept C104114177 @default.
- W2001997211 hasConcept C11413529 @default.
- W2001997211 hasConcept C119599485 @default.
- W2001997211 hasConcept C127413603 @default.
- W2001997211 hasConcept C134146338 @default.
- W2001997211 hasConcept C137800194 @default.
- W2001997211 hasConcept C154945302 @default.
- W2001997211 hasConcept C169903167 @default.
- W2001997211 hasConcept C17626397 @default.
- W2001997211 hasConcept C177264268 @default.
- W2001997211 hasConcept C199360897 @default.
- W2001997211 hasConcept C2777735758 @default.
- W2001997211 hasConcept C2778770139 @default.
- W2001997211 hasConcept C41008148 @default.
- W2001997211 hasConcept C48103436 @default.
- W2001997211 hasConceptScore W2001997211C104114177 @default.
- W2001997211 hasConceptScore W2001997211C11413529 @default.
- W2001997211 hasConceptScore W2001997211C119599485 @default.
- W2001997211 hasConceptScore W2001997211C127413603 @default.
- W2001997211 hasConceptScore W2001997211C134146338 @default.
- W2001997211 hasConceptScore W2001997211C137800194 @default.
- W2001997211 hasConceptScore W2001997211C154945302 @default.
- W2001997211 hasConceptScore W2001997211C169903167 @default.
- W2001997211 hasConceptScore W2001997211C17626397 @default.
- W2001997211 hasConceptScore W2001997211C177264268 @default.
- W2001997211 hasConceptScore W2001997211C199360897 @default.
- W2001997211 hasConceptScore W2001997211C2777735758 @default.
- W2001997211 hasConceptScore W2001997211C2778770139 @default.
- W2001997211 hasConceptScore W2001997211C41008148 @default.
- W2001997211 hasConceptScore W2001997211C48103436 @default.
- W2001997211 hasLocation W20019972111 @default.
- W2001997211 hasOpenAccess W2001997211 @default.
- W2001997211 hasPrimaryLocation W20019972111 @default.
- W2001997211 hasRelatedWork W146143826 @default.
- W2001997211 hasRelatedWork W2054283397 @default.
- W2001997211 hasRelatedWork W2133005168 @default.
- W2001997211 hasRelatedWork W2134239377 @default.
- W2001997211 hasRelatedWork W2135412235 @default.
- W2001997211 hasRelatedWork W2143354328 @default.
- W2001997211 hasRelatedWork W2170656965 @default.
- W2001997211 hasRelatedWork W2341817401 @default.
- W2001997211 hasRelatedWork W2375244698 @default.
- W2001997211 hasRelatedWork W2802576204 @default.
- W2001997211 isParatext "false" @default.
- W2001997211 isRetracted "false" @default.
- W2001997211 magId "2001997211" @default.
- W2001997211 workType "article" @default.