Personal tools

Applications and libraries/Hardware verification

From HaskellWiki

< Applications and libraries(Difference between revisions)
Jump to: navigation, search
m (HardwareVerification moved to Libraries and tools/Hardware verification)
(+ a digital circuit simulator)
Line 9: Line 9:
 
;[http://www.cs.chalmers.se/~koen/Lava/ Lava]
 
;[http://www.cs.chalmers.se/~koen/Lava/ Lava]
 
:Lava is a hardware description language based upon Haskell.
 
:Lava is a hardware description language based upon Haskell.
  +
  +
;[http://www.macs.hw.ac.uk/~gnik/apset/circuit_simulator.lhs Circuit Simulator]
  +
:David J. King and John O'Donnell's digital circuit simulator

Revision as of 06:07, 30 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.
Circuit Simulator
David J. King and John O'Donnell's digital circuit simulator