package hardcaml

  1. Overview
  2. Docs
RTL Hardware Design in OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

hardcaml-v0.12.0.tar.gz
md5=bddd766d20ca9d90d3d4d0d521e0d2b2

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: 01 Mar 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.12" & < "v0.13"
  4. stdio >= "v0.12" & < "v0.13"
  5. ppx_jane >= "v0.12" & < "v0.13"
  6. base >= "v0.12" & < "v0.13"
  7. ocaml >= "4.07.0"

Dev Dependencies

None

Used by (2)

  1. hardcaml_waveterm < "v0.13.0"
  2. ppx_deriving_hardcaml = "v0.12.0"

Conflicts

None