package hardcaml_of_verilog

  1. Overview
  2. Docs
package hardcaml_of_verilog
Legend:
Library
Module
Module type
Parameter
Class
Class type

Raw json netlist representation parsed with jsonaf. See Netlist for a cleaned up version.

module type Assoc_list = sig ... end
module Assoc_list (V : sig ... end) : Assoc_list with type v := V.t
module Int_or_string : sig ... end
module Direction : sig ... end
module Bit : sig ... end
module Port : sig ... end
module Parameter : sig ... end
module Connection : sig ... end
module Port_direction : sig ... end
module Cell : sig ... end
module Netname : sig ... end
module Module : sig ... end
type t = {
  1. creator : Base.string;
  2. modules : Module.t Base.list;
}
include Ppx_jsonaf_conv_lib.Jsonafable.S with type t := t
val t_of_jsonaf : Jsonaf_kernel__.Type.t -> t
val jsonaf_of_t : t -> Jsonaf_kernel__.Type.t
val sexp_of_t : t -> Sexplib0.Sexp.t
val of_string : Base.string -> t Base.Or_error.t

Parse a string containing json into a Yosys_netlist.

val to_string : t -> Base.string

Convert a Yosys_netlist to a json string (_hum is with indentation)

val to_string_hum : t -> Base.string
val find_module_by_name : t -> Base.string -> Module.t Base.option

Lookup a module in the netlist.