Matches in SemOpenAlex for { <https://semopenalex.org/work/W2004396041> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2004396041 endingPage "799" @default.
- W2004396041 startingPage "794" @default.
- W2004396041 abstract "One of the main purposes to use SystemC in system development is to perform system-level verification in the early design stage. However, simulation is still by far the only available solution for the high-level SystemC design verification. Nonetheless, traditional formal verification techniques, which rely on the translation of designs under verification to logic netlists, cannot be easily adopted here due to the concurrent/asynchronous nature and the abundant synthesis flexibilities of the high-level designs. In this paper, we propose a multi-layer modeling to represent the highlevel SystemC designs. By representing the different aspects of the design with different structures --- simulation kernel, predictive synchronization dependence graph (PSDG), and extended Petri net (extPN), our modeling can be very concise and faithfully capture the original design semantics. We develop a formal verification engine on this modeling for the deadlock checks. With various novel ideas to enable the symbolic simulation, bounded model checking (BMC) and invariant checking techniques to work on high-level, our experimental results demonstrate the robustness and effectiveness of the formal deadlock checking on high-level SystemC designs." @default.
- W2004396041 created "2016-06-24" @default.
- W2004396041 creator A5041689959 @default.
- W2004396041 creator A5069922390 @default.
- W2004396041 creator A5073475699 @default.
- W2004396041 creator A5080061914 @default.
- W2004396041 date "2010-11-07" @default.
- W2004396041 modified "2023-09-26" @default.
- W2004396041 title "Formal deadlock checking on high-level SystemC designs" @default.
- W2004396041 cites W1509229256 @default.
- W2004396041 cites W1527974694 @default.
- W2004396041 cites W1579437898 @default.
- W2004396041 cites W1977902681 @default.
- W2004396041 cites W1994188141 @default.
- W2004396041 cites W2013845106 @default.
- W2004396041 cites W2090208676 @default.
- W2004396041 cites W2111852129 @default.
- W2004396041 cites W2129538349 @default.
- W2004396041 cites W2169490784 @default.
- W2004396041 doi "https://doi.org/10.5555/2133429.2133595" @default.
- W2004396041 hasPublicationYear "2010" @default.
- W2004396041 type Work @default.
- W2004396041 sameAs 2004396041 @default.
- W2004396041 citedByCount "6" @default.
- W2004396041 countsByYear W20043960412013 @default.
- W2004396041 countsByYear W20043960412014 @default.
- W2004396041 countsByYear W20043960412015 @default.
- W2004396041 countsByYear W20043960412016 @default.
- W2004396041 countsByYear W20043960412021 @default.
- W2004396041 crossrefType "proceedings-article" @default.
- W2004396041 hasAuthorship W2004396041A5041689959 @default.
- W2004396041 hasAuthorship W2004396041A5069922390 @default.
- W2004396041 hasAuthorship W2004396041A5073475699 @default.
- W2004396041 hasAuthorship W2004396041A5080061914 @default.
- W2004396041 hasConcept C110251889 @default.
- W2004396041 hasConcept C111498074 @default.
- W2004396041 hasConcept C118524514 @default.
- W2004396041 hasConcept C149635348 @default.
- W2004396041 hasConcept C199360897 @default.
- W2004396041 hasConcept C202973057 @default.
- W2004396041 hasConcept C2776928060 @default.
- W2004396041 hasConcept C38677869 @default.
- W2004396041 hasConcept C41008148 @default.
- W2004396041 hasConcept C42935608 @default.
- W2004396041 hasConcept C58013763 @default.
- W2004396041 hasConcept C75606506 @default.
- W2004396041 hasConcept C77495112 @default.
- W2004396041 hasConcept C96654402 @default.
- W2004396041 hasConceptScore W2004396041C110251889 @default.
- W2004396041 hasConceptScore W2004396041C111498074 @default.
- W2004396041 hasConceptScore W2004396041C118524514 @default.
- W2004396041 hasConceptScore W2004396041C149635348 @default.
- W2004396041 hasConceptScore W2004396041C199360897 @default.
- W2004396041 hasConceptScore W2004396041C202973057 @default.
- W2004396041 hasConceptScore W2004396041C2776928060 @default.
- W2004396041 hasConceptScore W2004396041C38677869 @default.
- W2004396041 hasConceptScore W2004396041C41008148 @default.
- W2004396041 hasConceptScore W2004396041C42935608 @default.
- W2004396041 hasConceptScore W2004396041C58013763 @default.
- W2004396041 hasConceptScore W2004396041C75606506 @default.
- W2004396041 hasConceptScore W2004396041C77495112 @default.
- W2004396041 hasConceptScore W2004396041C96654402 @default.
- W2004396041 hasLocation W20043960411 @default.
- W2004396041 hasOpenAccess W2004396041 @default.
- W2004396041 hasPrimaryLocation W20043960411 @default.
- W2004396041 hasRelatedWork W1690475404 @default.
- W2004396041 hasRelatedWork W1873191171 @default.
- W2004396041 hasRelatedWork W1983663560 @default.
- W2004396041 hasRelatedWork W1988942890 @default.
- W2004396041 hasRelatedWork W1999623278 @default.
- W2004396041 hasRelatedWork W2053769757 @default.
- W2004396041 hasRelatedWork W2055424026 @default.
- W2004396041 hasRelatedWork W2075963488 @default.
- W2004396041 hasRelatedWork W2076600865 @default.
- W2004396041 hasRelatedWork W2120872535 @default.
- W2004396041 hasRelatedWork W2149848468 @default.
- W2004396041 hasRelatedWork W2155552885 @default.
- W2004396041 hasRelatedWork W2161189012 @default.
- W2004396041 hasRelatedWork W2163477945 @default.
- W2004396041 hasRelatedWork W2169490784 @default.
- W2004396041 hasRelatedWork W2204090679 @default.
- W2004396041 hasRelatedWork W2475242556 @default.
- W2004396041 hasRelatedWork W3124032321 @default.
- W2004396041 hasRelatedWork W3149675034 @default.
- W2004396041 hasRelatedWork W3172631514 @default.
- W2004396041 isParatext "false" @default.
- W2004396041 isRetracted "false" @default.
- W2004396041 magId "2004396041" @default.
- W2004396041 workType "article" @default.