Can you explain why the 3 "arriav" libraries are not listed in library mapping file for VCS, the synopsys_sim.setup that is generated under /simulation/scsim ?

​To complete the example above from $QUARTUS_ROOTDIR/qdesigns/binary_cam, add to the project files the below tb.v file as testbench, and instruct the tool to compile it (assignements->settings-> EDA Tool settings-> simulation: "Compile Testbench".

%cat tb.v

`timescale 1ps/1ps

module tb();

binary_cam_wrapper u_binary_cam_wrapper ();

altera_arriav_pll altera_arriav_pll ();

endmodule

Error: Error: VCS MX: Error-[URMI] Unresolved modules

Error: Error: VCS MX: "arriav_ffpll_reconfig #(.P_XCLKIN_MUX_SO_0__PLL_CLKIN_0_SRC(local_pll_clkin_0_src_0), .P_XCLKIN_MUX_SO_0__PLL_CLKIN_1_SRC(local_pll_clkin_1_src_0), .P_XCLKIN_MUX_SO_0__PLL_CLK_SW_DLY(local_pll_clk_sw_dly_0), .P_XCLKIN_MUX_SO_0__PLL_CLK_SW_DLY_SETTING(local_pll_clk_sw_dly_0), .P_XCLKIN_MUX_SO_0__PLL_MANU_CLK_SW_EN(local_pll_manu_clk_sw_en_0), .P_XCLKIN_MUX_SO_0__PLL_AUTO_CLK_SW_EN(local_pll_auto_clk_sw_en_0), .P_XCLKIN_MUX_SO_0__PLL_CLK_LOSS_SW_EN(local_pll_clk_loss_sw_en_0), .P_XCLKIN_MUX_SO_1__PLL_CLKIN_0_SRC(local_pll_clkin_0_src_1), .P_XCLKIN_MUX_SO_1__PLL_CLKIN_1_SRC(local_pll_clkin_1_src_1), .P_XCLKIN_MUX_SO_1__PLL_CLK_SW_DLY(local_pll_clk_sw_dly_1), .P_XCLKIN_MUX_SO_1__PLL_CLK_SW_DLY_SETTING(local_pll_clk_sw_dly_1), .P_XCLKIN_MUX_SO_1__PLL_MANU_CL ... "

Error: Error: VCS MX: Module definition of above instance is not found in the design.