Difference between revisions of "Applications and libraries/Hardware verification"
From HaskellWiki
Bart Massey (talk | contribs) (added Chortl) |
Bart Massey (talk | contribs) (marked Hawk link dead; moved Chortl to alphabetical order) |
||
| Line 7: | Line 7: | ||
:David J. King and John O'Donnell's digital 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. | + | :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. The original link at http://www.cse.ogi.edu/PacSoft/projects/Hawk/ seems to be no longer live. |
| + | |||
| + | ;[http://wiki.cs.pdx.edu/bartforge/chortl/ Chortl] | ||
| + | :Chortl is an extremely simple Haskell EDSL for hardware description. Chortl supports multiple backends. The current backend generates Verilog, and is intended for FPGA designs; near-future intent is to implement backends to generate C, and to provide graphical circuit diagrams. Chortl features include simplicity, a notation reasonably comprehensible by HW folks, the ability to define custom "components" such as adder trees in full Haskell, simplicity, and simplicity. Chortl is in a very early stage of development, so feedback and help are greatly appreciated. | ||
;[http://www.cs.chalmers.se/~koen/Lava/ Lava], [http://raintown.org/lava/ Lava for Xilinx] | ;[http://www.cs.chalmers.se/~koen/Lava/ Lava], [http://raintown.org/lava/ Lava for Xilinx] | ||
:Lava is a hardware description language based upon Haskell. | :Lava is a hardware description language based upon Haskell. | ||
| − | |||
| − | |||
| − | |||
{{LibrariesPage}} | {{LibrariesPage}} | ||
Revision as of 00:30, 22 September 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. The original link at http://www.cse.ogi.edu/PacSoft/projects/Hawk/ seems to be no longer live.
- Chortl
- Chortl is an extremely simple Haskell EDSL for hardware description. Chortl supports multiple backends. The current backend generates Verilog, and is intended for FPGA designs; near-future intent is to implement backends to generate C, and to provide graphical circuit diagrams. Chortl features include simplicity, a notation reasonably comprehensible by HW folks, the ability to define custom "components" such as adder trees in full Haskell, simplicity, and simplicity. Chortl is in a very early stage of development, so feedback and help are greatly appreciated.
- Lava, Lava for Xilinx
- 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.