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)
    108 Downloads (Pure)

    Abstract

    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
    Pages178-183
    Number of pages6
    ISBN (Print)1636-9874
    Publication statusPublished - 15 Sep 2010
    EventForum on Specification and Design Languages, FDL 2010 - Southampton, England
    Duration: 13 Sep 201016 Sep 2010

    Publication series

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

    Conference

    ConferenceForum on Specification and Design Languages, FDL 2010
    Period13/09/1016/09/10
    Other13-16 September 2010

    Keywords

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

    Cite this