Verification of control design and implementation for power supplies by FPGA-in-the-loop simulation | IEEE Conference Publication | IEEE Xplore