ISE SmartXplorer – 时间分数不为零，但最坏情况松弛是一个正值

描述

在SmartXplorer结果中，有一些非正时分数但最差的最差情况下的运行，如下面的屏幕截图所示。

为什么会这样？

解

这是Smartxplorer的一个已知问题。

当最坏情况Slack来自保​​持错误并且相应约束的设置松弛为正时，会发生此问题。

SmartXplorer仅尊重设置松弛而不是保持，因此它提取正设置松弛值作为最坏情况松弛。

SmartXplorer从PAR报告中的时序汇总表中提取最差情况Slack值。

上述示例中的3.622ns来自下表中第一个约束的最坏情况Slack：

首先列出了这个约束，因为它的保持松弛是设计中最坏的情况。

但是，SmartXplorer错误地将设置松弛用作SmartXplorer结果中的最坏情况松弛。

要确定SmartXplorer的最佳策略，请参阅时间分数。

最坏情况Slack仅供参考。

如果您想在发生此问题时了解实际的最坏情况松弛，请参阅PAR报告。