Personal tools

Applications and libraries/Hardware verification

From HaskellWiki

< Applications and libraries(Difference between revisions)
Jump to: navigation, search
(+ a digital circuit simulator)
(fmt)
Line 1: Line 1:
{{unknown copyright}}
 
{{LibrariesPage}}
 
  
== Hardware verification ==
+
== Applications ==
 +
 
 +
;[http://www.macs.hw.ac.uk/~gnik/apset/circuit_simulator.lhs Circuit Simulator]
 +
:David J. King and John O'Donnell's digital circuit simulator
  
 
;[http://www.cse.ogi.edu/PacSoft/projects/Hawk/ Hawk, Specifying and Prototyping Microprocessors]
 
;[http://www.cse.ogi.edu/PacSoft/projects/Hawk/ Hawk, Specifying and Prototyping Microprocessors]
Line 10: Line 11:
 
: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]
+
{{LibrariesPage}}
:David J. King and John O'Donnell's digital circuit simulator
+

Revision as of 02:44, 6 December 2006

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.