Personal tools

Applications and libraries/Hardware verification

From HaskellWiki

< Applications and libraries(Difference between revisions)
Jump to: navigation, search
m (added link to Lava for Xilinx)
(added Chortl)
Line 10: Line 10:
 
: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.
   
;[http://www.cs.chalmers.se/~koen/Lava/ Lava]
+
;[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.
;[http://raintown.org/lava/ Lava for Xilinx]
+
:dito
+
;[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.
   
 
{{LibrariesPage}}
 
{{LibrariesPage}}

Revision as of 00:26, 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.
Lava, Lava for Xilinx
Lava is a hardware description language based upon Haskell.
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.

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