clash-verilog: CAES Language for Synchronous Hardware - Verilog backend
CλaSH (pronounced ‘clash’) is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. The CλaSH compiler transforms these high-level descriptions to low-level synthesizable VHDL, Verilog, or SystemVerilog.
Features of CλaSH:
Strongly typed, but with a very high degree of type inference, enabling both safe and fast prototyping using concise descriptions.
Interactive REPL: load your designs in an interpreter and easily test all your component without needing to setup a test bench.
Higher-order functions, with type inference, result in designs that are fully parametric by default.
Synchronous sequential circuit design based on streams of values, called
Signal
s, lead to natural descriptions of feedback loops.Support for multiple clock domains, with type safe clock domain crossing.
This package provides:
Verilog Backend
[Skip to Readme]
Downloads
- clash-verilog-0.7.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.5.5, 0.5.6, 0.5.7, 0.5.8, 0.5.9, 0.5.10, 0.6, 0.6.1, 0.6.2, 0.6.3, 0.6.4, 0.6.5, 0.6.6, 0.6.7, 0.6.8, 0.6.9, 0.6.10, 0.7, 0.7.1, 0.7.2 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.6.0.1 && <5), clash-lib (>=0.7 && <0.8), clash-prelude (>=0.11 && <0.12), fgl (>=5.4.2.4 && <5.6), hashable (>=1.2.1.0 && <1.3), lens (>=3.9.2 && <4.16), mtl (>=2.1.2 && <2.3), text (>=0.11.3.1 && <1.3), unordered-containers (>=0.2.3.3 && <0.3), wl-pprint-text (>=1.1.0.0 && <1.2) [details] |
License | BSD-2-Clause |
Copyright | Copyright © 2015-2016 University of Twente, 2017, QBayLogic |
Author | Christiaan Baaij |
Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
Category | Hardware |
Home page | http://www.clash-lang.org/ |
Bug tracker | http://github.com/clash-lang/clash-compiler/issues |
Source repo | head: git clone https://github.com/clash-lang/clash-compiler.git |
Uploaded | by ChristiaanBaaij at 2017-04-25T08:53:12Z |
Distributions | |
Reverse Dependencies | 2 direct, 4 indirect [details] |
Downloads | 14785 total (52 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2017-04-25 [all 3 reports] |