Embedding a Hardware Description Language in Template Haskell Export

@incollection{citeulike:2691672, 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.}, author = {O'donnell, John T.}, citeulike-article-id = {2691672}, citeulike-linkout-0 = {http://www.springerlink.com/content/u3a3n59nmdm6aay5}, journal = {Domain-Specific Program Generation}, keywords = {functionalprogramming, hardware, haskell, metaprogramming}, pages = {143--164}, posted-at = {2008-04-20 05:43:35}, priority = {2}, title = {Embedding a Hardware Description Language in Template Haskell}, url = {http://www.springerlink.com/content/u3a3n59nmdm6aay5}, year = {2004} }

TY - CHAP ID - citeulike:2691672 L3 - citeulike-article-id:2691672 N2 - 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. JF - Domain-Specific Program Generation EP - 164 TI - Embedding a Hardware Description Language in Template Haskell SP - 143 KW - functionalprogramming KW - hardware KW - haskell KW - metaprogramming AU - O’donnell, John PY - 2004/// UR - http://www.springerlink.com/content/u3a3n59nmdm6aay5 ER -