CλaSH: Structural Descriptions of Synchronous Hardware using Haskell

C.P.R. Baaij, Matthijs Kooijman, Jan Kuper, W.A. Boeijink, Marco Egbertus Theodorus Gerards

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    83 Citations (Scopus)
    586 Downloads (Pure)

    Abstract

    CλaSH is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. Polymorphism and higher-order functions provide a level of abstraction and generality that allow a circuit designer to describe circuits in a more natural way than possible with the language elements found in the traditional hardware description languages. Circuit descriptions can be translated to synthesizable VHDL using the prototype CλaSH compiler. As the circuit descriptions, simulation code, and test input are also valid Haskell, complete simulations can be done by a Haskell compiler or interpreter, allowing high-speed simulation and analysis.
    Original languageEnglish
    Title of host publicationProceedings of the 13th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools
    Place of PublicationUSA
    PublisherIEEE
    Pages714-721
    Number of pages8
    ISBN (Print)978-0-7695-4171-6
    DOIs
    Publication statusPublished - Sept 2010
    Event13th EUROMICRO Conference on Digital System Design, DSD 2010: Architectures, Methods and Tools - Lille, France
    Duration: 1 Sept 20103 Sept 2010
    Conference number: 13

    Publication series

    Name
    PublisherIEEE Computer Society

    Conference

    Conference13th EUROMICRO Conference on Digital System Design, DSD 2010
    Abbreviated titleDSD
    Country/TerritoryFrance
    CityLille
    Period1/09/103/09/10

    Keywords

    • METIS-277424
    • EWI-18376
    • EC Grant Agreement nr.: FP7/248465
    • IR-73124

    Fingerprint

    Dive into the research topics of 'CλaSH: Structural Descriptions of Synchronous Hardware using Haskell'. Together they form a unique fingerprint.

    Cite this