At run-time, the operators set the effective scenario ( modes), which are stored at the Exception detector unit.
Based on this setting, the Exception detector unit checks if the state of the functional unit matches the scenario, and alerts in case of mismatch.
Updated on 30 Oct 2016.