Block that detects a stage change and evaluates whether the stage transition is completed.
The completion of a stage change is considered successful when both of the following conditions have been verified.
The output signal y1End is true exactly at the time when
the successful completion of the stage change is confirmed.
The output signal y1 is true during the entire time in which
the stage change is in progress.
hold with pre to guard against concomitant stage change and command change.