A save specifies that the signals in the save symbol are retained in the input port in the order of their arrival.

The effect of the save is valid only for the state to which the save is attached. In the following state, signal instances that have been "saved" are treated as normal signal instances.

Asterisk save implies that all signals are retained in the input port.