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

CHANGES.md.html

v0.11

  • Initial Jane Street public release

  • Verion numbering synchronised with Jane Street releases

  • Large scale refactoring of library and APIs

  • Addition of test suite

  • Merge and refactor hardcaml_examples into repository

1.2.0

  • Reorganise and merge a bunch of modules (esp ext.ml) which were split out previously due to js_of_ocaml but is no longer needed.

  • Replace oasis with ocamlbuild and topkg

1.1.1

  • add out_port_next function to simulator - update on out_port reverts to old behaviour

  • add dynamic simulation plugin back end registering (for llvmsim)

  • fix vpi cosim module search path

1.1.0

  • rework simulation so we get the correct output values (in all cases) after cycle

  • various simulation hook points added to correctly support waveforms/combining etc

  • add Recipe module - generates statemchines from imperative style descriptions

OCaml

Innovation. Community. Security.