clash-lib: CAES Language for Synchronous Hardware - As a Library

[ bsd2, hardware, library, program ] [ Propose Tags ] [ Report a vulnerability ]

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

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 2015-02-04T14:10:43Z
Distributions Arch:1.8.1, NixOS:1.8.1
Reverse Dependencies 10 direct, 0 indirect [details]
Downloads 59769 total (57 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-02-04 [all 1 reports]

Readme for clash-lib-0.4.1

[back to package description]

Support

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

clash-lib

  • See the LICENSE file for license and copyright details

clash-ghc

  • See the LICENSE file for license and copyright details
  • Contains code from the GHC compiler, see the LICENSE_GHC file for license and copyright details pertaining to that code.