package hardcaml_verilator
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Hardcaml Verilator Simulation Backend
Install
dune-project
Dependency
Authors
Maintainers
Sources
v0.17.0.tar.gz
sha256=76f944f35c445eeb3028ff9e73dcdf1778937078ad655c1e949278d23d888251
Description
Very fast verilator-based simulations of Hardcaml circuits.
This library transparently compiles a verilator-based shared library, and links it back to the running executable to be used as a Cyclesim simulation.
Published: 26 May 2024
Dependencies (9)
-
dune
>= "3.11.0" - ctypes-foreign
-
ctypes
>= "0.18.0" -
ppx_jane
>= "v0.17" & < "v0.18~" -
ppx_hardcaml
>= "v0.17" & < "v0.18~" -
hardcaml
>= "v0.17" & < "v0.18~" -
core_unix
>= "v0.17" & < "v0.18~" -
core
>= "v0.17" & < "v0.18~" -
ocaml
>= "5.1.0"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page