关于TMAX产生的STIL文件的仿真问题

liping09003

大家帮忙解决一下这个问题：
关于TMAX产生的STIL文件的仿真问题。
我用TMAX产生了SCAN PATTERN 。
仿真时出现：# ** Warning: (vsim-PLI-3003) E:/FPGA/ModelSim/ATPG/output/pattern_stildpv.v(155): [TOFD] - System task or function '$STILDPV_trace' is not defined.这样的提示，应该是ModelSim缺少$STILDPV的库函数对吗？
有谁知道这个库或者怎么下载~

Thx a lot~