软件包:haskell-clash-lib-utils(1.8.1-1) [debports]
Functional hardware description language - library
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 bothsafe and fast prototyping using concise descriptions.
* Interactive REPL: load your designs in an interpreter and easily test allyour component without needing to setup a test bench.
* Higher-order functions, with type inference, result in designs that arefully parametric by default.
* Synchronous sequential circuit design based on streams of values, called@Signal@s, lead to natural descriptions of feedback loops.
* Support for multiple clock domains, with type safe clock domain crossing.
This package provides:
* The CoreHW internal language: SystemF + Letrec + Case-decomposition
* The normalisation process that brings CoreHW in a normal form that can beconverted to a netlist
* Blackbox/Primitive Handling
Front-ends (for: parsing, typecheck, etc.) are provided by separate packages:
* <https://hackage.haskell.org/package/clash-ghc GHC/Haskell Frontend>
* <https://github.com/christiaanb/Idris-dev Idris Frontend>
Prelude library: <https://hackage.haskell.org/package/clash-prelude>
其他与 haskell-clash-lib-utils 有关的软件包
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6-udeb
-
- dep: libffi8 (>= 3.4)
- 外部函数接口库运行环境
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- 多精度运算库
-
- dep: libtinfo6 (>= 6)
- 用于终端处理的共享底层 terminfo 库
-
- dep: libyaml-0-2
- Fast YAML 1.1 parser and emitter library