该资料很详细描述了如何使用sdc命令，教你怎么对时序进行约束，内有例子

这份资料最有用之处是介绍了模糊关系矩阵的运算