Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113900344> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2113900344 abstract "In this paper, we formally define an enhanced RTL semantics. This is intended to elevate the RTL design abstraction level and help bridge the HDL semantic gap among synthesis, simulation and formal verification tools. We define the enhanced semantics based on a new RTL++ language that supports pipelined operations using a new pipelined register variable concept. The execution semantics of RTL++ is specified in a structural operational semantics style aimed at forming the basis for related simulation and formal verification algorithm development. An RFSM model is defined to support natively the synthesis semantics of RTL++. We also present an example of extending SystemC to support the notion of a pipelined register variable." @default.
- W2113900344 created "2016-06-24" @default.
- W2113900344 creator A5025797692 @default.
- W2113900344 creator A5082500178 @default.
- W2113900344 date "2005-04-01" @default.
- W2113900344 modified "2023-10-17" @default.
- W2113900344 title "Defining an Enhanced RTL Semantics" @default.
- W2113900344 cites W1498455513 @default.
- W2113900344 cites W1567363020 @default.
- W2113900344 cites W1875492031 @default.
- W2113900344 cites W1921757338 @default.
- W2113900344 cites W2094580572 @default.
- W2113900344 cites W2114266730 @default.
- W2113900344 cites W2115737334 @default.
- W2113900344 cites W2118229393 @default.
- W2113900344 cites W2127009070 @default.
- W2113900344 cites W2156417149 @default.
- W2113900344 doi "https://doi.org/10.1109/date.2005.111" @default.
- W2113900344 hasPublicationYear "2005" @default.
- W2113900344 type Work @default.
- W2113900344 sameAs 2113900344 @default.
- W2113900344 citedByCount "4" @default.
- W2113900344 crossrefType "proceedings-article" @default.
- W2113900344 hasAuthorship W2113900344A5025797692 @default.
- W2113900344 hasAuthorship W2113900344A5082500178 @default.
- W2113900344 hasBestOaLocation W21139003442 @default.
- W2113900344 hasConcept C111472728 @default.
- W2113900344 hasConcept C124304363 @default.
- W2113900344 hasConcept C138885662 @default.
- W2113900344 hasConcept C146499914 @default.
- W2113900344 hasConcept C149635348 @default.
- W2113900344 hasConcept C156325763 @default.
- W2113900344 hasConcept C184337299 @default.
- W2113900344 hasConcept C199360897 @default.
- W2113900344 hasConcept C207648694 @default.
- W2113900344 hasConcept C2776928060 @default.
- W2113900344 hasConcept C41008148 @default.
- W2113900344 hasConcept C42935608 @default.
- W2113900344 hasConcept C58013763 @default.
- W2113900344 hasConceptScore W2113900344C111472728 @default.
- W2113900344 hasConceptScore W2113900344C124304363 @default.
- W2113900344 hasConceptScore W2113900344C138885662 @default.
- W2113900344 hasConceptScore W2113900344C146499914 @default.
- W2113900344 hasConceptScore W2113900344C149635348 @default.
- W2113900344 hasConceptScore W2113900344C156325763 @default.
- W2113900344 hasConceptScore W2113900344C184337299 @default.
- W2113900344 hasConceptScore W2113900344C199360897 @default.
- W2113900344 hasConceptScore W2113900344C207648694 @default.
- W2113900344 hasConceptScore W2113900344C2776928060 @default.
- W2113900344 hasConceptScore W2113900344C41008148 @default.
- W2113900344 hasConceptScore W2113900344C42935608 @default.
- W2113900344 hasConceptScore W2113900344C58013763 @default.
- W2113900344 hasLocation W21139003441 @default.
- W2113900344 hasLocation W21139003442 @default.
- W2113900344 hasLocation W21139003443 @default.
- W2113900344 hasLocation W21139003444 @default.
- W2113900344 hasLocation W21139003445 @default.
- W2113900344 hasLocation W21139003446 @default.
- W2113900344 hasOpenAccess W2113900344 @default.
- W2113900344 hasPrimaryLocation W21139003441 @default.
- W2113900344 hasRelatedWork W1975908952 @default.
- W2113900344 hasRelatedWork W2073736684 @default.
- W2113900344 hasRelatedWork W2107316249 @default.
- W2113900344 hasRelatedWork W2133673046 @default.
- W2113900344 hasRelatedWork W2348616540 @default.
- W2113900344 hasRelatedWork W2394805991 @default.
- W2113900344 hasRelatedWork W3179539050 @default.
- W2113900344 hasRelatedWork W4213264068 @default.
- W2113900344 hasRelatedWork W4285217401 @default.
- W2113900344 hasRelatedWork W2790733222 @default.
- W2113900344 isParatext "false" @default.
- W2113900344 isRetracted "false" @default.
- W2113900344 magId "2113900344" @default.
- W2113900344 workType "article" @default.