• DocumentCode
    3234033
  • Title

    Exercises in architecture specification using CλaSH

  • Author

    Kuper, J. ; Baaij, C. ; Kooijman, M. ; Gerards, M.

  • Author_Institution
    Dept. of Comput. Sci., Univ. of Twente, Enschede, Netherlands
  • fYear
    2010
  • fDate
    14-16 Sept. 2010
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    This paper introduces the hardware specifica tion system CλaSH by elaborating on a few non-trivial examples. CλaSH 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.
  • Keywords
    formal specification; hardware description languages; program compilers; rewriting systems; CλaSH; Haskell subset; VHDL; architecture specification; choice constructs; compiling system; hardware specification system; higher order functions; lambda abstraction; pattern matching; polymorphism; rewriting technique;
  • fLanguage
    English
  • Publisher
    iet
  • Conference_Titel
    Specification & Design Languages (FDL 2010), 2010 Forum on
  • Conference_Location
    Southampton
  • Type

    conf

  • DOI
    10.1049/ic.2010.0149
  • Filename
    5775129
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3234033