A fast C-based simulation backend for Hardcaml circuits.
The library transparently compiles a Hardcaml Circuit to C code, which is in turn compiled and linked into the running executable. The generated simulation object can be used like any other cyclesim simulation.
Published: 14 Jun 2023
Convert a Hardcaml design to a C based, cycle accurate, simulation model.
The simulation models can be transparently compiled to a shared library and loaded into the running design. A cyclesim compatible API is provided.