FRINK Linked Data Fragments server

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

• W4236092204 abstract "Silicon fault diagnosis, the process of locating faults in a chip prototype, becomes more challenging and time-consuming with increasing design complexity. Consistency-based fault diagnosis aims at identifying fault candidates for an erroneous execution trace by symbolically checking the consistency between the golden gate-level model and the faulty behavior of the prototype chip. The scalability of this technique is limited to short executions due to the underlying decision procedure. This problem has previously been addressed by restricting the analysis to a window of fixed size and moving it along the execution trace. In this setting, limited observability results in a loss of precision and potentially missed fault candidates. We present a novel interpolation-based framework which formalizes the propagation of state information across sliding windows as a satisfiability problem. Our approach provides both spatial and temporal localization for general faults and is not restricted to a specific fault model. Further, our approach can be used to provide more accurate localization for a single permanent fault model. We experimentally demonstrate the efficacy and scalability of this approach by applying it to a variety of benchmarks from multiple suites (OpenCores, ITC99 and HWMCC)." @default.
• W4236092204 created "2022-05-12" @default.
• W4236092204 creator A5017958562 @default.
• W4236092204 creator A5080824170 @default.
• W4236092204 creator A5085975362 @default.
• W4236092204 date "2014-11-01" @default.
• W4236092204 modified "2023-09-29" @default.
• W4236092204 title "Silicon fault diagnosis using sequence interpolation with backbones" @default.
• W4236092204 cites W1979903718 @default.
• W4236092204 cites W2018678448 @default.
• W4236092204 cites W2020169768 @default.
• W4236092204 cites W2024436253 @default.
• W4236092204 cites W2066974842 @default.
• W4236092204 cites W2078661369 @default.
• W4236092204 cites W2108309071 @default.
• W4236092204 cites W2108870314 @default.
• W4236092204 cites W2123205813 @default.
• W4236092204 cites W2157686813 @default.
• W4236092204 cites W2159004509 @default.
• W4236092204 cites W2160037120 @default.
• W4236092204 cites W2164135279 @default.
• W4236092204 cites W3139542001 @default.
• W4236092204 cites W3140929758 @default.
• W4236092204 cites W3140945568 @default.
• W4236092204 doi "https://doi.org/10.1109/iccad.2014.7001373" @default.
• W4236092204 hasPublicationYear "2014" @default.
• W4236092204 type Work @default.
• W4236092204 citedByCount "6" @default.
• W4236092204 countsByYear W42360922042016 @default.
• W4236092204 countsByYear W42360922042017 @default.
• W4236092204 countsByYear W42360922042018 @default.
• W4236092204 countsByYear W42360922042019 @default.
• W4236092204 crossrefType "proceedings-article" @default.
• W4236092204 hasAuthorship W4236092204A5017958562 @default.
• W4236092204 hasAuthorship W4236092204A5080824170 @default.
• W4236092204 hasAuthorship W4236092204A5085975362 @default.
• W4236092204 hasConcept C104114177 @default.
• W4236092204 hasConcept C113775141 @default.
• W4236092204 hasConcept C11413529 @default.
• W4236092204 hasConcept C119599485 @default.
• W4236092204 hasConcept C120314980 @default.
• W4236092204 hasConcept C126953365 @default.
• W4236092204 hasConcept C127313418 @default.
• W4236092204 hasConcept C127413603 @default.
• W4236092204 hasConcept C134146338 @default.
• W4236092204 hasConcept C137800194 @default.
• W4236092204 hasConcept C138885662 @default.
• W4236092204 hasConcept C154945302 @default.
• W4236092204 hasConcept C165205528 @default.
• W4236092204 hasConcept C175551986 @default.
• W4236092204 hasConcept C2524010 @default.
• W4236092204 hasConcept C2776436953 @default.
• W4236092204 hasConcept C2779696439 @default.
• W4236092204 hasConcept C28826006 @default.
• W4236092204 hasConcept C33923547 @default.
• W4236092204 hasConcept C36299963 @default.
• W4236092204 hasConcept C41008148 @default.
• W4236092204 hasConcept C41895202 @default.
• W4236092204 hasConcept C48044578 @default.
• W4236092204 hasConcept C75291252 @default.
• W4236092204 hasConcept C77088390 @default.
• W4236092204 hasConcept C79403827 @default.
• W4236092204 hasConceptScore W4236092204C104114177 @default.
• W4236092204 hasConceptScore W4236092204C113775141 @default.
• W4236092204 hasConceptScore W4236092204C11413529 @default.
• W4236092204 hasConceptScore W4236092204C119599485 @default.
• W4236092204 hasConceptScore W4236092204C120314980 @default.
• W4236092204 hasConceptScore W4236092204C126953365 @default.
• W4236092204 hasConceptScore W4236092204C127313418 @default.
• W4236092204 hasConceptScore W4236092204C127413603 @default.
• W4236092204 hasConceptScore W4236092204C134146338 @default.
• W4236092204 hasConceptScore W4236092204C137800194 @default.
• W4236092204 hasConceptScore W4236092204C138885662 @default.
• W4236092204 hasConceptScore W4236092204C154945302 @default.
• W4236092204 hasConceptScore W4236092204C165205528 @default.
• W4236092204 hasConceptScore W4236092204C175551986 @default.
• W4236092204 hasConceptScore W4236092204C2524010 @default.
• W4236092204 hasConceptScore W4236092204C2776436953 @default.
• W4236092204 hasConceptScore W4236092204C2779696439 @default.
• W4236092204 hasConceptScore W4236092204C28826006 @default.
• W4236092204 hasConceptScore W4236092204C33923547 @default.
• W4236092204 hasConceptScore W4236092204C36299963 @default.
• W4236092204 hasConceptScore W4236092204C41008148 @default.
• W4236092204 hasConceptScore W4236092204C41895202 @default.
• W4236092204 hasConceptScore W4236092204C48044578 @default.
• W4236092204 hasConceptScore W4236092204C75291252 @default.
• W4236092204 hasConceptScore W4236092204C77088390 @default.
• W4236092204 hasConceptScore W4236092204C79403827 @default.
• W4236092204 hasLocation W42360922041 @default.
• W4236092204 hasOpenAccess W4236092204 @default.
• W4236092204 hasPrimaryLocation W42360922041 @default.
• W4236092204 hasRelatedWork W1596201972 @default.
• W4236092204 hasRelatedWork W1967954938 @default.
• W4236092204 hasRelatedWork W1986253068 @default.
• W4236092204 hasRelatedWork W2088645237 @default.
• W4236092204 hasRelatedWork W2364921833 @default.
• W4236092204 hasRelatedWork W2380023786 @default.
• W4236092204 hasRelatedWork W2385146268 @default.
• W4236092204 hasRelatedWork W2461970972 @default.
• W4236092204 hasRelatedWork W4236092204 @default.

• next