@hackage clash-lib1.2.2
CAES Language for Synchronous Hardware - As a Library
Installation
Dependencies (44)
- aeson >=0.6.2.0 && <1.5
- ansi-terminal >=0.8.0.0 && <0.11
- attoparsec >=0.10.4.0 && <0.14
- base >=4.11 && <5
- binary >=0.8.5 && <0.11
- bytestring >=0.10.0.2 && <0.11 Show all…
Dependents (11)
@hackage/clash-verilog, @hackage/clash-systemverilog, @hackage/clash-vhdl, @hackage/clash-vexriscv, @hackage/acme-everything, @hackage/clash-ghc, Show all…
Package Flags
debug
(off by default)
Build a debug compiler
history
(off by default)
Emit rewrite history to disk
unittests
(on by default)
You can disable testing with unittests using `-f-unittests`.
clash-lib - Clash compiler, as a library
- See the LICENSE file for license and copyright details
Clash - A functional hardware description language
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 (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