Difference between revisions of "Applications and libraries/Hardware verification"

Revision as of 02:44, 6 December 2006

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.

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

@@ 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]
@@ Line 10: / Line 11: @@
 :Lava is a hardware description language based upon Haskell.
+{{LibrariesPage}}
-;[http://www.macs.hw.ac.uk/~gnik/apset/circuit_simulator.lhs Circuit Simulator]
-:David J. King and John O'Donnell's digital circuit simulator