Embedding a hardware description language in Template Haskell

6Citations
Citations of this article
9Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification fit well within functional languages, leading in many cases to a perfect embedding. There are some situations, including netlist generation and software logic probes, where the DSL does not fit exactly within the host functional language. A new solution to these problems is based on program transformations performed automatically by metaprograms in Template Haskell.

Cite

CITATION STYLE

APA

O’Donnell, J. T. (2004). Embedding a hardware description language in Template Haskell. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3016, pp. 143–164). Springer Verlag. https://doi.org/10.1007/978-3-540-25935-0_9

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free