Difference between revisions of "Applications and libraries/Hardware verification"
Jump to navigation
Jump to search
DonStewart (talk | contribs) (+ a digital circuit simulator) |
DonStewart (talk | contribs) (fmt) |
||
Line 1: | Line 1: | ||
− | {{unknown copyright}} |
||
⚫ | |||
− | == |
+ | == Applications == |
+ | |||
⚫ | |||
⚫ | |||
;[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. |
||
⚫ | |||
⚫ | |||
⚫ |
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.