求一份PR后用PT进行ＳＴＡ的流程

用starRC提取的spef文件，read进去之后，然后读取相应的网表文件，sdc文件，然后check_timing，report相关都说Unconstraints,这些约束在sdc文件中都是有的，所以想求一份具体流程，谢谢大家了！

求指点啊

看user guide吧，其实我感觉脚本上和dc的综合没哟太多区别，就是把时钟什么的用propagated的，然后反标一下sdf文件和spef。