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) |
(the link http://funhdl.org/wiki/doku.php/atom points to advertisemnt only) |
||
| (6 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
| − | |||
== Applications == |
== Applications == |
||
| + | |||
| + | ;[http://www.ict.kth.se/org/ict/ecs/sam/projects/forsyde/www/ ForSyDe] |
||
| + | : The ForSyDe (Formal System Design) methodology is implemented as a Haskell-based DSL. ForSyDe's embedded compiler is capable of translating system models to synthesizable VHDL. Moreover it is able to interface with third party EDA tools such as Altera's [http://www.model.com/ Modelsim] and [http://www.altera.com/products/software/quartus-ii/subscription-edition/qts-se-index.html Quartus II]. |
||
| + | |||
| + | ;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] |
||
: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.html 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://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. |
||
Revision as of 12:52, 18 March 2010
Applications
- ForSyDe
- The ForSyDe (Formal System Design) methodology is implemented as a Haskell-based DSL. ForSyDe's embedded compiler is capable of translating system models to synthesizable VHDL. Moreover it is able to interface with third party EDA tools such as Altera's Modelsim and Quartus II.
- 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.