FRINK Linked Data Fragments server

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

• W2013229838 endingPage "1262" @default.
• W2013229838 startingPage "1249" @default.
• W2013229838 abstract "To meet today's time-to-market demands, catching bugs as early as possible during the design of a system is essential. In electronic system level design where SystemC has become the de-facto standard due to transaction level modeling (TLM), many approaches for verification have been developed. They determine an error trace that demonstrates the difference between the required and the actual behavior of the system. However, the subsequent debugging process is very time-consuming, in particular due to TLM-related faults caused by complex process synchronization and concurrency. In this paper, we present an automatic fault localization approach for SystemC TLM designs. We target typical TLM faults, such as accidentally swapped blocking and nonblocking transactions, erroneous event notification, or incorrect transaction data. The approach determines parts of the design that can be changed such that the intended behavior of the design is obtained by removing the contradiction given by the error trace. Single, as well as multiple faults, is considered. Techniques based on bounded model checking are used to find the faulty parts. We demonstrate the quality of our approach by several experiments. As shown in the experiments, the fault locations are identified very fast and hence a significant acceleration for the design of SystemC TLM models is achieved." @default.
• W2013229838 created "2016-06-24" @default.
• W2013229838 creator A5071742136 @default.
• W2013229838 creator A5086396507 @default.
• W2013229838 creator A5086566894 @default.
• W2013229838 date "2012-08-01" @default.
• W2013229838 modified "2023-09-27" @default.
• W2013229838 title "Automatic TLM Fault Localization for SystemC" @default.
• W2013229838 cites W1555791645 @default.
• W2013229838 cites W1979903718 @default.
• W2013229838 cites W1985900990 @default.
• W2013229838 cites W2082066754 @default.
• W2013229838 cites W2086983694 @default.
• W2013229838 cites W2087436673 @default.
• W2013229838 cites W2090208676 @default.
• W2013229838 cites W2110676418 @default.
• W2013229838 cites W2116697887 @default.
• W2013229838 cites W2122655082 @default.
• W2013229838 cites W2125301519 @default.
• W2013229838 cites W2145092620 @default.
• W2013229838 cites W2151174323 @default.
• W2013229838 cites W2154809971 @default.
• W2013229838 cites W2161189012 @default.
• W2013229838 cites W2163601989 @default.
• W2013229838 cites W2170224888 @default.
• W2013229838 cites W2491385276 @default.
• W2013229838 cites W2623612387 @default.
• W2013229838 cites W3141331497 @default.
• W2013229838 cites W3149600922 @default.
• W2013229838 doi "https://doi.org/10.1109/tcad.2012.2188800" @default.
• W2013229838 hasPublicationYear "2012" @default.
• W2013229838 type Work @default.
• W2013229838 sameAs 2013229838 @default.
• W2013229838 citedByCount "30" @default.
• W2013229838 countsByYear W20132298382012 @default.
• W2013229838 countsByYear W20132298382013 @default.
• W2013229838 countsByYear W20132298382014 @default.
• W2013229838 countsByYear W20132298382015 @default.
• W2013229838 countsByYear W20132298382016 @default.
• W2013229838 countsByYear W20132298382017 @default.
• W2013229838 countsByYear W20132298382019 @default.
• W2013229838 countsByYear W20132298382020 @default.
• W2013229838 countsByYear W20132298382022 @default.
• W2013229838 crossrefType "journal-article" @default.
• W2013229838 hasAuthorship W2013229838A5071742136 @default.
• W2013229838 hasAuthorship W2013229838A5086396507 @default.
• W2013229838 hasAuthorship W2013229838A5086566894 @default.
• W2013229838 hasConcept C113775141 @default.
• W2013229838 hasConcept C120314980 @default.
• W2013229838 hasConcept C127162648 @default.
• W2013229838 hasConcept C127313418 @default.
• W2013229838 hasConcept C138885662 @default.
• W2013229838 hasConcept C149635348 @default.
• W2013229838 hasConcept C165205528 @default.
• W2013229838 hasConcept C168065819 @default.
• W2013229838 hasConcept C169571997 @default.
• W2013229838 hasConcept C174220543 @default.
• W2013229838 hasConcept C175551986 @default.
• W2013229838 hasConcept C199360897 @default.
• W2013229838 hasConcept C2775928411 @default.
• W2013229838 hasConcept C2776928060 @default.
• W2013229838 hasConcept C2777904410 @default.
• W2013229838 hasConcept C2778562939 @default.
• W2013229838 hasConcept C31258907 @default.
• W2013229838 hasConcept C41008148 @default.
• W2013229838 hasConcept C41895202 @default.
• W2013229838 hasConcept C75291252 @default.
• W2013229838 hasConcept C75949130 @default.
• W2013229838 hasConcept C77495112 @default.
• W2013229838 hasConcept C98045186 @default.
• W2013229838 hasConceptScore W2013229838C113775141 @default.
• W2013229838 hasConceptScore W2013229838C120314980 @default.
• W2013229838 hasConceptScore W2013229838C127162648 @default.
• W2013229838 hasConceptScore W2013229838C127313418 @default.
• W2013229838 hasConceptScore W2013229838C138885662 @default.
• W2013229838 hasConceptScore W2013229838C149635348 @default.
• W2013229838 hasConceptScore W2013229838C165205528 @default.
• W2013229838 hasConceptScore W2013229838C168065819 @default.
• W2013229838 hasConceptScore W2013229838C169571997 @default.
• W2013229838 hasConceptScore W2013229838C174220543 @default.
• W2013229838 hasConceptScore W2013229838C175551986 @default.
• W2013229838 hasConceptScore W2013229838C199360897 @default.
• W2013229838 hasConceptScore W2013229838C2775928411 @default.
• W2013229838 hasConceptScore W2013229838C2776928060 @default.
• W2013229838 hasConceptScore W2013229838C2777904410 @default.
• W2013229838 hasConceptScore W2013229838C2778562939 @default.
• W2013229838 hasConceptScore W2013229838C31258907 @default.
• W2013229838 hasConceptScore W2013229838C41008148 @default.
• W2013229838 hasConceptScore W2013229838C41895202 @default.
• W2013229838 hasConceptScore W2013229838C75291252 @default.
• W2013229838 hasConceptScore W2013229838C75949130 @default.
• W2013229838 hasConceptScore W2013229838C77495112 @default.
• W2013229838 hasConceptScore W2013229838C98045186 @default.
• W2013229838 hasIssue "8" @default.
• W2013229838 hasLocation W20132298381 @default.
• W2013229838 hasOpenAccess W2013229838 @default.
• W2013229838 hasPrimaryLocation W20132298381 @default.
• W2013229838 hasRelatedWork W1527229246 @default.

• next