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
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;
Conference_Titel :
Specification & Design Languages (FDL 2010), 2010 Forum on
Conference_Location :
Southampton
DOI :
10.1049/ic.2010.0149
