Automated Digital Controller Design for Switching Converters