Port on a rising edge Output ui
on rising edge. Output S [...] be acknowledged by a rising edge of S
Rising Edge: Reset [...] Rising Edge
or more rising edges [...] rising edge [...] while no new rising edge
the motion at rising edge [...] rising edge on Execute [...] rising edge of Execute