Module Make.With_interface

Parameters

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

Signature

val create : (?⁠vcd_file_name:string -> ?⁠port_checks:Circuit.Port_checks.t -> ?⁠add_phantom_inputs:bool -> Circuit.With_interface(I)(O).create -> Cyclesim.With_interface(I)(O).t) 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.