An automated flow for design validation of switched mode power supply | IEEE Conference Publication | IEEE Xplore