_[i] (Projection)

a[i] is the element of a at static index i. Indexes start from 0.

Syntax

expr[expr1]

Signatures

  1. Type

    Given an input array of type T^n, and as index i, a size such that 0<=i<n, returns a value of type T

  2. Causality

    The output depends instantaneously on its input.

  3. Initialization

    The resulting sequence has its first value defined if its input has its first value defined.

  4. Clock

    Input and output have the same clock.