DC之后用modelsim做后仿关于库的问题

看了一下论坛里面各位大侠分享的DC后用modelsim做后仿的经验，自己亲自做遇到了几个问题
问题1：DC综合之后生成的网表，还有testbench，还有生成的sdf，可是最重要的工艺库的问题，
我找到了一个名叫csm18ic.v的文件，把他们四个放在一起编译没问题，但是接下来在仿真
的时候，提示我sdf文件有问题，是语法错误，但是我这个sdf文件直接做DC获得的，怎么会有错呢?
问题2：上面提到的csm18ic.v文件是各位大侠提到的库文件吗?还有其他的没加吗需要将synopsys里面的什么
文件加进去吗?

DC用到的库文件是lib或者db文件，*.v文件是 std cell 的function，只有仿真时才会用到。DC后的仿真没意义吧，后仿是PR后做。信息太少，不能判断是什么错误