HDL Verifier support for BEECube MiniBEE existed for R2014b-R2015a for FPGA-in-the-loop simulation, but it has been discontinued for all releases due to low demand. It is no longer maintained or available.
Although the HDL Verifier support for BEECube MiniBEE has been discontinued, the user can still run FPGA-in-the-Loop on miniBEE using Ethernet connection. The user just need to create a custom board definition for miniBEE.
You can watch this video on how to create custom board: