Hardware Specification with C $$\varvec{\lambda }$$ aSH

Autor: Jan Kuper
Rok vydání: 2015
Předmět:
Zdroj: Central European Functional Programming School ISBN: 9783319159393
Popis: 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.
Databáze: OpenAIRE