The Boolean output y depends on the activation of a Boolean input.
If this Boolean becomes true, y is true at least for a duration tPulse. y becomes false again if u is false and the duration tPulse has elapsed.