Exercises in architecture specification using CaSH
Jan Kuper, Christiaan Baaij, Matthijs Kooijman, Marco E. T. Gerards · 2010
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.