Embedding a Hardware Description Language in Template Haskell

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.

• Type: Conference
• Year: 2003
• Where: DAGSTUHL
• Authors: John T. O'Donnell
• Keywords: DAGSTUHL 2003, DAGSTUHL 2007, Functional Language, Host Functional Language, Software Logic Probes