The operator generates a ⮫ reference (pointer) to a value.

Syntax:

‎<variable name> REF= <variable name> ;‎

refA : REFERENCE TO DUT;
B : DUT;
C : DUT;

A REF= B; // corresponds to A := ADR(B);
A := C; // corresponds to A^ := C;