The Boolean output y is a step signal. The signal is defined in terms of clock ticks instead of simulation time:
See model Modelica_Synchronous.Examples.Elementary.BooleanSignals.TickBasedStep.
