用modelsim后仿真时需要用到XILINX的库

用modelsim后仿真时需要用到XILINX的库, 下载了XILINX网址提供的TCL文件, 按照要求在AUTOEXEC. BAT中设置了SET MODELSIM=****, 重启了机器, 在MODELSIM下运行了TCL文件, 选项为VERILOG, simprim, 可是MODELSIM 还是报找不到库, 为什么？所用ISE版本为ISE4. 1I.  
答：The tcl script is for compiling the Xilinx libraries with Modelsim.  After you've compile the libraries,  you need to vmap them when you simulate your design.  For example,  if the physical path to your compiled simprim library is d:/xilinx_sim_model/simprim,  you need to map simprim to the full path by typing "vmap simprim d:/xilinx_sim_model/simprim" at the Modelsim command prompt.  Then you can simulate your design by the following command "vsim -L simprim " （参考译文件：tcl脚本是为使用Modelsim编译Xilinx库的. 在编译完库之后, 仿真设计时需要vmap这些库. 例如, 如果指向已编译的simprim库的物理路径是d:/xilinx_sim_model/simprim, 则需要通过在Modelsim命令提示处输入"vmap simprim d:/xilinx_sim_model/simprim"来将simprim映射到完整路径. 然后可以使用命令"vsim -L simprim "仿真设计. ）