[Haskell] ANNOUNCE: Lava2000 on Hackage
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:
More information about the Haskell