Module Make.With_interface

Parameters

• I : Hardcaml.Interface.S
• O : Hardcaml.Interface.S

Signature

val create : (?⁠vcd_file_name:string -> ?⁠port_checks:Hardcaml.Circuit.Port_checks.t -> ?⁠add_phantom_inputs:bool -> Hardcaml.Circuit.With_interface(I)(O).create -> Hardcaml.Cyclesim.With_interface(I)(O).t) Hardcaml.Circuit.with_create_options

Create a co-simulator using the provided Create_fn. The returned simulator ports are coerced to the input and output interface types.