论文信息 - Embedding a Hardware Description Language in Template Haskell

Embedding a Hardware Description Language in Template Haskell

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.

John T. O'Donnell

[1] John T. O'Donnell,et al. Generating Netlists from Executable Circuit Specifications , 1992, Functional Programming.

[2] John Launchbury,et al. Functional Programming, Glasgow 1992 , 1993, Workshops in Computing.

[3] Peyton Jones,et al. Haskell 98 language and libraries : the revised report , 2003 .

[4] Simon L. Peyton Jones,et al. Template meta-programming for Haskell , 2002, Haskell '02.

[5] John O'Donnell,et al. Overview of hydra: a concurrent language for synchronous digital circuit design , 2002, Proceedings 16th International Parallel and Distributed Processing Symposium.

[6] Steven D. Johnson. Synthesis of digital designs from recursion equations , 1983 .

[7] Gudula Rünger,et al. Derivation of a logarithmic time carry lookahead addition circuit , 2004, J. Funct. Program..

[8] John T. O'Donnell,et al. Hardware Description with Recursion Equations , 1987 .

[9] Simon L. Peyton Jones. Haskell 98 Libraries: Bibliography , 2003, J. Funct. Program..

[10] John J. O'Donnell. From Transistors to Computer Architecture: Teaching Functional Circuit Specification in Hydra , 1995, FPLE.