private void Update()
{
Trigger.Set(watchdogTripped.Value);
//not sure about this. Should we set it when we refresh in the forbidden region and jump to AfterTrigger?
RefreshEnable.Set(refreshInterruptEnabled.Value && refreshPermittedLevelTripped.Value);
this.Log(LogLevel.Noisy, "Sending interrupts, RefreshEnable: {0}, Trigger: {1}", RefreshEnable.IsSet, Trigger.IsSet);
}
public override void Reset()
{
base.Reset();
Trigger.Unset();
RefreshEnable.Unset();
state = State.ForbiddenRegion;
internalTimer.Reset();
}