* *button* is a simple input connected to a button.
* *pulse* is a simple output connected to an electronic device.
* When the *button* is pushed, generate *pulses* as indicated in the verification tab until the *button* is released.