INNOVUS 读取.sdc文件，报错

IC有我心

在DC综合后，形成的.sdc文件（28nm工艺）。在INNOVUS中，读取这个文件会报错，红色是有问题的地方，黄色的部分我发现是在DC约束的条件，这些错误感觉是DC综合的错误，但是DC综合后形式验证是通过的。 还有个奇怪的事情，把这个ERROR去掉（WARN还在 .18工艺），在report_timing的结果，reg2reg出现 N/A，查资料显示是没有读取上.SDC文件。