The clash-lib 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:

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 (info)
Change log CHANGELOG.md
Dependencies aeson (>=0.6.2.0 && <1.3), attoparsec (>=0.10.4.0 && <0.14), base (>=4.8 && <5), bytestring (>=0.10.0.2 && <0.11), clash-prelude (==0.11.*), 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.3), fgl (>=5.4.2.4 && <5.6), filepath (>=1.3.0.1 && <1.5), ghc (>=8.0.1 && <8.2), hashable (>=1.2.1.0 && <1.3), integer-gmp (==1.0.*), lens (>=3.9.2 && <4.16), mtl (>=2.1.2 && <2.3), pretty (>=1.1.1.0 && <1.2), process (>=1.1.0.2 && <1.5), template-haskell (>=2.8.0.0 && <2.12), text (>=0.11.3.1 && <1.3), time (>=1.4.0.1 && <1.8), transformers (>=0.3.0.0 && <0.6), unbound-generics (>=0.1 && <0.4), unordered-containers (>=0.2.3.3 && <0.3), uu-parsinglib (>=2.8.1 && <2.10), wl-pprint-text (>=1.1.0.0 && <1.2) [details]
License BSD2
Copyright Copyright © 2012-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-compiler/issues
Source repository head: git clone https://github.com/clash-lang/clash-compiler.git
Uploaded Tue Apr 11 11:38:18 UTC 2017 by ChristiaanBaaij
Updated Fri Jun 30 07:10:30 UTC 2017 by ChristiaanBaaij to revision 2
Distributions LTSHaskell:0.7.1, NixOS:0.7.1, Tumbleweed:0.7.1
Downloads 7092 total (116 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2017-04-11 [all 3 reports]
Hackage Matrix CI

Modules

  • CLaSH
    • CLaSH.Backend
    • Core
      • CLaSH.Core.DataCon
      • CLaSH.Core.FreeVars
      • CLaSH.Core.Literal
      • CLaSH.Core.Pretty
      • CLaSH.Core.Subst
      • CLaSH.Core.Term
      • CLaSH.Core.TyCon
      • CLaSH.Core.Type
      • CLaSH.Core.TysPrim
      • CLaSH.Core.Util
      • CLaSH.Core.Var
    • CLaSH.Driver
      • CLaSH.Driver.TestbenchGen
      • CLaSH.Driver.TopWrapper
      • CLaSH.Driver.Types
    • CLaSH.Netlist
      • CLaSH.Netlist.BlackBox
        • CLaSH.Netlist.BlackBox.Parser
        • CLaSH.Netlist.BlackBox.Types
        • CLaSH.Netlist.BlackBox.Util
      • CLaSH.Netlist.Id
      • CLaSH.Netlist.Types
      • CLaSH.Netlist.Util
    • CLaSH.Normalize
      • CLaSH.Normalize.DEC
      • CLaSH.Normalize.PrimitiveReductions
      • CLaSH.Normalize.Strategy
      • CLaSH.Normalize.Transformations
      • CLaSH.Normalize.Types
      • CLaSH.Normalize.Util
    • Primitives
      • CLaSH.Primitives.Types
      • CLaSH.Primitives.Util
    • Rewrite
      • CLaSH.Rewrite.Combinators
      • CLaSH.Rewrite.Types
      • CLaSH.Rewrite.Util
    • CLaSH.Util

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for clash-lib-0.7.1

[back to package description]

clash-lib - CλaSH compiler, as a library

  • See the LICENSE file for license and copyright details

CλaSH - A functional hardware description language

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 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