package hardcaml

  1. Overview
  2. Docs
RTL Hardware Design in OCaml

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v0.17.1.tar.gz
md5=7435ee8610c2205c5f912b4bf09163b0
sha512=38d7cf428bd3491024212e52776ac582183d7b5f6a494589a3697d9a213fa18347d6eeea23327859c340b0cb3b967c08cd21a8a7f8d15cf2de20e5598cb8456d

doc/CHANGES.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