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

    Abstract

    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
    PublisherSpringer
    Pages191-206
    Number of pages16
    ISBN (Print)978-1-4614-1426-1
    DOIs
    Publication statusPublished - 2 Dec 2011

    Publication series

    NameLecture Notes in Electrical Engineering
    PublisherSpringer Verlag
    Number106
    Volume106

    Keywords

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

    Cite this

    Kuper, J., Baaij, C. P. R., Kooijman, M., & Gerards, M. E. T. (2011). Architecture Specifications in CλaSH. In T. J. Kaźmierski, & A. Morawiec (Eds.), System Specification and Design Languages (pp. 191-206). (Lecture Notes in Electrical Engineering; Vol. 106, No. 106). New York: Springer. https://doi.org/10.1007/978-1-4614-1427-8_12
    Kuper, Jan ; Baaij, C.P.R. ; Kooijman, Matthijs ; Gerards, Marco Egbertus Theodorus. / Architecture Specifications in CλaSH. System Specification and Design Languages. editor / T.J. Kaźmierski ; A. Morawiec. New York : Springer, 2011. pp. 191-206 (Lecture Notes in Electrical Engineering; 106).
    @inbook{e9522dd8a8e7463eb7be645fbabd0466,
    title = "Architecture Specifications in CλaSH",
    abstract = "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.",
    keywords = "METIS-287938, EC Grant Agreement nr.: FP7/248465, EWI-22072, IR-80924",
    author = "Jan Kuper and C.P.R. Baaij and Matthijs Kooijman and Gerards, {Marco Egbertus Theodorus}",
    note = "eemcs-eprint-22072",
    year = "2011",
    month = "12",
    day = "2",
    doi = "10.1007/978-1-4614-1427-8_12",
    language = "Undefined",
    isbn = "978-1-4614-1426-1",
    series = "Lecture Notes in Electrical Engineering",
    publisher = "Springer",
    number = "106",
    pages = "191--206",
    editor = "T.J. Kaźmierski and A. Morawiec",
    booktitle = "System Specification and Design Languages",

    }

    Kuper, J, Baaij, CPR, Kooijman, M & Gerards, MET 2011, Architecture Specifications in CλaSH. in TJ Kaźmierski & A Morawiec (eds), System Specification and Design Languages. Lecture Notes in Electrical Engineering, no. 106, vol. 106, Springer, New York, pp. 191-206. https://doi.org/10.1007/978-1-4614-1427-8_12

    Architecture Specifications in CλaSH. / Kuper, Jan; Baaij, C.P.R.; Kooijman, Matthijs; Gerards, Marco Egbertus Theodorus.

    System Specification and Design Languages. ed. / T.J. Kaźmierski; A. Morawiec. New York : Springer, 2011. p. 191-206 (Lecture Notes in Electrical Engineering; Vol. 106, No. 106).

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

    TY - CHAP

    T1 - Architecture Specifications in CλaSH

    AU - Kuper, Jan

    AU - Baaij, C.P.R.

    AU - Kooijman, Matthijs

    AU - Gerards, Marco Egbertus Theodorus

    N1 - eemcs-eprint-22072

    PY - 2011/12/2

    Y1 - 2011/12/2

    N2 - 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.

    AB - 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.

    KW - METIS-287938

    KW - EC Grant Agreement nr.: FP7/248465

    KW - EWI-22072

    KW - IR-80924

    U2 - 10.1007/978-1-4614-1427-8_12

    DO - 10.1007/978-1-4614-1427-8_12

    M3 - Chapter

    SN - 978-1-4614-1426-1

    T3 - Lecture Notes in Electrical Engineering

    SP - 191

    EP - 206

    BT - System Specification and Design Languages

    A2 - Kaźmierski, T.J.

    A2 - Morawiec, A.

    PB - Springer

    CY - New York

    ER -

    Kuper J, Baaij CPR, Kooijman M, Gerards MET. Architecture Specifications in CλaSH. In Kaźmierski TJ, Morawiec A, editors, System Specification and Design Languages. New York: Springer. 2011. p. 191-206. (Lecture Notes in Electrical Engineering; 106). https://doi.org/10.1007/978-1-4614-1427-8_12