RESET PORT

Definition A <RESET PORT> is a <PROCESS CONTROL INPUT PORT> to receive a signal to reset a certain state.