Applications and libraries/Hardware verification
From HaskellWiki
(Difference between revisions)
| Line 1: | Line 1: | ||
{{unknown copyright}} | {{unknown copyright}} | ||
| + | {{LibrariesPage}} | ||
== Hardware verification == | == Hardware verification == | ||
Revision as of 18:15, 22 March 2006
- The copyright status of this work is not known. Please help resolve this on the talk page.
This page contains a list of libraries and tools in a certain category. For a comprehensive list of such pages, see Libraries and tools.
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.
