package hardcaml
RTL Hardware Design in OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
hardcaml-v0.14.0.tar.gz
sha256=465e94af73a83517bff9880803d183fa5f1e6a41702cf27d44329c0c64ff6e1d
md5=238d2dc37f029802217f883f64f7445d
Description
Hardcaml is an embedded DSL for designing and simulating hardware in OCaml. Generic hardware designs are easily expressed using features such as higher order functions, lists, maps etc. A built in simulator allows designs to be simulated within Hardcaml. Designs are converted to either Verilog or VHDL to interact with standard back end tooling.
Published: 31 May 2020
README
"Hardcaml"
Hardcaml is an OCaml library for designing hardware.
- Express hardware designs in OCaml
- Make generic designs using higher order functions, lists, maps, functors...
- Simulate designs in OCaml
- Convert to VHDL, Verilog, C
- Write new modules to transform or analyse circuits, or provide new backends
Install
$ opam install hardcaml
This will also include ppx_deriving_hardcaml
.
Related tools and libraries
In progress.
Dependencies (9)
-
zarith
>= "1.5"
-
ppxlib
>= "0.11.0" & < "0.18.0"
-
dune
>= "2.0.0"
-
topological_sort
>= "v0.14" & < "v0.15"
-
stdio
>= "v0.14" & < "v0.15"
-
ppx_sexp_conv
>= "v0.14" & < "v0.15"
-
ppx_jane
>= "v0.14" & < "v0.15"
-
base
>= "v0.14" & < "v0.15"
-
ocaml
>= "4.07.0"
Dev Dependencies
None
Used by (3)
- hardcaml-lua
-
hardcaml_waveterm
= "v0.14.0"
-
ppx_deriving_hardcaml
= "v0.14.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page