SYNOPSYS：DC&PrimeTime相关工艺库问题

各路大神:
           初学SYNOPSYS，好多问题一头雾水。
           DC综合需要厂商提供的工艺库，但是我现在在学校只是为了简单的学习，没有工艺库，请问DC有没有有自带的可供学习的标准工艺库，我在DC的安装目录下看到一个文件夹 ../libraries/syn/,里面有很多.db、.sdb的文件（如下图），请问这是工艺库吗?我在网上看过一些脚本文件，里面提到了lsi_10k.db，于是就把这个作为Target library进行综合，系统竟然也没有报错。
                                                   

         在上一步的基础上，Formality形势验证也通过了，在做PT时序分析时，link_library时，link了lsi_10k.db，但是出错了，如下图，不知道是什么原因，而且也没有其他工艺库可用，请大神赐教，这该如何解决！