"Lava is an experimental system design to aid the digital design of circuits by providing a powerful library for composing structural circuit descriptions." This version from Satnam Singh outputs Xilinx EDIF netlists.
Lava is a hardware description language based upon the functional programming language Haskell. Its main aim is to show that modern programming language features such as type inference, polymorphism<sep/>
A processor for executing Haskell on FPGA,exploring how custom architectural features can improve speed. Described in Haskell (using Lava), also serves as an application of FP to the design of complex circuits such as CPUs.
Lava is a hardware description language based upon the functional programming language Haskell. Its main aim is to show that modern programming language features such as type inference, polymorphism, higher-order functions, type classes, and laziness are