[Haskell] ANNOUNCE: Lava2000 on Hackage

Emil Axelsson emax at chalmers.se
Wed Aug 20 11:40:43 EDT 2008


Lava2000 has been uploaded to Hackage:


Lava is a structural hardware description library embedded in Haskell. This
version of Lava focuses on verification, and connects to a number of different
verification engines (although only Smv and Satzoo are maintained in this
version). For documentation, see the tutorial included in the package.

The code is located at


People who have other modified versions of the library are welcome to submit
patches, so that we get a single version that can be used by everyone.

A different version of Lava, with focus on FPGA generation, can be found on
Satnam Sing's page:


/ Emil

More information about the Haskell mailing list