Personal tools

Applications and libraries/Hardware verification

From HaskellWiki

< Applications and libraries
Revision as of 17:41, 22 March 2006 by BjornBringert (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
The copyright status of this work is not known. Please help resolve this on the talk page.

Hardware verification

Hawk, Specifying and Prototyping Microprocessors
The goal of the Hawk project is to develop a language for expressing highly abstracted specifications of modern microprocessor designs, to provide design teams with the ability to dynamically explore a wide range of design choices. The Hawk language is Haskell plus the Hawk library.
Lava
Lava is a hardware description language based upon Haskell.