package hardcaml

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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
include Ppx_compare_lib.Comparable.S with type t := t
Sourceval compare : t -> t -> int
include Ppx_compare_lib.Equal.S with type t := t
Sourceval equal : t -> t -> bool
include Ppx_hash_lib.Hashable.S with type t := t
Sourceval hash_fold_t : Base.Hash.state -> t -> Base.Hash.state
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.

OCaml

Innovation. Community. Security.