encounter PR后输出的sdf文件能用于后仿吗？

encounter完成布局布线后输出的*.sdf文件能象综合得到的sdf文件一样,反标回去做后仿吗?
这是应该用encounter输出的.v文件吧?
我这样做好象结果有问题,*** End of SDF back-annotation
218 Verilog-XL SDF Annotator errors
还有,输出的*.spef有什么用?

是可以用encounter后的.v和.sdf文件，在modelsim中做后仿的。