Difference between revisions of "Applications and libraries/Hardware verification"
Jump to navigation
Jump to search
m (Libraries and tools/Hardware verification moved to Applications and libraries/Hardware verification) |
Tomahawkins (talk | contribs) |
||
Line 1: | Line 1: | ||
− | |||
== Applications == |
== Applications == |
||
+ | |||
+ | ;[http://funhdl.org/wiki/doku.php/atom 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. |
||
;[http://www.macs.hw.ac.uk/~gnik/apset/circuit_simulator.lhs Circuit Simulator] |
;[http://www.macs.hw.ac.uk/~gnik/apset/circuit_simulator.lhs Circuit Simulator] |
Revision as of 18:57, 3 May 2007
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.
This page contains a list of libraries and tools in a certain category. For a comprehensive list of such pages, see Applications and libraries.