Lava

Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh
1998 Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98  
Lava is a tool to assist circuit designers in specifying, designing, verifying and implementing hardware. It is a collection of Haskell modules. The system design exploits functional programming language features, such as monads and type classes, to provide multiple interpretations of circuit descriptions. These interpretations implement standard circuit analyses such as simulation, formal verification and the generation of code for the production of real circuits. Lava also uses polymorphism
more » ... d higher order functions to provide more abstract and general descriptions than are possible in traditional hardware description languages. Two Fast Fourier Transform circuit examples illustrate this.
doi:10.1145/289423.289440 dblp:conf/icfp/BjesseCSS98 fatcat:xhlfvxtbifg7nfvutm2dp7vndm