Exercises in architecture specification using CλaSH

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

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

    3 Citations (Scopus)
    96 Downloads (Pure)


    This paper introduces the hardware specification system ClaSH by elaborating on a few non-trivial examples. ClaSH is a compiling system that translates a subset of Haskell into synthesizable VHDL by a rewriting technique. This subset of Haskell includes higher order functions, polymorphism, lambda abstraction, pattern matching, and choice constructs.
    Original languageUndefined
    Title of host publicationProceedings of Forum on Specification and Design Languages, FDL 2010
    Place of PublicationGières, France
    PublisherECSI Electronic Chips & Systems design Initiative
    Number of pages6
    ISBN (Print)1636-9874
    Publication statusPublished - 15 Sep 2010

    Publication series

    PublisherECSI Electronic Chips & Systems design Initiative
    ISSN (Print)1636-9874


    • IR-75093
    • EC Grant Agreement nr.: FP7/248465
    • EWI-18460
    • METIS-275648

    Cite this