clash-prelude: CAES Language for Synchronous Hardware - Prelude 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 CλaSH compiler transforms these high-level descriptions to low-level synthesizable VHDL, Verilog, or SystemVerilog.
Features of CλaSH:
Strongly typed (like VHDL), yet with a very high degree of type inference, enabling both safe and fast prototying using consise descriptions (like Verilog).
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:
Prelude library containing datatypes and functions for circuit design
To use the library:
Import CLaSH.Prelude
Additionally import CLaSH.Prelude.Explicit if you want to design explicitly clocked circuits in a multi-clock setting
A preliminary version of a tutorial can be found in CLaSH.Tutorial, for a general overview of the library you should however check out CLaSH.Prelude. Some circuit examples can be found in CLaSH.Examples.
[Skip to Readme]
Modules
[Index]
- CLaSH
- Annotations
- Class
- CLaSH.Examples
- CLaSH.Prelude
- Promoted
- CLaSH.Signal
- Sized
- CLaSH.Tutorial
Flags
Manual Flags
Name | Description | Default |
---|---|---|
doctests | You can disable testing with doctests using `-f-doctests`. | Enabled |
doclinks | Create hyperlinks to non-dependent packages using `-fdoclinks`. | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- clash-prelude-0.10.14.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.2, 0.3, 0.4, 0.5, 0.5.0.1, 0.5.1, 0.6, 0.6.0.1, 0.7, 0.7.1, 0.7.2, 0.7.3, 0.7.4, 0.7.5, 0.8, 0.8.1, 0.9, 0.9.1, 0.9.2, 0.9.3, 0.10, 0.10.1, 0.10.2, 0.10.3, 0.10.4, 0.10.5, 0.10.6, 0.10.7, 0.10.8, 0.10.9, 0.10.10, 0.10.11, 0.10.13, 0.10.14, 0.11, 0.11.1, 0.11.2, 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 | array (>=0.5.1.0 && <0.6), base (>=4.8.0.0 && <5), data-default (>=0.5.3 && <0.8), deepseq (>=1.4.1.0 && <1.5), ghc-prim (>=0.3.1.0 && <0.6), ghc-typelits-extra (>=0.1 && <0.3), ghc-typelits-natnormalise (>=0.4.1 && <0.6), integer-gmp (>=0.5.1.0 && <1.1), lens (>=4.9 && <4.16), QuickCheck (>=2.7 && <2.10), reflection (>=2 && <2.2), singletons (>=1.0 && <3.0), template-haskell (>=2.9.0.0 && <2.12), th-lift (>=0.5.6) [details] |
License | BSD-2-Clause |
Copyright | Copyright © 2013-2016 University of Twente |
Author | Christiaan Baaij |
Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
Revised | Revision 1 made by ChristiaanBaaij at 2016-10-17T14:12:54Z |
Category | Hardware |
Home page | http://www.clash-lang.org/ |
Bug tracker | http://github.com/clash-lang/clash-prelude/issues |
Source repo | head: git clone https://github.com/clash-lang/clash-prelude.git |
Uploaded | by ChristiaanBaaij at 2016-08-21T08:35:39Z |
Distributions | Arch:1.8.1, LTSHaskell:1.8.1, NixOS:1.8.1, Stackage:1.8.1 |
Reverse Dependencies | 17 direct, 2 indirect [details] |
Downloads | 49382 total (115 in the last 30 days) |
Rating | 2.5 (votes: 3) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2016-08-21 [all 1 reports] |