Module Hardcaml_cSource

Sourcetype t
Sourcemodule Instance : sig ... end
Sourceval create : ?interesting_signals:Hardcaml.Signal.t list -> Hardcaml.Circuit.t -> t

Create a new simulator for a given circuit. It will be only possible to Instance.read and Instance.write signals that are in interesting_signals or are inputs/outputs of the circuit.

Sourceval start : ?compiler_command:string -> t -> Instance.t

Start a new simulator.

Sourceval add_function : t -> string list -> Instance.t -> unit

Add a C code to the simulator. Returns a function that, when called on an instance will execute this function.

Sourceval make_seq_code : t -> string list
Sourceval make_comb_code : t -> string list
Sourceval make_comb_last_layer_code : t -> string list
Sourceval make_reset_code : t -> string list
Sourcemodule Cyclesim : sig ... end