package hardcaml

  1. Overview
  2. Docs
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)

  1. zarith >= "1.5"
  2. ppxlib >= "0.18.0"
  3. dune >= "2.0.0"
  4. topological_sort >= "v0.14" & < "v0.15"
  5. stdio >= "v0.14" & < "v0.15"
  6. ppx_sexp_conv >= "v0.14" & < "v0.15"
  7. ppx_jane >= "v0.14" & < "v0.15"
  8. base >= "v0.14" & < "v0.15"
  9. ocaml >= "4.07.0"

Dev Dependencies

None

Conflicts

None

OCaml

Innovation. Community. Security.