使用Modelsim进行后仿的问题

最近在学习数字IC后端设计，现在有做完P&R之后的xxx_PR.v和xxx.sdf文件，我们使用的是tsmc的.18um的工艺，现在我想用Modelsim做一下后仿，是不是要先把tsmc的数字单元标准库编译到Modelsim下边，然后添加xxx_PR.v和xxx.sdf文件和testbench进行后仿，现在想请教高手如何将tsmc的数字单元标准库编译到Modelsim下，跪求高手指教！

compiletsmc.v

加载post layout SDF

工程中加载xxx_PR.v，tsmc.v，testbench（tb中调用sdf）

谢谢了！