Hardware-in-the-loop simulation of a boost converter with the Xilinx System Generator from Matlab/Simulink | IEEE Conference Publication | IEEE Xplore