Architecture Specifications in CλaSH

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

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    1 Citation (Scopus)
    87 Downloads (Pure)


    This paper introduces CλaSH, a novel hardware specification environment, by discussing several non-trivial examples. CλaSH is based on the functional language Haskell, and exploits many of its powerful abstraction mechanisms such as higher order functions, polymorphism, lambda abstraction, pattern matching, type derivation. As a result, specifications in CλaSH are concise and semantically clear, and simulations can be directly executed within a Haskell evaluation environment. CλaSH generates synthesizable low-level VHDL code by applying several transformation rules to a functional specification of a digital circuit.
    Original languageUndefined
    Title of host publicationSystem Specification and Design Languages
    EditorsT.J. Kaźmierski, A. Morawiec
    Place of PublicationNew York
    Number of pages16
    ISBN (Print)978-1-4614-1426-1
    Publication statusPublished - 2 Dec 2011

    Publication series

    NameLecture Notes in Electrical Engineering
    PublisherSpringer Verlag


    • METIS-287938
    • EC Grant Agreement nr.: FP7/248465
    • EWI-22072
    • IR-80924

    Cite this