package hardcaml
RTL Hardware Design in OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
v0.14.1.tar.gz
sha256=c18c14488da5759d3504c9a723086b99fe73c95871bd9c4de74ff032dd44b2fc
md5=b05e14f646ad959aba2c4454d1cf143d
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: 27 Jan 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