FRINK Linked Data Fragments server

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

• W2116697887 abstract "For Electronic System Level (ESL) design SystemC has become the standard language due to its excellent support of Transaction Level Modeling (TLM). But even if the complexity of the systems can be handled using the abstraction levels offered by TLM — the most abstract one is untimed and focuses on functionality — still verification is the major bottleneck. In particular, as untimed TLM models are the reference for the following refinement steps their correctness has to be ensured. Thus, formal verification approaches have been developed to prove properties for these models. However, even if several properties have been checked this does not guarantee that the complete functionality of the TLM model has been verified. Thus, in this paper we consider the problem of functional coverage analysis in formal TLM property checking. We present a coverage approach which can analyze whether the property set unambiguously describes all transactions in a SystemC TLM model. The developed coverage analysis method identifies uncovered scenarios and hence allows to close all coverage gaps. As an example we consider an automated teller machine and we show the benefits of the proposed approach." @default.
• W2116697887 created "2016-06-24" @default.
• W2116697887 creator A5049848226 @default.
• W2116697887 creator A5071742136 @default.
• W2116697887 creator A5086396507 @default.
• W2116697887 date "2010-06-01" @default.
• W2116697887 modified "2023-09-27" @default.
• W2116697887 title "Towards analyzing functional coverage in SystemC TLM property checking" @default.
• W2116697887 cites W1491807613 @default.
• W2116697887 cites W1536710422 @default.
• W2116697887 cites W1579437898 @default.
• W2116697887 cites W1787074469 @default.
• W2116697887 cites W1968938035 @default.
• W2116697887 cites W2019188908 @default.
• W2116697887 cites W2055424026 @default.
• W2116697887 cites W2110676418 @default.
• W2116697887 cites W2116153111 @default.
• W2116697887 cites W2119925465 @default.
• W2116697887 cites W2129538349 @default.
• W2116697887 cites W2138446696 @default.
• W2116697887 cites W2138869010 @default.
• W2116697887 cites W2151174323 @default.
• W2116697887 cites W3149451953 @default.
• W2116697887 cites W3150683616 @default.
• W2116697887 cites W2402898942 @default.
• W2116697887 doi "https://doi.org/10.1109/hldvt.2010.5496658" @default.
• W2116697887 hasPublicationYear "2010" @default.
• W2116697887 type Work @default.
• W2116697887 sameAs 2116697887 @default.
• W2116697887 citedByCount "12" @default.
• W2116697887 countsByYear W21166978872012 @default.
• W2116697887 countsByYear W21166978872013 @default.
• W2116697887 countsByYear W21166978872014 @default.
• W2116697887 countsByYear W21166978872015 @default.
• W2116697887 countsByYear W21166978872016 @default.
• W2116697887 countsByYear W21166978872017 @default.
• W2116697887 crossrefType "proceedings-article" @default.
• W2116697887 hasAuthorship W2116697887A5049848226 @default.
• W2116697887 hasAuthorship W2116697887A5071742136 @default.
• W2116697887 hasAuthorship W2116697887A5086396507 @default.
• W2116697887 hasBestOaLocation W21166978872 @default.
• W2116697887 hasConcept C110251889 @default.
• W2116697887 hasConcept C111472728 @default.
• W2116697887 hasConcept C111498074 @default.
• W2116697887 hasConcept C124304363 @default.
• W2116697887 hasConcept C138885662 @default.
• W2116697887 hasConcept C149635348 @default.
• W2116697887 hasConcept C169571997 @default.
• W2116697887 hasConcept C177264268 @default.
• W2116697887 hasConcept C189950617 @default.
• W2116697887 hasConcept C199360897 @default.
• W2116697887 hasConcept C2776928060 @default.
• W2116697887 hasConcept C2780513914 @default.
• W2116697887 hasConcept C41008148 @default.
• W2116697887 hasConcept C55439883 @default.
• W2116697887 hasConcept C75606506 @default.
• W2116697887 hasConcept C75949130 @default.
• W2116697887 hasConcept C77495112 @default.
• W2116697887 hasConcept C80444323 @default.
• W2116697887 hasConceptScore W2116697887C110251889 @default.
• W2116697887 hasConceptScore W2116697887C111472728 @default.
• W2116697887 hasConceptScore W2116697887C111498074 @default.
• W2116697887 hasConceptScore W2116697887C124304363 @default.
• W2116697887 hasConceptScore W2116697887C138885662 @default.
• W2116697887 hasConceptScore W2116697887C149635348 @default.
• W2116697887 hasConceptScore W2116697887C169571997 @default.
• W2116697887 hasConceptScore W2116697887C177264268 @default.
• W2116697887 hasConceptScore W2116697887C189950617 @default.
• W2116697887 hasConceptScore W2116697887C199360897 @default.
• W2116697887 hasConceptScore W2116697887C2776928060 @default.
• W2116697887 hasConceptScore W2116697887C2780513914 @default.
• W2116697887 hasConceptScore W2116697887C41008148 @default.
• W2116697887 hasConceptScore W2116697887C55439883 @default.
• W2116697887 hasConceptScore W2116697887C75606506 @default.
• W2116697887 hasConceptScore W2116697887C75949130 @default.
• W2116697887 hasConceptScore W2116697887C77495112 @default.
• W2116697887 hasConceptScore W2116697887C80444323 @default.
• W2116697887 hasLocation W21166978871 @default.
• W2116697887 hasLocation W21166978872 @default.
• W2116697887 hasOpenAccess W2116697887 @default.
• W2116697887 hasPrimaryLocation W21166978871 @default.
• W2116697887 hasRelatedWork W1483806673 @default.
• W2116697887 hasRelatedWork W1537387651 @default.
• W2116697887 hasRelatedWork W1608337762 @default.
• W2116697887 hasRelatedWork W162957564 @default.
• W2116697887 hasRelatedWork W2055424026 @default.
• W2116697887 hasRelatedWork W2096133083 @default.
• W2116697887 hasRelatedWork W2131811951 @default.
• W2116697887 hasRelatedWork W2182746768 @default.
• W2116697887 hasRelatedWork W2188057831 @default.
• W2116697887 hasRelatedWork W2401075618 @default.
• W2116697887 hasRelatedWork W2602300369 @default.
• W2116697887 hasRelatedWork W2725751056 @default.
• W2116697887 hasRelatedWork W2734802684 @default.
• W2116697887 hasRelatedWork W2792237047 @default.
• W2116697887 hasRelatedWork W2892006385 @default.
• W2116697887 hasRelatedWork W2900440339 @default.
• W2116697887 hasRelatedWork W2951761201 @default.
• W2116697887 hasRelatedWork W574795656 @default.
• W2116697887 hasRelatedWork W66319915 @default.

• next