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 ... endmodule Advanced : sig ... endmodule Arithmetic : sig ... endmodule Blockram : sig ... endmodule Clb : sig ... endmodule Clock : sig ... endmodule Configuration : sig ... endmodule Io : sig ... endmodule Register : sig ... endtype t = | Advanced of Advanced.t Base.List.t| Arithmetic of Arithmetic.t Base.List.t| Blockram of Blockram.t Base.List.t| Clb of Clb.t Base.List.t| Clock of Clock.t Base.List.t| Configuration of Configuration.t Base.List.t| Io of Io.t Base.List.t| Register of Register.t Base.List.tPrimitive groups
*
val sexp_of_t : t -> Sexplib0.Sexp.tval advanced : Advanced.t Base.List.t -> tval arithmetic : Arithmetic.t Base.List.t -> tval blockram : Blockram.t Base.List.t -> tval clb : Clb.t Base.List.t -> tval clock : Clock.t Base.List.t -> tval configuration : Configuration.t Base.List.t -> tval io : Io.t Base.List.t -> tval register : Register.t Base.List.t -> tval is_advanced : t -> Base.Bool.tval is_arithmetic : t -> Base.Bool.tval is_blockram : t -> Base.Bool.tval is_clb : t -> Base.Bool.tval is_clock : t -> Base.Bool.tval is_configuration : t -> Base.Bool.tval is_io : t -> Base.Bool.tval is_register : t -> Base.Bool.tval advanced_val : t -> Advanced.t Base.List.t Base.Option.tval arithmetic_val : t -> Arithmetic.t Base.List.t Base.Option.tval blockram_val : t -> Blockram.t Base.List.t Base.Option.tval clb_val : t -> Clb.t Base.List.t Base.Option.tval clock_val : t -> Clock.t Base.List.t Base.Option.tval configuration_val : t -> Configuration.t Base.List.t Base.Option.tval io_val : t -> Io.t Base.List.t Base.Option.tval register_val : t -> Register.t Base.List.t Base.Option.tmodule Variants : sig ... endval primitive_group : t -> Base.String.t