The Lava Homepage
Downloading and Installing Lava

To install Lava, one needs the following:
  • The Lava Package (there is also an older version).

  • Hugs98 and/or GHC, a widely used Haskell interpreter and compiler,

  • VIS, and/or SMV, and/or FixIt. This is needed only when you want to formally verify properties of your circuits. So far, the interfacing to the verification tools only works on UNIX systems.
  • Warning: The Lava linked to here only seems to work in older versions of Hugs and/or GHC. We are currently hacking up a new version of Lava.



    [Home] [Download | People | Papers | Related]

    [an error occurred while processing this directive]