clash-lib: CAES Language for Synchronous Hardware - As a Library
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
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
Signals, lead to natural descriptions of feedback loops.Support for multiple clock domains, with type safe clock domain crossing.
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
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]
Properties
| Versions | 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.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 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | aeson (>=0.6.2.0 && <1.5), ansi-wl-pprint (>=0.6.8.2 && <1.0), attoparsec (>=0.10.4.0 && <0.14), base (>=4.8 && <5), bytestring (>=0.10.0.2 && <0.11), clash-prelude (>=0.11.1 && <1.0), concurrent-supply (>=0.1.7 && <0.2), containers (>=0.5.0.0 && <0.6), data-binary-ieee754 (>=0.4.4 && <0.6), deepseq (>=1.3.0.2 && <1.5), directory (>=1.2.0.1 && <1.4), errors (>=1.4.2 && <2.4), fgl (>=5.4.2.4 && <5.7), filepath (>=1.3.0.1 && <1.5), ghc (>=8.0.2 && <8.6), hashable (>=1.2.1.0 && <1.3), integer-gmp (>=1.0 && <1.1), lens (>=3.9.2 && <4.18), mtl (>=2.1.2 && <2.3), parsers (>=0.12.8 && <1.0), prettyprinter (>=1.2.0.1 && <2.0), process (>=1.1.0.2 && <1.7), reducers (>=3.12.2 && <4.0), template-haskell (>=2.8.0.0 && <2.14), text (>=0.11.3.1 && <1.3), time (>=1.4.0.1 && <1.9), transformers (>=0.3.0.0 && <0.6), trifecta (>=1.7.1.1 && <2.0), unbound-generics (>=0.1 && <0.4), unordered-containers (>=0.2.3.3 && <0.3) [details] |
| License | BSD-2-Clause |
| Copyright | Copyright © 2012-2016, University of Twente, 2016-2017, Myrtle Software Ltd, 2017 , QBayLogic, Google Inc. |
| 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 2018-07-04T10:36:02Z |
Modules
[Index] [Quick Jump]
- Clash
- Clash.Backend
- Core
- Clash.Driver
- Clash.Netlist
- Clash.Normalize
- Primitives
- Rewrite
- Clash.Util
Downloads
- clash-lib-0.99.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees