Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156423392> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2156423392 abstract "Automatic test pattern generation (ATPG) is one of the core problems in testing of digital circuits. ATPG algorithms based on Boolean Satisfiability (SAT) turned out to be very powerful, due to recent advances in SAT- based proof engines. SAT-based ATPG clearly outperforms classical approaches especially for hard-to-detect faults. But due to the SAT provers, a major drawback of the resulting test patterns is that a large number of input bits is specified. Thus, the resulting patterns are not well suited Automatic Test Pattern Generation (ATPG) is one of the core problems in testing of digital circuits. ATPG algorithms based on Boolean Satisfiability (SAT) turned out to be very powerful, due to recent advances in SAT- based proof engines. SAT-based ATPG clearly outperforms classical approaches especially for hard-to-detect faults. But due to the SAT provers, a major drawback of the resulting test patterns is that a large number of input bits is specified. Thus, the resulting patterns are not well suited for test compaction and compression. In this paper we present techniques to increase the number of unspecified bits in test patterns generated by SAT-based ATPG tools. We make use of structural properties of the circuit and apply local don't cares. Experimental results on industrial designs show significant reductions of up to 97% for test compaction and compression. In this paper we present techniques to increase the number of unspecified bits in test patterns generated by SAT-based ATPG tools. We make use of structural properties of the circuit and apply local don't cares. Experimental results on industrial designs show significant reductions of up to 97%." @default.
- W2156423392 created "2016-06-24" @default.
- W2156423392 creator A5071742136 @default.
- W2156423392 creator A5074786247 @default.
- W2156423392 date "2007-10-01" @default.
- W2156423392 modified "2023-09-25" @default.
- W2156423392 title "Improving Test Pattern Compactness in SAT-based ATPG" @default.
- W2156423392 cites W2044560939 @default.
- W2156423392 cites W2057361103 @default.
- W2156423392 cites W2062897452 @default.
- W2156423392 cites W2103666047 @default.
- W2156423392 cites W2111994103 @default.
- W2156423392 cites W2112886407 @default.
- W2156423392 cites W2115844929 @default.
- W2156423392 cites W2123349422 @default.
- W2156423392 cites W2135613306 @default.
- W2156423392 cites W2146543035 @default.
- W2156423392 cites W2149107969 @default.
- W2156423392 cites W2160444875 @default.
- W2156423392 cites W2169629243 @default.
- W2156423392 cites W2173124859 @default.
- W2156423392 cites W4230233658 @default.
- W2156423392 doi "https://doi.org/10.1109/ats.2007.14" @default.
- W2156423392 hasPublicationYear "2007" @default.
- W2156423392 type Work @default.
- W2156423392 sameAs 2156423392 @default.
- W2156423392 citedByCount "18" @default.
- W2156423392 countsByYear W21564233922013 @default.
- W2156423392 countsByYear W21564233922014 @default.
- W2156423392 countsByYear W21564233922017 @default.
- W2156423392 countsByYear W21564233922022 @default.
- W2156423392 countsByYear W21564233922023 @default.
- W2156423392 crossrefType "proceedings-article" @default.
- W2156423392 hasAuthorship W2156423392A5071742136 @default.
- W2156423392 hasAuthorship W2156423392A5074786247 @default.
- W2156423392 hasBestOaLocation W21564233922 @default.
- W2156423392 hasConcept C11413529 @default.
- W2156423392 hasConcept C118524514 @default.
- W2156423392 hasConcept C119599485 @default.
- W2156423392 hasConcept C127413603 @default.
- W2156423392 hasConcept C134146338 @default.
- W2156423392 hasConcept C151730666 @default.
- W2156423392 hasConcept C173608175 @default.
- W2156423392 hasConcept C17626397 @default.
- W2156423392 hasConcept C18648836 @default.
- W2156423392 hasConcept C202444582 @default.
- W2156423392 hasConcept C2777267654 @default.
- W2156423392 hasConcept C33923547 @default.
- W2156423392 hasConcept C41008148 @default.
- W2156423392 hasConcept C86803240 @default.
- W2156423392 hasConcept C94375191 @default.
- W2156423392 hasConceptScore W2156423392C11413529 @default.
- W2156423392 hasConceptScore W2156423392C118524514 @default.
- W2156423392 hasConceptScore W2156423392C119599485 @default.
- W2156423392 hasConceptScore W2156423392C127413603 @default.
- W2156423392 hasConceptScore W2156423392C134146338 @default.
- W2156423392 hasConceptScore W2156423392C151730666 @default.
- W2156423392 hasConceptScore W2156423392C173608175 @default.
- W2156423392 hasConceptScore W2156423392C17626397 @default.
- W2156423392 hasConceptScore W2156423392C18648836 @default.
- W2156423392 hasConceptScore W2156423392C202444582 @default.
- W2156423392 hasConceptScore W2156423392C2777267654 @default.
- W2156423392 hasConceptScore W2156423392C33923547 @default.
- W2156423392 hasConceptScore W2156423392C41008148 @default.
- W2156423392 hasConceptScore W2156423392C86803240 @default.
- W2156423392 hasConceptScore W2156423392C94375191 @default.
- W2156423392 hasLocation W21564233921 @default.
- W2156423392 hasLocation W21564233922 @default.
- W2156423392 hasOpenAccess W2156423392 @default.
- W2156423392 hasPrimaryLocation W21564233921 @default.
- W2156423392 hasRelatedWork W1491899005 @default.
- W2156423392 hasRelatedWork W1558545464 @default.
- W2156423392 hasRelatedWork W1604898313 @default.
- W2156423392 hasRelatedWork W1997145140 @default.
- W2156423392 hasRelatedWork W2034384303 @default.
- W2156423392 hasRelatedWork W2074301136 @default.
- W2156423392 hasRelatedWork W2117014006 @default.
- W2156423392 hasRelatedWork W2172791042 @default.
- W2156423392 hasRelatedWork W2372170743 @default.
- W2156423392 hasRelatedWork W4233815414 @default.
- W2156423392 isParatext "false" @default.
- W2156423392 isRetracted "false" @default.
- W2156423392 magId "2156423392" @default.
- W2156423392 workType "article" @default.