how to use simulink with modelsim, when ipcore is involved?

I read after https://cn.mathworks.com/help/hdlverifier/ug/verify-raised-cosine-filter-design-using-simulink.html , and it works fine when there's only basic verilog grammer involved.

But when I try to use simulink and modelsim to cosimulate, when there's Xilinx Ipcore in the verilog file, the "Simulation Options" step fails always.

if true
Error:
The HDL simulator launching has failed with the following log message:if { [catch {vsimulink top -t 1ns -novopt  } errmsg] } {
  echo "Loading simulation and HDL Verifier library failed."; 
  echo $errmsg;     
end

I wonder how I could fix this problem?

Answer 1

[Tao Jia]

The issue is that you'll need to compile the xilinx simulation library first. Then refer to those libraries in your compilation script before you can start cosimulation. Xilinx has some material on how to compile the simulation library, e.g., https://www.xilinx.com/support/answers/64083.html