encounter跑完之后的文件再在modelsim中后仿都需哪些文件

encounter跑完之后的文件再在modelsim中后仿都需哪些文件?
本人在modelsim添加了testbensh，
simc18库（DC综合后在modelsim中添加的库文件），
得到的post_PR.sdf文件,
网表文件post_PR.v
貌似还要再添加一个库文件，不知添加哪个，有大虾知道的指教一下啊，不胜感激！

smic18.v 啊，就是 标准单元的verilog 文件，
dc用的是db，不是verilog，

我当时做DC后仿的时候加的就是这个simc18.v，没有加db文件，但也仿出了正确的波形啊，现在我遇到的问题是：
# ** Error: (vsim-SDF-3250) G:/post_pr.sdf(6853): Failed to find INSTANCE 'U31'.出现了好多类似这样的错误，求指教，多谢！

看看U31是什么，估计是模型文件的问题。

我也遇到这问题 求解