package hardcaml

  1. Overview
  2. Docs
RTL Hardware Design in OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

hardcaml-v0.13.0.tar.gz
sha256=9f7bb189c6de2bfb8d6bb060360148578e48e1d014c2c82bba48e18972bbbf5a
md5=692be272e1fee9515b3b0fd16f9a1a6d

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: 20 Nov 2019

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 (7)

  1. zarith >= "1.5"
  2. dune >= "1.5.1"
  3. topological_sort >= "v0.13" & < "v0.14"
  4. stdio >= "v0.13" & < "v0.14"
  5. ppx_jane >= "v0.13" & < "v0.14"
  6. base >= "v0.13" & < "v0.14"
  7. ocaml >= "4.07.0"

Dev Dependencies

None

Conflicts

None

OCaml

Innovation. Community. Security.