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.
|Publisher||ECSI Electronic Chips & Systems design Initiative|
|Conference||Forum on Specification and Design Languages, FDL 2010|
|Period||13/09/10 → 16/09/10|
|Other||13-16 September 2010|
- EC Grant Agreement nr.: FP7/248465