对于静态时间分析，这是一个可以追溯到几年前的概念。你得到了一堆违规，然后你必须决定哪些代表错误路径或多循环路径，并为它们创建“异常”。乏味。

显然形式分析也有同样的问题。根据Real Intent的说法，只有在这里他们被称为“弃权”。如果您运行分析并得到一长串潜在违规的列表，那么您必须逐一检查该列表，检查它们是否存在“误报”并予以标记。耗时且容易出错。和乏味。特别是在大型soc(所谓的“千兆级”)上工作时。

在他们最新发布的子午线CDC中，进行了时钟域交叉验证，Real Intent提供了一种不同的处理方法:以规则或约束的形式对运行参数提供更细粒度的控制，这些规则或约束可以连续细化。

使用旧方法，如果某个特定的过度分析方面导致了100个假阳性，您必须找到所有100个并“放弃”它们。使用新的方法，当您找到第一个时，您进行细化，然后重新运行分析，您找到的那个和其他99个都消失了。好吧，不是消失本身，但它们被放在一起并不是一个意外的发现。您还可以检查该列表，以确保没有任何漏洞。(这是对一个更复杂的整体过程的简化，但它抓住了本质。)

这可能需要一些迭代，但最终，您可以干净地运行，没有异常，并且您到达那里的方式不太可能涉及这里或那里的错误。

你可以找到更多关于真实意图的最新子午线CDC发布在他们的公告．

• 
• 
• 
• 
•