package hardcaml_c

  1. Overview
  2. Docs
type t
module Instance : sig ... end
val 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.

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

Start a new simulator.

val 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.

val make_seq_code : t -> string list
val make_comb_code : t -> string list
val make_comb_last_layer_code : t -> string list
val make_reset_code : t -> string list
module Cyclesim : sig ... end