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

描述

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

为什么会这样?

50410-1.png



这是Smartxplorer的一个已知问题。

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

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

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


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

50410-2.png

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

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

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

最坏情况Slack仅供参考。

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

编辑 重设标签(回车键确认) 标为违禁 关闭 合并 删除

提问于 2018-07-31 14:31:16 +0800

这个帖子被标记为一个社区wiki

这个帖子是一个wiki(维基). 任何一个积分 >500的人都可以完善它