Matches in SemOpenAlex for { <https://semopenalex.org/work/W149670691> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W149670691 abstract "Abstract : Modern microprocessors require an immense investment of time and effort to create and verify, from the high level architectural design downwards. We are exploring ways to increase the productivity of design engineers by creating a domain specific language for specifying and simulating processor architectures. We believe that the structuring principles used in modern functional programming languages, such as static typing, parametric polymorphism, first class functions, and lazy evaluation provide a good formalism for such a domain specific language, and have made initial progress by creating a library on top of the functional language Haskell. We have specified the integer subset of an out of order, superscalar DLX microprocessor, with register renaming, a reorder buffer, a global reservation station, multiple execution units, and speculative branch execution. Two key abstractions of this library are the signal abstract data type (ADT), which models the simulation history of a wire, and the transaction ADT, which models the state of an entire instruction as it travels through the microprocessor." @default.
- W149670691 created "2016-06-24" @default.
- W149670691 creator A5003921851 @default.
- W149670691 creator A5012421568 @default.
- W149670691 creator A5087115618 @default.
- W149670691 date "1998-04-22" @default.
- W149670691 modified "2023-09-26" @default.
- W149670691 title "Language Definition DSDL for Hawk" @default.
- W149670691 doi "https://doi.org/10.21236/ada343302" @default.
- W149670691 hasPublicationYear "1998" @default.
- W149670691 type Work @default.
- W149670691 sameAs 149670691 @default.
- W149670691 citedByCount "0" @default.
- W149670691 crossrefType "report" @default.
- W149670691 hasAuthorship W149670691A5003921851 @default.
- W149670691 hasAuthorship W149670691A5012421568 @default.
- W149670691 hasAuthorship W149670691A5087115618 @default.
- W149670691 hasConcept C118524514 @default.
- W149670691 hasConcept C135257023 @default.
- W149670691 hasConcept C199360897 @default.
- W149670691 hasConcept C2780624054 @default.
- W149670691 hasConcept C41008148 @default.
- W149670691 hasConcept C42383842 @default.
- W149670691 hasConceptScore W149670691C118524514 @default.
- W149670691 hasConceptScore W149670691C135257023 @default.
- W149670691 hasConceptScore W149670691C199360897 @default.
- W149670691 hasConceptScore W149670691C2780624054 @default.
- W149670691 hasConceptScore W149670691C41008148 @default.
- W149670691 hasConceptScore W149670691C42383842 @default.
- W149670691 hasLocation W1496706911 @default.
- W149670691 hasOpenAccess W149670691 @default.
- W149670691 hasPrimaryLocation W1496706911 @default.
- W149670691 hasRelatedWork W1532058475 @default.
- W149670691 hasRelatedWork W1652311832 @default.
- W149670691 hasRelatedWork W2118300983 @default.
- W149670691 hasRelatedWork W2135396778 @default.
- W149670691 hasRelatedWork W2166247150 @default.
- W149670691 hasRelatedWork W2243428364 @default.
- W149670691 hasRelatedWork W2462453872 @default.
- W149670691 hasRelatedWork W3207171446 @default.
- W149670691 hasRelatedWork W4243252198 @default.
- W149670691 hasRelatedWork W4245713008 @default.
- W149670691 isParatext "false" @default.
- W149670691 isRetracted "false" @default.
- W149670691 magId "149670691" @default.
- W149670691 workType "report" @default.