Matches in SemOpenAlex for { <https://semopenalex.org/work/W2520739065> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2520739065 abstract "In this paper, we propose a counterexample-guided diagnosis approach to identify faults in circuit designs described as net-lists on the gate-level. Given a faulty net-list and a logic specification of the correct, intended behavior of the circuit, the diagnosis algorithm iteratively computes the exact set of fault candidates, i.e., a subset of the circuit's gates at which all counterexamples can be rectified. The algorithm equips SATbased diagnosis with systematic counterexample generation. In each iteration, an over-approximation of the fault candidates is computed and a new counterexample is generated such that at least one of the fault candidates can be excluded in the next iteration. The algorithm terminates if no such counterexample exists and no remaining fault candidate can be excluded. The number of counterexample generated is not minimal and, thus, we additionally provide a counterexample reduction algorithm to post-process the set of generated counterexamples and obtain some insight in how many counterexamples are sufficient to exactly pinpoint a fault. We evaluate counterexamples-guided diagnosis for a set of benchmark circuits and provide a comparison to an exact algorithm that uses a state-of-the-art QSAT oracle. The accuracy of both algorithms is per design equal, whereas counterexample-guided diagnosis significantly outperforms the QSAT-based diagnosis algorithm." @default.
- W2520739065 created "2016-09-23" @default.
- W2520739065 creator A5008766097 @default.
- W2520739065 creator A5011120024 @default.
- W2520739065 date "2016-07-01" @default.
- W2520739065 modified "2023-09-23" @default.
- W2520739065 title "Counterexample-guided diagnosis" @default.
- W2520739065 cites W1511845115 @default.
- W2520739065 cites W1979903718 @default.
- W2520739065 cites W2093544990 @default.
- W2520739065 cites W2108309071 @default.
- W2520739065 cites W2118098056 @default.
- W2520739065 cites W2126662120 @default.
- W2520739065 cites W2168368804 @default.
- W2520739065 cites W2294843272 @default.
- W2520739065 cites W2619928073 @default.
- W2520739065 doi "https://doi.org/10.1109/ivsw.2016.7566605" @default.
- W2520739065 hasPublicationYear "2016" @default.
- W2520739065 type Work @default.
- W2520739065 sameAs 2520739065 @default.
- W2520739065 citedByCount "0" @default.
- W2520739065 crossrefType "proceedings-article" @default.
- W2520739065 hasAuthorship W2520739065A5008766097 @default.
- W2520739065 hasAuthorship W2520739065A5011120024 @default.
- W2520739065 hasConcept C11413529 @default.
- W2520739065 hasConcept C118615104 @default.
- W2520739065 hasConcept C127313418 @default.
- W2520739065 hasConcept C13280743 @default.
- W2520739065 hasConcept C162838799 @default.
- W2520739065 hasConcept C165205528 @default.
- W2520739065 hasConcept C175551986 @default.
- W2520739065 hasConcept C177264268 @default.
- W2520739065 hasConcept C185798385 @default.
- W2520739065 hasConcept C199360897 @default.
- W2520739065 hasConcept C205649164 @default.
- W2520739065 hasConcept C33923547 @default.
- W2520739065 hasConcept C41008148 @default.
- W2520739065 hasConceptScore W2520739065C11413529 @default.
- W2520739065 hasConceptScore W2520739065C118615104 @default.
- W2520739065 hasConceptScore W2520739065C127313418 @default.
- W2520739065 hasConceptScore W2520739065C13280743 @default.
- W2520739065 hasConceptScore W2520739065C162838799 @default.
- W2520739065 hasConceptScore W2520739065C165205528 @default.
- W2520739065 hasConceptScore W2520739065C175551986 @default.
- W2520739065 hasConceptScore W2520739065C177264268 @default.
- W2520739065 hasConceptScore W2520739065C185798385 @default.
- W2520739065 hasConceptScore W2520739065C199360897 @default.
- W2520739065 hasConceptScore W2520739065C205649164 @default.
- W2520739065 hasConceptScore W2520739065C33923547 @default.
- W2520739065 hasConceptScore W2520739065C41008148 @default.
- W2520739065 hasLocation W25207390651 @default.
- W2520739065 hasOpenAccess W2520739065 @default.
- W2520739065 hasPrimaryLocation W25207390651 @default.
- W2520739065 hasRelatedWork W1545810687 @default.
- W2520739065 hasRelatedWork W1991668187 @default.
- W2520739065 hasRelatedWork W2014799452 @default.
- W2520739065 hasRelatedWork W2038202369 @default.
- W2520739065 hasRelatedWork W2043769126 @default.
- W2520739065 hasRelatedWork W2096280374 @default.
- W2520739065 hasRelatedWork W2097350515 @default.
- W2520739065 hasRelatedWork W2105850285 @default.
- W2520739065 hasRelatedWork W2109904859 @default.
- W2520739065 hasRelatedWork W2110134483 @default.
- W2520739065 hasRelatedWork W2112688207 @default.
- W2520739065 hasRelatedWork W2113216595 @default.
- W2520739065 hasRelatedWork W2113619236 @default.
- W2520739065 hasRelatedWork W2143823021 @default.
- W2520739065 hasRelatedWork W2144981496 @default.
- W2520739065 hasRelatedWork W2161010566 @default.
- W2520739065 hasRelatedWork W2172133576 @default.
- W2520739065 hasRelatedWork W2256323889 @default.
- W2520739065 hasRelatedWork W2298223467 @default.
- W2520739065 hasRelatedWork W2757032462 @default.
- W2520739065 isParatext "false" @default.
- W2520739065 isRetracted "false" @default.
- W2520739065 magId "2520739065" @default.
- W2520739065 workType "article" @default.