Clash is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. The Clash compiler transforms these high-level descriptions to low-level synthesizable VHDL, Verilog, or SystemVerilog.

Features of Clash:

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

• Prelude library containing datatypes and functions for circuit design

To use the library:

• Import Clash.Prelude

• Alternatively, if you want to explicitly route clock and reset ports, for more straightforward multi-clock designs, you can import the Clash.Explicit.Prelude module. Note that you should not import Clash.Prelude and Clash.Explicit.Prelude at the same time as they have overlapping definitions.

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] [Quick Jump]

Flags

Manual Flags

Name	Description	Default
large-tuples	Generate instances for classes such as NFDataX and BitPack for tuples up to and including 62 elements - the GHC imposed maximum. Note that this greatly increases compile times for `clash-prelude`.	Disabled
super-strict	Use deepseqX (instead of seqX) in register-like constructs. This can help to eliminate space leaks when using lazy data structures in registers-like constructs. This potentially slows down Clash hardware simulation.	Disabled
strict-mapsignal	Use seqX in mapSignal#. This can help to eliminate space leaks in long running simulations.	Disabled
multiple-hidden	Allow multiple hidden clocks, resets, and enables to be used. This is an experimental feature, possibly triggering confusing error messages. By default, it is enabled on development versions of Clash and disabled on releases.	Disabled
doctests	You can disable testing with doctests using `-f-doctests`.	Enabled
unittests	You can disable testing with unittests using `-f-unittests`.	Enabled
benchmarks	You can disable testing with benchmarks using `-f-benchmarks`.	Enabled
workaround-ghc-mmap-crash	Only use this flag when hit by GHC bug #19421. See clash-compiler PR #2444.	Disabled

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

Downloads

• clash-prelude-1.8.1.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

Package maintainers

• ChristiaanBaaij, QBayLogic

For package maintainers and hackage trustees

• edit package information

Candidates

• 0.99.1, 0.99.2, 0.99.3, 0.9999, 1.0.0, 1.0.1, 1.1.0, 1.2.0, 1.2.1, 1.2.2, 1.2.3, 1.2.4, 1.2.5, 1.3.0, 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.5.0, 1.6.3, 1.6.4, 1.6.5, 1.6.6, 1.7.0, 1.8.0, 1.8.1, 1.9.0