synplify pro 综合约束 求指导

最近再学synplify pro   碰到约束方面的问题感觉挺头大的  自己写  不知道该从哪入手  或者说自己掌握的知识还不够
我现在在看synplify自带的ug和reference,看了一点，但是也没有一个整体的思路

求有经验的同学介绍点这方面的经验吧，或者一个能用于实际项目的sdc参考，或者一些好的资料