关于布局布线之后静态时序仿真的问题

用Astro做完pr后，想到pt里做静态时序仿真，不知道需要哪些文件。我已经从Astro里dump出了sdf文件，sdc文件，spef文件，以及电路网表文件，这些在静态时序仿真的时候都需要吗?求指点。

spef sdc netlist .db

spef sdc netlist

SPEF文件，SDC文件和netlist三个文件就能在PT进行时序分析了

有时候Astro出的spef，sdf都有点格式问题的， 精度也不够，
可以用starxt 抽取 mw的 spef，然后 pt 产生sdf 来得到，