The Lava Homepage
Lava-related papers
  • A Lava Tutorial,
    Koen Claessen, Mary Sheeran, April 2000,
    is a tutorial on Lava used at several different undergraduate and graduate courses at Chalmers. No knowledge about Haskell is assumed.

  • An Embedded Language Approach to Hardware Description and Verification,
    Koen Claessen, Licentiate Thesis, September 2000,
    is a licentiate thesis that describes and compares two different Lava designs.

  • Lava: Hardware Design in Haskell,
    Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh, ICFP, September 1998,
    is about a somewhat older version of Lava, and written for a functional programming audience.

  • Automatic Verification of Combinational and Pipelined FFT Circuits,
    Per Bjesse, CAV, 1999,
    describes the process of verifying three different FFT circuits equivalent, where the description of the circuits is done in a somewhat older version of Lava.



    • [Home] [Download | People | Papers | Related]
    [an error occurred while processing this directive]