clash-lib: CAES Language for Synchronous Hardware - As a Library
CλaSH (pronounced ‘clash’) is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. The merits of using a functional language to describe hardware comes from the fact that combinational circuits can be directly modelled as mathematical functions and that functional languages lend themselves very well at describing and (de-)composing mathematical functions.
This package provides:
The CoreHW internal language: SystemF + Letrec + Case-decomposition
The normalisation process that brings CoreHW in a normal form that can be converted to a netlist
VHDL Backend
Blackbox/Primitive Handling
Front-ends (for: parsing, typecheck, etc.) are provided by separate packages:
Prelude library: http://hackage.haskell.org/package/clash-prelude
[Skip to Readme]
Downloads
- clash-lib-0.4.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.2, 0.2.0.1, 0.2.1, 0.2.2, 0.2.2.1, 0.3, 0.3.0.1, 0.3.0.2, 0.3.0.3, 0.3.0.4, 0.3.1, 0.3.2, 0.4, 0.4.1, 0.5, 0.5.1, 0.5.2, 0.5.3, 0.5.4, 0.5.5, 0.5.6, 0.5.7, 0.5.8, 0.5.9, 0.5.10, 0.5.11, 0.5.12, 0.5.13, 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.6.11, 0.6.12, 0.6.13, 0.6.14, 0.6.15, 0.6.16, 0.6.17, 0.6.18, 0.6.19, 0.6.20, 0.6.21, 0.7, 0.7.1, 0.99, 0.99.1, 0.99.2, 0.99.3, 1.0.0, 1.0.1, 1.2.0, 1.2.1, 1.2.2, 1.2.3, 1.2.4, 1.2.5, 1.4.0, 1.4.1, 1.4.2, 1.4.3, 1.4.4, 1.4.5, 1.4.6, 1.4.7, 1.6.0, 1.6.1, 1.6.2, 1.6.3, 1.6.4, 1.6.5, 1.6.6, 1.8.0, 1.8.1 (info) |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | aeson (>=0.6.2.0), attoparsec (>=0.10.4.0), base (>=4.6.0.1 && <5), bytestring (>=0.10.0.2), concurrent-supply (>=0.1.7), containers (>=0.5.0.0), contravariant (>=0.4.4), deepseq (>=1.3.0.2), directory (>=1.2.0.1), errors (>=1.4.2), fgl (>=5.4.2.4), filepath (>=1.3.0.1), hashable (>=1.2.1.0), lens (>=3.9.2), ListLike (>=4.0.0), mtl (>=2.1.2), pretty (>=1.1.1.0), process (>=1.1.0.2), template-haskell (>=2.8.0.0), text (>=0.11.3.1), time (>=1.4.0.1), transformers (>=0.3.0.0), unbound (>=0.4.2), unordered-containers (>=0.2.3.3), uu-parsinglib (>=2.8.1), wl-pprint-text (>=1.1.0.0) [details] |
| License | LicenseRef-OtherLicense |
| Copyright | Copyright © 2012-2014 University of Twente |
| Author | Christiaan Baaij |
| Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
| Category | Hardware |
| Home page | http://christiaanb.github.io/clash2 |
| Bug tracker | http://github.com/christiaanb/clash2/issues |
| Source repo | head: git clone https://github.com/christiaanb/clash2.git |
| Uploaded | by ChristiaanBaaij at 2014-11-17T17:15:09Z |
| Distributions | Arch:1.8.1, Stackage:1.8.1 |
| Reverse Dependencies | 10 direct, 0 indirect [details] |
| Downloads | 59403 total (112 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |