Jump to content

Toggle the table of contents

Applications and libraries/Hardware verification

From HaskellWiki

< Applications and libraries

Revision as of 18:32, 2 May 2007 by ARG (talk | contribs) (Libraries and tools/Hardware verification moved to Applications and libraries/Hardware verification)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Applications

Circuit Simulator: David J. King and John O'Donnell's digital circuit simulator

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.

This page contains a list of libraries and tools in a certain category. For a comprehensive list of such pages, see Applications and libraries.

Retrieved from "https://wiki.haskell.org/index.php?title=Applications_and_libraries/Hardware_verification&oldid=12786"