目录综述SGDC脚本举例SGCD适用于CDC的语法有下图所示：Clockresetabstract_port举例assume_pathquasi_staticset_case_analysis其他SDC2SGDCBlackboxbbox的约束方式两个概念verificationvalidation综述在CDC概述部分我们介绍，做CDC时候，需要我们写一个SGDC文件，SGDC=SpyGlassDesignConstraints，就是SpyGlass设计约束文件，类似于DC/SAT的约束，可以使用SDC来转为SGDC，但是其是不够的，因为他没有对CDC特定的数据流进行描述（SDC中会设置fals