The Lava Homepage
|
|
|
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 very useful
even in hardware description.
Currently, there are two versions of Lava in use. One, Chalmers-Lava, developed at Chalmers University of Technology in Sweden, is mainly aimed at interfacing to automatic formal hardware verification tools. The other, Xilinx-Lava, developed at Xilinx Inc., is aimed at generating configurations for Xilinx' FPGAs. We hope to merge these two version soon. To get an idea on what Lava is all about, read the Lava tutorial.
|
|
| [Home] | [Download | People | Papers | Related] |
|
[an error occurred while processing this directive] |
|