package hardcaml_xilinx_reports

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

Primitive group definitions for Xilinx Vivado Ultrascale designs. See ug974.

Groups and subgroups define properties of cells within the Vivado database. They are used to access properties of a cells and nets. In particular, here we are interested in properties related to utilization.

They are used by selecting all cells in a module, then filtering those with the appropriate property. The number of such cells left is the corresponding total utilization count.

The most important groups are Clb, Register and Blockram.

module type Subgroup = sig ... end
module Advanced : sig ... end
module Arithmetic : sig ... end
module Blockram : sig ... end
module Clb : sig ... end
module Clock : sig ... end
module Configuration : sig ... end
module Io : sig ... end
module Register : sig ... end
type t =
  1. | Advanced of Advanced.t Base.List.t
  2. | Arithmetic of Arithmetic.t Base.List.t
  3. | Blockram of Blockram.t Base.List.t
  4. | Clb of Clb.t Base.List.t
  5. | Clock of Clock.t Base.List.t
  6. | Configuration of Configuration.t Base.List.t
  7. | Io of Io.t Base.List.t
  8. | Register of Register.t Base.List.t

Primitive groups

*

val sexp_of_t : t -> Sexplib0.Sexp.t
val advanced : Advanced.t Base.List.t -> t
val arithmetic : Arithmetic.t Base.List.t -> t
val blockram : Blockram.t Base.List.t -> t
val clb : Clb.t Base.List.t -> t
val clock : Clock.t Base.List.t -> t
val configuration : Configuration.t Base.List.t -> t
val io : Io.t Base.List.t -> t
val register : Register.t Base.List.t -> t
val is_advanced : t -> Base.Bool.t
val is_arithmetic : t -> Base.Bool.t
val is_blockram : t -> Base.Bool.t
val is_clb : t -> Base.Bool.t
val is_clock : t -> Base.Bool.t
val is_configuration : t -> Base.Bool.t
val is_io : t -> Base.Bool.t
val is_register : t -> Base.Bool.t
val advanced_val : t -> Advanced.t Base.List.t Base.Option.t
val arithmetic_val : t -> Arithmetic.t Base.List.t Base.Option.t
val blockram_val : t -> Blockram.t Base.List.t Base.Option.t
val clb_val : t -> Clb.t Base.List.t Base.Option.t
val clock_val : t -> Clock.t Base.List.t Base.Option.t
val configuration_val : t -> Configuration.t Base.List.t Base.Option.t
val register_val : t -> Register.t Base.List.t Base.Option.t
module Variants : sig ... end
val primitive_group : t -> Base.String.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct