Applications and libraries/Hardware verification

(Difference between revisions)

Revision as of 00:26, 22 September 2008

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.

@@ 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.
-;[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.
-;[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}}