Analysis and design of DC/DC converters using symbolic approach