Module Cosim2.Make

Parameters

• SIM : Simulator

Signature

val init_sim : (unit -> unit) -> (string * int) list -> Unix.file_descr * (string * (int * int)) list

val make_sim_obj : server:Unix.file_descr -> clocks:(string * int) list -> resets:(string * int) list -> inputs:(string * int) list -> outputs:(string * int) list -> nets:(string * (int * int)) list -> Hardcaml.Cyclesim.t_port_list

val make : ?⁠dump_file:string -> ?⁠opts:string -> Hardcaml.Circuit.t -> Hardcaml.Cyclesim.t_port_list

create simulator from hardcaml circuit

val load : ?⁠opts:string -> clocks:(string * int) list -> resets:(string * int) list -> inputs:(string * int) list -> outputs:(string * int) list -> string -> Hardcaml.Cyclesim.t_port_list

load icarus vvp simulation