package hardcaml

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

RTL attribute specification. Only relevant to downstream tooling.

type 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.

val sexp_of_t : t -> Sexplib0.Sexp.t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
include Ppx_hash_lib.Hashable.S with type t := t
val hash_fold_t : t Base__Ppx_hash_lib.hash_fold
val hash : t -> Base__Ppx_hash_lib.Std.Hash.hash_value
module Value : sig ... end

Attribute value types.

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

Create a new attribute.

val name : t -> string

Returns the attribute name

val value : t -> Value.t option

Returns the attribute value, if any.

module Vivado : sig ... end

A collection of common Xilinx Vivado attributes.

OCaml

Innovation. Community. Security.