Module Hardcaml__.Rtl
include Hardcaml__.Rtl_intf.Rtl
module Language : sig ... end
module Output_mode : sig ... end
RTL generation options.
val output : ?output_mode:Output_mode.t -> ?database:Hardcaml.Circuit_database.t -> Language.t -> Hardcaml.Circuit.t -> Hardcaml__.Import.unit
Write circuit to
Verilog
orVhdl
. Instantiations are (recursively) looked up indatabase
and if a circuit exists it is also written. Theoutput_mode
specifies how the circuit should be written - either to a single file (or buffer, or channel) or to a directory with one file for each for the top level circuit and any instantiated circuits contained in the database.
val print : ?database:Hardcaml.Circuit_database.t -> Language.t -> Hardcaml.Circuit.t -> Hardcaml__.Import.unit
print
isoutput ~output_mode:(To_channel stdout)