Difference between revisions of "Applications and libraries/Hardware verification"
Jump to navigation
Jump to search
Tomahawkins (talk | contribs) |
m (added link to Lava for Xilinx) |
||
| Line 12: | Line 12: | ||
;[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://raintown.org/lava/ Lava for Xilinx] |
||
| + | :dito |
||
{{LibrariesPage}} |
{{LibrariesPage}} |
||
Revision as of 11:26, 11 July 2008
Applications
- Atom
- Atom is a hardware description language embedded in Haskell. Atom compiles conditional term rewriting systems to Verilog and VHDL for IC simulation, verification, and synthesis.
- 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.
- Lava for Xilinx
- dito
This page contains a list of libraries and tools in a certain category. For a comprehensive list of such pages, see Applications and libraries.