The clash-prelude package

[ Tags: bsd2, hardware, library ] [ Propose Tags ]

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:

This package provides:

To use the library:

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]

Properties

Versions 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
Change log CHANGELOG.md
Dependencies array (>=0.5.1.0 && <0.6), base (>=4.8.0.0 && <5), constraints (>=0.8 && <1.0), data-binary-ieee754 (>=0.4.4 && <0.6), 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.2.1 && <0.3), ghc-typelits-knownnat (>=0.2.2 && <0.4), ghc-typelits-natnormalise (>=0.4.2 && <0.6), half (>=0.2.2.3 && <1.0), integer-gmp (>=0.5.1.0 && <1.1), lens (>=4.9 && <4.16), QuickCheck (>=2.7 && <2.11), reflection (>=2 && <2.2), singletons (>=1.0 && <3.0), template-haskell (>=2.9.0.0 && <2.12), vector (>=0.11 && <1.0) [details]
License BSD2
Copyright Copyright © 2013-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-prelude/issues
Source repository head: git clone https://github.com/clash-lang/clash-prelude.git
Uploaded Tue Apr 25 07:18:41 UTC 2017 by ChristiaanBaaij
Updated Mon Jun 26 13:23:46 UTC 2017 by ChristiaanBaaij to revision 2   [What is this?]
Distributions LTSHaskell:0.11.2, NixOS:0.11.2, Tumbleweed:0.11.2
Downloads 7745 total (2035 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Flags

NameDescriptionDefaultType
doctests

You can disable testing with doctests using -f-doctests.

EnabledManual
benchmarks

You can disable testing with benchmarks using -f-benchmarks.

EnabledManual
doclinks

Create hyperlinks to non-dependent packages using -fdoclinks.

DisabledManual

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

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


Readme for clash-prelude-0.11.2

[back to package description]

CλaSH - A functional hardware description language

Build Status Hackage Hackage Dependencies

WARNING Only works with GHC-8.0.* (http://www.haskell.org/ghc/download_ghc_8_0_2)!

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, yet 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.

Support

For updates and questions join the mailing list clash-language+subscribe@googlegroups.com or read the forum