是设计师的X-Analysis需要不同于验证工程师?

未知(X)国家的传播已经成为一个更为紧迫的问题转向billion-gate SoC设计。除了这些设计的复杂性,复杂的电源管理方案的常用增加一个未知的“X”状态的可能性在设计转化为功能性错误在最后的筹码。

本文描述了一个方法,使设计和验证工程师专注于X州代表一个真正的风险,并留出那些工件的设计过程。的好处是减少项目时间,尤其是在模拟,和重置优化以减少路由和功率要求。

X扩散

十亿门设计数以百万计的人字拖来初始化。许多IP块中使用这样的设计也有自己的初始化方案。

它既不现实也不可取线每一个失败的复位信号。更有意义重置路由到一组最优最小的失败,并初始化其他通过逻辑,但这是一个重大的RTL编码的挑战。

分析任何系统复位,初始化方案是许多x绑定到呕吐。问题是在知道哪些事,因为处理不必要的Xs浪费时间和资源。然而,缺少一个X状态,物质可以增加后期调试的可能性,导致阴险的功能性故障,最终,衍生版本。

今天的电源方案分析X的问题进一步复杂化。块,电源管理有额外的失败保留状态在电源状态转换,以及任何他们的复位结构必须进行动态分析。块之间的相互作用在不同能量状态也必须加以考虑。

在这方面两个模拟现象对我们工作。

X-optimism主要是与RTL模拟,是由高密度脂蛋白仿真语义的局限性造成的。它发生在一个模拟器X状态转换成0或1,创建一个X的风险导致RTL故障无法实现仿真。

X-pessimism主要是与门电路级模拟网络列表(尽管它也可以发生在RTL模拟)。顾名思义,它发生在合法0或1转换为X的状态。这可能导致宝贵的调试资源是为了不必要的努力。此外,合成所做的工作后,门口的调试水平比RTL更具挑战性。

方法论原则

任何方法有效地处理X问题必须在RTL关注解决问题,使用工具和方法可以应用于RTL模拟。是缓慢的,并将倾向于X-pessimism门电路级模拟。任何真正的bug发现门口的水平将会更加困难和耗时比RTL修复。

假设关注RTL,下一个可取的方法是,它解决了不同的技能和需求的设计与验证工程师。

真正的意图已经讨论了X问题与客户和时间这两种类型的工程师共享相同的整体担忧——避免X-propagated功能缺陷和捕捉他们尽可能早地——他们有不同的观点。

现在许多设计工程师的工作有严格的指导方针,旨在实现X-accurate编码。这是一个微妙的任务,需要进一步自动化,但它可以捕捉早期X的很多问题。设计师的任务是知道X-prone RTL可能的地区。

相比之下,一个验证工程师通常考虑控制量的X-optimism和X-pessimism在每个阶段的验证流程。

最后,需要接受的方法,没有单一的实用技术,提供最快的和最精确的X-analysis在所有情况下。例如,正式的分析技术,如模型检查和象征性的模拟是一个很大的帮助,但他们面对的挑战(比如内存使用)的能力。

成功的方法来处理X传播必须结合几个技术,平衡提供彻底的结果最好的可用的周转时间。

方法

图1显示了真正意图的方法开发了基于我们提升十五工具套件。

方法试图捕捉有关X问题尽早设计流程,并单独design-centric和verification-centric阶段。

Design-centric流

一个设计师想的第一件事就是最小化X-sources的数量存在。方法首先确定x可能产生的地方。适当的结构分析看RTL的特征来识别潜在来源。线头工具可以标记显式X-assignments等危害,信号在一块,但不是驱动的使用,作业范围,和失败,没有一个复位信号,等等。

然而,结构分析不能确定是否真正X-issue存在,并且不包含任何顺序分析。提升十五方法使用顺序形式分析来确定基线列表未初始化失败,然后显示额外的失败,如果复位,将导致完成初始化。

因此增强的风险报告的创建使用正式的技术导致更精确的列表。设计师可以管理和应对这个列表。

设计师也想确定X-sources可以传播到X-sensitive结构。这部分流量使用自动化跟踪X-source传播通过X-sensitive结构。然后介绍了导致风险报告,重点是相关结构使用的静态技术的仿真环境。

Verification-centric流

客户的谈话显示,验证工程师倾向于关注X-optimism和管理X-propagation X-pessimism在他们的努力。

在提升十五方法论,X-accurate建模用于处理和现有模拟检查然后帮助检测功能性问题。这样做是在不接触用户的代码,很容易集成。的性能开销X-accurate模拟受到严格控制。

一旦发现一个问题,需要进一步的验证工程师信息孤立的原因。为此,知道哪些是有用的信号敏感X-optimism和控制信号Xs。

方法使用模拟器的断言计数器来跟踪这些信号的统计数据。显示器可以打印一个消息第一次信号X-optimism标记为敏感,这对确定其根源是有用的。

这里一个重要的约束,是班长不慢仿真,通过提供打印每一次国旗。其目的是提供一个读数,以便验证工程师知道使用一个信号波形分析和追溯到源头。

可以使用此X-accurate建模RTL和网表的水平,再一次,重点是进行适当的模拟在尽可能高的水平。

结论

实用主义和平衡是一样重要的权力技术用于解决X-propagation在当今复杂的设计。

这里列出的方法目标特定的但重要的问题。它的目标是保证,通过它的使用工具,如提升十五、设计和验证工程师可以把资源集中到避免和修复bug,最小化设计周转时间。

进一步的信息

更详细的讨论这里讨论的真正意图的方法和各种技术对抗X-propagation可以被发现在这里。

有更多的真实意图的崛起十五X设计和验证系统在这里。