Design verification and testing of power supply system by using virtual prototype | IEEE Conference Publication | IEEE Xplore