Power supply design in embedded systems