FRINK Linked Data Fragments server

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

• W13716531 abstract "A combinational circuit can be tested for the presence of a single stuck-at fault by applying a set of inputs that excite a verifiable output response in that circuit. If the fault is present, the output will be different than it would be if the fault were not present. Given a circuit, the goal of an automatic test pattern generating system is to generate a set of input sets that will detect every possible single stuck-at fault in the circuit.This dissertation describes a new method for generating test patterns: the Boolean satisfiability method. The new method generates test patterns in two steps: First, it constructs a formula expressing the Boolean difference between the unfaulted and faulted circuits. Second, it applies a Boolean satisfiability algorithm to the resulting formula. This approach differs from most programs now in use, which directly search the circuit data structure instead of constructing a formula from it. The new method is quite general and allows for the addition of any heuristic used by the structural search methods. The Boolean satisfiability method has produced excellent results on popular test pattern generation benchmarks." @default.
• W13716531 created "2016-06-24" @default.
• W13716531 creator A5047256192 @default.
• W13716531 date "1990-01-01" @default.
• W13716531 modified "2023-09-23" @default.
• W13716531 title "Efficient generation of test patterns using Boolean satisfiability" @default.
• W13716531 cites W1483338234 @default.
• W13716531 cites W1548951997 @default.
• W13716531 cites W1583437159 @default.
• W13716531 cites W1677852443 @default.
• W13716531 cites W1906914439 @default.
• W13716531 cites W1971660842 @default.
• W13716531 cites W1993492456 @default.
• W13716531 cites W2004437077 @default.
• W13716531 cites W2021492392 @default.
• W13716531 cites W2036265926 @default.
• W13716531 cites W2048712467 @default.
• W13716531 cites W2052815272 @default.
• W13716531 cites W2066974842 @default.
• W13716531 cites W2080498731 @default.
• W13716531 cites W2096733429 @default.
• W13716531 cites W2111994103 @default.
• W13716531 cites W2113101477 @default.
• W13716531 cites W2131391640 @default.
• W13716531 cites W2135068030 @default.
• W13716531 cites W2149107969 @default.
• W13716531 cites W2155778075 @default.
• W13716531 cites W2173124859 @default.
• W13716531 hasPublicationYear "1990" @default.
• W13716531 type Work @default.
• W13716531 sameAs 13716531 @default.
• W13716531 citedByCount "21" @default.
• W13716531 countsByYear W137165312012 @default.
• W13716531 crossrefType "journal-article" @default.
• W13716531 hasAuthorship W13716531A5047256192 @default.
• W13716531 hasConcept C111797529 @default.
• W13716531 hasConcept C11413529 @default.
• W13716531 hasConcept C119599485 @default.
• W13716531 hasConcept C126953365 @default.
• W13716531 hasConcept C127413603 @default.
• W13716531 hasConcept C131017901 @default.
• W13716531 hasConcept C134146338 @default.
• W13716531 hasConcept C136119220 @default.
• W13716531 hasConcept C141796577 @default.
• W13716531 hasConcept C154945302 @default.
• W13716531 hasConcept C158465420 @default.
• W13716531 hasConcept C168773769 @default.
• W13716531 hasConcept C169171071 @default.
• W13716531 hasConcept C173801870 @default.
• W13716531 hasConcept C17626397 @default.
• W13716531 hasConcept C177264268 @default.
• W13716531 hasConcept C187455244 @default.
• W13716531 hasConcept C196836630 @default.
• W13716531 hasConcept C199360897 @default.
• W13716531 hasConcept C200415742 @default.
• W13716531 hasConcept C202444582 @default.
• W13716531 hasConcept C207764348 @default.
• W13716531 hasConcept C33923547 @default.
• W13716531 hasConcept C41008148 @default.
• W13716531 hasConcept C6943359 @default.
• W13716531 hasConcept C81409106 @default.
• W13716531 hasConcept C9429942 @default.
• W13716531 hasConcept C94992772 @default.
• W13716531 hasConceptScore W13716531C111797529 @default.
• W13716531 hasConceptScore W13716531C11413529 @default.
• W13716531 hasConceptScore W13716531C119599485 @default.
• W13716531 hasConceptScore W13716531C126953365 @default.
• W13716531 hasConceptScore W13716531C127413603 @default.
• W13716531 hasConceptScore W13716531C131017901 @default.
• W13716531 hasConceptScore W13716531C134146338 @default.
• W13716531 hasConceptScore W13716531C136119220 @default.
• W13716531 hasConceptScore W13716531C141796577 @default.
• W13716531 hasConceptScore W13716531C154945302 @default.
• W13716531 hasConceptScore W13716531C158465420 @default.
• W13716531 hasConceptScore W13716531C168773769 @default.
• W13716531 hasConceptScore W13716531C169171071 @default.
• W13716531 hasConceptScore W13716531C173801870 @default.
• W13716531 hasConceptScore W13716531C17626397 @default.
• W13716531 hasConceptScore W13716531C177264268 @default.
• W13716531 hasConceptScore W13716531C187455244 @default.
• W13716531 hasConceptScore W13716531C196836630 @default.
• W13716531 hasConceptScore W13716531C199360897 @default.
• W13716531 hasConceptScore W13716531C200415742 @default.
• W13716531 hasConceptScore W13716531C202444582 @default.
• W13716531 hasConceptScore W13716531C207764348 @default.
• W13716531 hasConceptScore W13716531C33923547 @default.
• W13716531 hasConceptScore W13716531C41008148 @default.
• W13716531 hasConceptScore W13716531C6943359 @default.
• W13716531 hasConceptScore W13716531C81409106 @default.
• W13716531 hasConceptScore W13716531C9429942 @default.
• W13716531 hasConceptScore W13716531C94992772 @default.
• W13716531 hasLocation W137165311 @default.
• W13716531 hasOpenAccess W13716531 @default.
• W13716531 hasPrimaryLocation W137165311 @default.
• W13716531 hasRelatedWork W1485493958 @default.
• W13716531 hasRelatedWork W1511922765 @default.
• W13716531 hasRelatedWork W1546109728 @default.
• W13716531 hasRelatedWork W1554885925 @default.
• W13716531 hasRelatedWork W1556434751 @default.
• W13716531 hasRelatedWork W1667614912 @default.

• next