Keyword: PURE

The pure keyword is used to declare a pure function. Pure functions always return the same value for a given set of input actual parameters, and have no side effects.

Pure is assumed if there is no pure or impure keyword.

Example

    pure function HoldCheck (Clk, Data) return Boolean;

LRM

    2.1

See also

  Function