Matches in SemOpenAlex for { <https://semopenalex.org/work/W1859643858> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1859643858 abstract "In previous work we have demonstrated how the functional language SAFL can be used as a behavioural hardware description language. Other work (such as µFP and Lava) has demonstrated that functional languages are apposite for structural hardware description.One of the strengths of systems such as VHDL and Verilog is their ability to mix structural- and behavioural-level primitives in a single specification. Motivated by this observation, we describe a unified framework in which a stratified functional language is used to specify hardware across different levels of abstraction: Lava-style structural expansion is used to generate acyclic combinatorial circuits; these combinatorial fragments are composed at the SAFL-level. We demonstrate the utility of this programming paradigm by means of a realistic case-study. Our tools have been used to specify, simulate and synthesise a DES encryption/ decryption circuit. Area-time performance figures are presented.Finally, we show how similar integration techniques can be used to embed languages such as Magma/Lava into industrial HDLs such as Verilog and VHDL. Our methodology offers significant advantages over the Perlscript technique so commonly employed in practice." @default.
- W1859643858 created "2016-06-24" @default.
- W1859643858 creator A5035716030 @default.
- W1859643858 date "2002-01-01" @default.
- W1859643858 modified "2023-09-24" @default.
- W1859643858 title "Functional Design Using Behavioural and Structural Components" @default.
- W1859643858 cites W1523264534 @default.
- W1859643858 cites W1523648047 @default.
- W1859643858 cites W1595601404 @default.
- W1859643858 cites W1608252846 @default.
- W1859643858 cites W1829244603 @default.
- W1859643858 cites W1848569759 @default.
- W1859643858 cites W1978537577 @default.
- W1859643858 cites W2003131643 @default.
- W1859643858 cites W4248352158 @default.
- W1859643858 doi "https://doi.org/10.1007/3-540-36126-x_20" @default.
- W1859643858 hasPublicationYear "2002" @default.
- W1859643858 type Work @default.
- W1859643858 sameAs 1859643858 @default.
- W1859643858 citedByCount "4" @default.
- W1859643858 crossrefType "book-chapter" @default.
- W1859643858 hasAuthorship W1859643858A5035716030 @default.
- W1859643858 hasConcept C111472728 @default.
- W1859643858 hasConcept C118524514 @default.
- W1859643858 hasConcept C124304363 @default.
- W1859643858 hasConcept C138885662 @default.
- W1859643858 hasConcept C149635348 @default.
- W1859643858 hasConcept C199360897 @default.
- W1859643858 hasConcept C2779030575 @default.
- W1859643858 hasConcept C36941000 @default.
- W1859643858 hasConcept C41008148 @default.
- W1859643858 hasConcept C42143788 @default.
- W1859643858 hasConcept C42383842 @default.
- W1859643858 hasConcept C42935608 @default.
- W1859643858 hasConcept C80444323 @default.
- W1859643858 hasConceptScore W1859643858C111472728 @default.
- W1859643858 hasConceptScore W1859643858C118524514 @default.
- W1859643858 hasConceptScore W1859643858C124304363 @default.
- W1859643858 hasConceptScore W1859643858C138885662 @default.
- W1859643858 hasConceptScore W1859643858C149635348 @default.
- W1859643858 hasConceptScore W1859643858C199360897 @default.
- W1859643858 hasConceptScore W1859643858C2779030575 @default.
- W1859643858 hasConceptScore W1859643858C36941000 @default.
- W1859643858 hasConceptScore W1859643858C41008148 @default.
- W1859643858 hasConceptScore W1859643858C42143788 @default.
- W1859643858 hasConceptScore W1859643858C42383842 @default.
- W1859643858 hasConceptScore W1859643858C42935608 @default.
- W1859643858 hasConceptScore W1859643858C80444323 @default.
- W1859643858 hasLocation W18596438581 @default.
- W1859643858 hasOpenAccess W1859643858 @default.
- W1859643858 hasPrimaryLocation W18596438581 @default.
- W1859643858 hasRelatedWork W1015377506 @default.
- W1859643858 hasRelatedWork W176122079 @default.
- W1859643858 hasRelatedWork W1787594487 @default.
- W1859643858 hasRelatedWork W1827885981 @default.
- W1859643858 hasRelatedWork W1984865692 @default.
- W1859643858 hasRelatedWork W2003131643 @default.
- W1859643858 hasRelatedWork W2049600101 @default.
- W1859643858 hasRelatedWork W2412379106 @default.
- W1859643858 hasRelatedWork W2800692726 @default.
- W1859643858 hasRelatedWork W58698488 @default.
- W1859643858 isParatext "false" @default.
- W1859643858 isRetracted "false" @default.
- W1859643858 magId "1859643858" @default.
- W1859643858 workType "book-chapter" @default.