package hardcaml_step_testbench

  1. Overview
  2. Docs
Hardcaml Testbench Monad

Install

Dune Dependency

Authors

Maintainers

Sources

hardcaml_step_testbench-v0.15.0.tar.gz
sha256=cfa21330796a78a457e529f6a1134147dc7b414d6aa6d30fad823f04423e87f5

Description

A monad for interacting with Hardcaml.Cyclesim based simulations.

Allows multiple control threads to interact with a simulation module, all of which are synchronised to the system clock.

Published: 21 Mar 2022

README

Hardcaml Step Testbench

A monad for interacting with Hardcaml.Cyclesim based simulations.

Multiple control threads can be spawned and can wait_for child threads to complete.

Synchronisation between threads is performed at every clock cycle. New values for simulation input ports are collected, the simulation updated, and outputs distributed amoung the control threads.

Dependencies (6)

  1. dune >= "2.0.0"
  2. ppx_jane >= "v0.15" & < "v0.16"
  3. hardcaml >= "v0.15" & < "v0.16"
  4. expect_test_helpers_core >= "v0.15" & < "v0.16"
  5. base >= "v0.15" & < "v0.16"
  6. ocaml >= "4.08.0"

Dev Dependencies

None

Used by

None

Conflicts

None