package hardcaml
RTL Hardware Design in OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
v0.14.2.tar.gz
sha256=bc3de7234e8ceb3192f5b19f762619afcf549497df817eace6de8ae0ff91bc8d
md5=392c84bfcf1e9931f40bbbbb995f7b0a
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: 25 Mar 2021
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.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