Hardware Specification with C \varvecλ aSH

C\(\lambda \)aSH is a recently developed system to specify and synthesize hardware architectures, strongly based on the functional programming language Haskell. Different from other existing approaches to describe hardware in a functional style, C\(\lambda \)aSH is not defined as an embedded language inside Haskell, but instead, C\(\lambda \)aSH uses Haskell itself to specify hardware architectures. In fact, every C\(\lambda \)aSH specification is an executable Haskell program. Hence, the simulation of a hardware architecture is immediate, and all abstraction mechanisms that are available in Haskell are maintained in C\(\lambda \)aSH, insofar they are directly applicable to the specification of hardware.