Design verification methods for switching power converters | IEEE Conference Publication | IEEE Xplore