FRINK Linked Data Fragments server

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

• W2099675301 endingPage "441" @default.
• W2099675301 startingPage "436" @default.
• W2099675301 abstract "Unknown (X) values may emerge during the design process as well as during system operation and test application. Sources of X-values are for example black boxes, clock-domain boundaries, analog-to-digital converters, or uncontrolled or uninitialized sequential elements.To compute a detecting pattern for a given stuck-at fault, well defined logic values are required both for fault activation as well as for fault effect propagation to observing outputs. In presence of X-values, classical test generation algorithms, based on topological algorithms or formal Boolean satisfiability (SAT) or BDD-based reasoning, may fail to generate testing patterns or to prove faults untestable.This work proposes the first efficient stuck-at fault ATPG algorithm able to prove testability or untestability of faults in presence of X-values. It overcomes the principal inaccuracy and pessimism of classical algorithms when X-values are considered. This accuracy is achieved by mapping the test generation problem to an instance of quantified Boolean formula (QBF) satisfiability. The resulting fault coverage improvement is shown by experimental results on ISCAS benchmark and larger industrial circuits." @default.
• W2099675301 created "2016-06-24" @default.
• W2099675301 creator A5008775226 @default.
• W2099675301 creator A5038861833 @default.
• W2099675301 creator A5058173647 @default.
• W2099675301 creator A5059706318 @default.
• W2099675301 creator A5070176716 @default.
• W2099675301 date "2013-03-18" @default.
• W2099675301 modified "2023-09-23" @default.
• W2099675301 title "Accurate QBF-based test pattern generation in presence of unknown values" @default.
• W2099675301 cites W1496518193 @default.
• W2099675301 cites W1561543482 @default.
• W2099675301 cites W1605798759 @default.
• W2099675301 cites W1612810659 @default.
• W2099675301 cites W1836852804 @default.
• W2099675301 cites W1840416799 @default.
• W2099675301 cites W1963606877 @default.
• W2099675301 cites W1998084650 @default.
• W2099675301 cites W2005573219 @default.
• W2099675301 cites W2011039300 @default.
• W2099675301 cites W2026731014 @default.
• W2099675301 cites W2031984241 @default.
• W2099675301 cites W2036265926 @default.
• W2099675301 cites W2044427141 @default.
• W2099675301 cites W2046707229 @default.
• W2099675301 cites W2065005875 @default.
• W2099675301 cites W2089455823 @default.
• W2099675301 cites W2093544990 @default.
• W2099675301 cites W2099101936 @default.
• W2099675301 cites W2101225425 @default.
• W2099675301 cites W2103375392 @default.
• W2099675301 cites W2107645502 @default.
• W2099675301 cites W2108681270 @default.
• W2099675301 cites W2111994103 @default.
• W2099675301 cites W2115220706 @default.
• W2099675301 cites W2124690755 @default.
• W2099675301 cites W2133527541 @default.
• W2099675301 cites W2135613306 @default.
• W2099675301 cites W2139048240 @default.
• W2099675301 cites W2146148755 @default.
• W2099675301 cites W2149107969 @default.
• W2099675301 cites W2154318861 @default.
• W2099675301 cites W2160444875 @default.
• W2099675301 cites W2169468177 @default.
• W2099675301 cites W2169784877 @default.
• W2099675301 cites W2173124859 @default.
• W2099675301 cites W2186307619 @default.
• W2099675301 cites W2989588497 @default.
• W2099675301 cites W3714799 @default.
• W2099675301 cites W2001290765 @default.
• W2099675301 cites W2122347052 @default.
• W2099675301 cites W2516150756 @default.
• W2099675301 doi "https://doi.org/10.5555/2485288.2485393" @default.
• W2099675301 hasPublicationYear "2013" @default.
• W2099675301 type Work @default.
• W2099675301 sameAs 2099675301 @default.
• W2099675301 citedByCount "4" @default.
• W2099675301 countsByYear W20996753012013 @default.
• W2099675301 countsByYear W20996753012014 @default.
• W2099675301 countsByYear W20996753012015 @default.
• W2099675301 countsByYear W20996753012018 @default.
• W2099675301 crossrefType "proceedings-article" @default.
• W2099675301 hasAuthorship W2099675301A5008775226 @default.
• W2099675301 hasAuthorship W2099675301A5038861833 @default.
• W2099675301 hasAuthorship W2099675301A5058173647 @default.
• W2099675301 hasAuthorship W2099675301A5059706318 @default.
• W2099675301 hasAuthorship W2099675301A5070176716 @default.
• W2099675301 hasConcept C105795698 @default.
• W2099675301 hasConcept C11413529 @default.
• W2099675301 hasConcept C119599485 @default.
• W2099675301 hasConcept C126953365 @default.
• W2099675301 hasConcept C127313418 @default.
• W2099675301 hasConcept C127413603 @default.
• W2099675301 hasConcept C13280743 @default.
• W2099675301 hasConcept C134146338 @default.
• W2099675301 hasConcept C13625343 @default.
• W2099675301 hasConcept C152745839 @default.
• W2099675301 hasConcept C154945302 @default.
• W2099675301 hasConcept C165205528 @default.
• W2099675301 hasConcept C168773769 @default.
• W2099675301 hasConcept C172707124 @default.
• W2099675301 hasConcept C175551986 @default.
• W2099675301 hasConcept C17626397 @default.
• W2099675301 hasConcept C185798385 @default.
• W2099675301 hasConcept C200415742 @default.
• W2099675301 hasConcept C205649164 @default.
• W2099675301 hasConcept C33923547 @default.
• W2099675301 hasConcept C41008148 @default.
• W2099675301 hasConcept C51234621 @default.
• W2099675301 hasConcept C6943359 @default.
• W2099675301 hasConcept C81843906 @default.
• W2099675301 hasConceptScore W2099675301C105795698 @default.
• W2099675301 hasConceptScore W2099675301C11413529 @default.
• W2099675301 hasConceptScore W2099675301C119599485 @default.
• W2099675301 hasConceptScore W2099675301C126953365 @default.
• W2099675301 hasConceptScore W2099675301C127313418 @default.
• W2099675301 hasConceptScore W2099675301C127413603 @default.
• W2099675301 hasConceptScore W2099675301C13280743 @default.

• next