Simulation of switching power converters using symbolic techniques