Matches in SemOpenAlex for { <https://semopenalex.org/work/W1980451599> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1980451599 abstract "Although communication fabrics at the microarchitectural level are mainly composed of standard primitives such as queues and arbiters, to get an executable model one has to connect these primitives with glue logic to complete the description. In this paper we identify a richer set of microarchitectural primitives that allows us to describe complete systems by composition alone. This enables us to build models faster (since models are now simply wiring diagrams at an appropriate level of abstraction) and to avoid common modeling errors such as inadvertent loss of data due to incorrect timing assumptions. Our models are formal and they are used for model checking as well as dynamic validation and performance modeling. However, unlike other formalisms this approach leads to a precise yet intuitive graphical notation for microarchitecture that captures timing and functionality in sufficient detail to be useful for reasoning about correctness and for communicating microarchitectural ideas to RTL and circuit designers and validators." @default.
- W1980451599 created "2016-06-24" @default.
- W1980451599 creator A5007256099 @default.
- W1980451599 creator A5030499418 @default.
- W1980451599 creator A5084255924 @default.
- W1980451599 date "2010-06-01" @default.
- W1980451599 modified "2023-09-24" @default.
- W1980451599 title "Quick formal modeling of communication fabrics to enable verification" @default.
- W1980451599 cites W1591313063 @default.
- W1980451599 cites W1826166329 @default.
- W1980451599 cites W1888147809 @default.
- W1980451599 cites W1996109622 @default.
- W1980451599 cites W2049925868 @default.
- W1980451599 cites W2081938726 @default.
- W1980451599 cites W2097117297 @default.
- W1980451599 cites W2099316112 @default.
- W1980451599 cites W2115716046 @default.
- W1980451599 cites W2127044011 @default.
- W1980451599 cites W2127335869 @default.
- W1980451599 cites W2128904268 @default.
- W1980451599 cites W2130088511 @default.
- W1980451599 cites W2160566592 @default.
- W1980451599 cites W4249778561 @default.
- W1980451599 doi "https://doi.org/10.1109/hldvt.2010.5496662" @default.
- W1980451599 hasPublicationYear "2010" @default.
- W1980451599 type Work @default.
- W1980451599 sameAs 1980451599 @default.
- W1980451599 citedByCount "32" @default.
- W1980451599 countsByYear W19804515992012 @default.
- W1980451599 countsByYear W19804515992013 @default.
- W1980451599 countsByYear W19804515992014 @default.
- W1980451599 countsByYear W19804515992015 @default.
- W1980451599 countsByYear W19804515992016 @default.
- W1980451599 countsByYear W19804515992017 @default.
- W1980451599 countsByYear W19804515992018 @default.
- W1980451599 countsByYear W19804515992022 @default.
- W1980451599 crossrefType "proceedings-article" @default.
- W1980451599 hasAuthorship W1980451599A5007256099 @default.
- W1980451599 hasAuthorship W1980451599A5030499418 @default.
- W1980451599 hasAuthorship W1980451599A5084255924 @default.
- W1980451599 hasConcept C111498074 @default.
- W1980451599 hasConcept C115903868 @default.
- W1980451599 hasConcept C199360897 @default.
- W1980451599 hasConcept C41008148 @default.
- W1980451599 hasConcept C75606506 @default.
- W1980451599 hasConceptScore W1980451599C111498074 @default.
- W1980451599 hasConceptScore W1980451599C115903868 @default.
- W1980451599 hasConceptScore W1980451599C199360897 @default.
- W1980451599 hasConceptScore W1980451599C41008148 @default.
- W1980451599 hasConceptScore W1980451599C75606506 @default.
- W1980451599 hasLocation W19804515991 @default.
- W1980451599 hasOpenAccess W1980451599 @default.
- W1980451599 hasPrimaryLocation W19804515991 @default.
- W1980451599 hasRelatedWork W1524361563 @default.
- W1980451599 hasRelatedWork W1556422878 @default.
- W1980451599 hasRelatedWork W1583364777 @default.
- W1980451599 hasRelatedWork W1965722552 @default.
- W1980451599 hasRelatedWork W2151898527 @default.
- W1980451599 hasRelatedWork W27605384 @default.
- W1980451599 hasRelatedWork W2899100898 @default.
- W1980451599 hasRelatedWork W47563837 @default.
- W1980451599 hasRelatedWork W61995002 @default.
- W1980451599 hasRelatedWork W63592217 @default.
- W1980451599 isParatext "false" @default.
- W1980451599 isRetracted "false" @default.
- W1980451599 magId "1980451599" @default.
- W1980451599 workType "article" @default.