Applications and libraries/Hardware verification
- 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 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 Applications and libraries.