see [[Pulse generator]]