Matches in SemOpenAlex for { <https://semopenalex.org/work/W4238298844> ?p ?o ?g. }
- W4238298844 abstract "Electronic systems integrate an increasingly large number of components on a single chip. This leads to increased risk of faults, e.g. due to radiation, aging etc. Such a fault can lead to an observable error and failure of the system. Therefore, an error effect simulation is important to ensure the robustness and safety of these systems. Error effect simulation with Virtual Prototypes (VPs) is much faster than with RTL designs due to less modeling details at TLM. However, for the same reason, the simulation results with VP might be significantly less accurate compared to RTL. To improve the quality of a TLM error effect simulation, a fault correspondence analysis between both abstraction levels is required. This paper presents a case study on applying fault localization methods based on symbolic simulation to identify corresponding TLM errors for transient bit flips at RTL. First results for the interrupt controller of the SoCRocket VP, which is being used by the European Space Agency, demonstrate the applicability of our approach." @default.
- W4238298844 created "2022-05-12" @default.
- W4238298844 creator A5012137527 @default.
- W4238298844 creator A5040147972 @default.
- W4238298844 creator A5071742136 @default.
- W4238298844 creator A5086396507 @default.
- W4238298844 date "2016-09-01" @default.
- W4238298844 modified "2023-09-28" @default.
- W4238298844 title "On the application of formal fault localization to automated RTL-to-TLM fault correspondence analysis for fast and accurate VP-based error effect simulation - a case study" @default.
- W4238298844 cites W1972649107 @default.
- W4238298844 cites W1981175410 @default.
- W4238298844 cites W1985900990 @default.
- W4238298844 cites W1988129739 @default.
- W4238298844 cites W1989065170 @default.
- W4238298844 cites W1989210785 @default.
- W4238298844 cites W2002446960 @default.
- W4238298844 cites W2011419363 @default.
- W4238298844 cites W2013229838 @default.
- W4238298844 cites W2044428420 @default.
- W4238298844 cites W2088397478 @default.
- W4238298844 cites W2093709900 @default.
- W4238298844 cites W2098280085 @default.
- W4238298844 cites W2125301519 @default.
- W4238298844 cites W2154809971 @default.
- W4238298844 cites W2154890170 @default.
- W4238298844 cites W2159889776 @default.
- W4238298844 cites W2169870841 @default.
- W4238298844 cites W2345866173 @default.
- W4238298844 cites W2534962781 @default.
- W4238298844 cites W4253532935 @default.
- W4238298844 cites W2141140900 @default.
- W4238298844 doi "https://doi.org/10.1109/fdl.2016.7880375" @default.
- W4238298844 hasPublicationYear "2016" @default.
- W4238298844 type Work @default.
- W4238298844 citedByCount "8" @default.
- W4238298844 countsByYear W42382988442018 @default.
- W4238298844 countsByYear W42382988442019 @default.
- W4238298844 countsByYear W42382988442020 @default.
- W4238298844 countsByYear W42382988442021 @default.
- W4238298844 countsByYear W42382988442022 @default.
- W4238298844 crossrefType "proceedings-article" @default.
- W4238298844 hasAuthorship W4238298844A5012137527 @default.
- W4238298844 hasAuthorship W4238298844A5040147972 @default.
- W4238298844 hasAuthorship W4238298844A5071742136 @default.
- W4238298844 hasAuthorship W4238298844A5086396507 @default.
- W4238298844 hasConcept C104317684 @default.
- W4238298844 hasConcept C110251889 @default.
- W4238298844 hasConcept C111472728 @default.
- W4238298844 hasConcept C113775141 @default.
- W4238298844 hasConcept C11413529 @default.
- W4238298844 hasConcept C124304363 @default.
- W4238298844 hasConcept C127313418 @default.
- W4238298844 hasConcept C127413603 @default.
- W4238298844 hasConcept C138885662 @default.
- W4238298844 hasConcept C149635348 @default.
- W4238298844 hasConcept C165205528 @default.
- W4238298844 hasConcept C175551986 @default.
- W4238298844 hasConcept C185592680 @default.
- W4238298844 hasConcept C199360897 @default.
- W4238298844 hasConcept C200601418 @default.
- W4238298844 hasConcept C2775928411 @default.
- W4238298844 hasConcept C2777904410 @default.
- W4238298844 hasConcept C41008148 @default.
- W4238298844 hasConcept C55493867 @default.
- W4238298844 hasConcept C63479239 @default.
- W4238298844 hasConcept C79403827 @default.
- W4238298844 hasConceptScore W4238298844C104317684 @default.
- W4238298844 hasConceptScore W4238298844C110251889 @default.
- W4238298844 hasConceptScore W4238298844C111472728 @default.
- W4238298844 hasConceptScore W4238298844C113775141 @default.
- W4238298844 hasConceptScore W4238298844C11413529 @default.
- W4238298844 hasConceptScore W4238298844C124304363 @default.
- W4238298844 hasConceptScore W4238298844C127313418 @default.
- W4238298844 hasConceptScore W4238298844C127413603 @default.
- W4238298844 hasConceptScore W4238298844C138885662 @default.
- W4238298844 hasConceptScore W4238298844C149635348 @default.
- W4238298844 hasConceptScore W4238298844C165205528 @default.
- W4238298844 hasConceptScore W4238298844C175551986 @default.
- W4238298844 hasConceptScore W4238298844C185592680 @default.
- W4238298844 hasConceptScore W4238298844C199360897 @default.
- W4238298844 hasConceptScore W4238298844C200601418 @default.
- W4238298844 hasConceptScore W4238298844C2775928411 @default.
- W4238298844 hasConceptScore W4238298844C2777904410 @default.
- W4238298844 hasConceptScore W4238298844C41008148 @default.
- W4238298844 hasConceptScore W4238298844C55493867 @default.
- W4238298844 hasConceptScore W4238298844C63479239 @default.
- W4238298844 hasConceptScore W4238298844C79403827 @default.
- W4238298844 hasLocation W42382988441 @default.
- W4238298844 hasOpenAccess W4238298844 @default.
- W4238298844 hasPrimaryLocation W42382988441 @default.
- W4238298844 hasRelatedWork W2013443680 @default.
- W4238298844 hasRelatedWork W2175740820 @default.
- W4238298844 hasRelatedWork W2177212599 @default.
- W4238298844 hasRelatedWork W2364866360 @default.
- W4238298844 hasRelatedWork W2612538664 @default.
- W4238298844 hasRelatedWork W278680301 @default.
- W4238298844 hasRelatedWork W3216885170 @default.
- W4238298844 hasRelatedWork W4289655774 @default.
- W4238298844 hasRelatedWork W4385412008 @default.
- W4238298844 hasRelatedWork W780543721 @default.