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
hardcaml_verilator-v0.16.0.tar.gz
sha256=c0c60e3ad9905be924fbd12d4c249a1725ba80368a38a68b3849632eafb46485
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: 14 Jun 2023
Dependencies (9)
-
dune
>= "2.0.0" - ctypes-foreign
-
ctypes
>= "0.18.0" -
ppx_jane
>= "v0.16" & < "v0.17" -
ppx_deriving_hardcaml
>= "v0.16" & < "v0.17" -
hardcaml
>= "v0.16" & < "v0.17" -
core_unix
>= "v0.16" & < "v0.17" -
core
>= "v0.16" & < "v0.17" -
ocaml
>= "4.14.0"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page