Module Hardcaml.Rtl_attributeSource

RTL attribute specification. Only relevant to downstream tooling.

Sourcetype t

Specification of attributes which may be attached to various objects within a RTL design. Such attributes are used to provide implementation hints to down stream CAD tools and do not affect any functionality within Hardcaml.

Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourcemodule Value : sig ... end

Attribute value types.

Sourceval create : ?value:Value.t -> string -> t

Create a new attribute.

Sourceval name : t -> string

Returns the attribute name

Sourceval value : t -> Value.t option

Returns the attribute value, if any.

Sourcemodule Vivado : sig ... end

A collection of common Xilinx Vivado attributes.