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.