核查的转变

作者:Ann Steffora Mutschler

验证SoC需要系统的整体视图，工程团队使用许多工具来达到对覆盖率的高度信任。但是，如何以及何时使用这些工具是不断变化的，因为工程团队在设计的每个层面上都在努力应对日益增加的复杂性，验证它的挑战也在急剧增加。

这里没有硬性规定。每个设计都是不同的，设计所需的工具也各不相同。但可以确定的是，随着企业尝试更好的方法来增强对其设计的信心，各种验证技术的应用方式正在发生变化。

Cadence公司系统开发套件产品营销部门主管Frank Schirrmeister说:“验证过去是，现在是，现在仍然是一个完全不受限制的问题，所以你永远不会完成。”“最重要的是，在集成大量预定义IP的时候，你要确保你正在集成的那些组件是真正完全验证的，否则潜在的错误原因会成倍增加。如果在1点是0.9，如果你有10个，那么你就有0.9乘以0.9乘以10，突然之间，整个事情仍然有效的概率变得非常低。”

工程团队越早进入不同子区块、子系统和SoC本身的验证，他们的信心水平就越高。这就解释了为什么在模拟之前越来越多地使用静态验证技术——验证方法中的传统重器。

Schirrmeister说:“静态技术确实有助于简化验证工程师的工作，使其在集成之前更加健壮。”“它们确实很重要，但我个人还没有在整个系统层面上看到它们。你两者都需要，真的，核实是其中一个问题，有点像为人父母——你需要所有你能帮助的帮助。如果某些东西在块级别上得到了更好的验证，因为你可以更早地将其带入一个更经过验证的状态，那么哈利路亚，这一切都很好。”

他补充说，界定问题归根结底是将更高层次的抽象结合起来，并一次一个层次地处理问题。“你必须确保自己的IP是清晰且合适的。您要确保您的子系统是清晰和适当的，然后当涉及到系统级别时，您有不同级别的验证。你要验证积分是否正确。您已经验证了正在集成的各个组件基本上都完成了，因此希望这对您有所帮助。在此基础上，构建场景，并不是所有场景都能在所有细节级别上运行。这都是等级分明的分治。在最高级别，你有场景，然后展开到较低级别的个人验证任务。”

Synopsys静态和低功耗验证产品营销总监David Hsu基本上同意这一观点。“你需要为正确的工作使用正确的工具。但现在工作正在发生变化。我们看到的是这个世界，你有这些难以置信的大而复杂的设计，这些都没有改变。事情一直在变大。但就构成这些设计的内容而言，移动SoC看起来并不太像我们几年前处理的设计。从这个角度来看，与几年前更加单一的核查策略相比，更加多样化但相互关联和集成良好的核查策略非常重要。”

他指出，模拟是非常强大的。“设计规模或复杂性没有任何限制。你只需要能够负担得起时间和一台大机器……许多客户这样做，因为它是满足一系列需求的完美应用程序。如果你需要做一个门级模拟来验证你的界面和所有这些顶级性能问题，这就是你想要使用的工具。”

然而，Real Intent首席技术官Pranav Ashar断言，如今的SoC设计界正在发生一些重大变化，需要以不同的方式看待验证。“人们对SoC设计流程、流程和范式有了更好的理解。”他说，Wally Rhines最近在DVCon的主题演讲中强调了这一点，他的主要观点之一是，人们开始理解如何将IP组装到SoC中。这样做的必然结果是，需要核查和监督的步骤正在成为进程的一部分。”

Ashar表示，由于对SoC设计过程有了更好的理解，对SoC验证过程也有了更好的理解。“越来越清楚的是，在这个验证过程中，基本上我们认为我们需要在soc中验证的是，推动验证的极限不是对区块内部的验证，而是对区块如何集成的验证。这是整个芯片在系统层面上的表现。它是关于集成和系统级的问题，而不是块内部问题。从另一种角度来看，SoC的复杂性并不在于单个块的功能，而在于其上面的层。这些层有许多不同的风格，像我们这样的公司正试图解决SoC的验证问题，在这些复杂性层的每一层都被添加到上面。事实证明，许多验证义务都在更深层次上得到了理解，这使得可以使用静态技术，而不必使用模拟。”

他认为验证过程由三个大的部分组成:需要验证的内容的说明，正在验证的内容的上下文分析，以及调试。

“一般来说，模拟是一种后备技术。当这三个方面中的一个:规格说明、分析或调试是模糊的或不完整的，或者在这些方面有一些东西没有计算，那么你就使用模拟。模拟说，'我要应用这些向量，我要看看会发生什么'它总是变成我可以采取行动的东西。如果我得到了映射到设计上的痕迹，我就可以看到它，”阿沙尔解释道。

在SoC的背景下，具有额外的复杂性层，验证义务在足够深的层次上被理解，对于他们中的许多人来说，模拟是一个非常遥远的方法，是一个真正的备用选项。“对于这些验证环境，你可以用静态方法做很多事情，”他说。

Synopsys的Hsu说，归根结底，这些都不能独立存在。“当你这样做的时候，一切都很好，但你最终会有一个小众市场。重要的是，它必须与方法论相适应——必须对覆盖范围有一个统一的观点;一切都必须与指标相关。”

他相信，随着时间的推移，静态分析是绝对强制的，在实现和验证流中的采用将会非常迅速地增长，这将变得非常清楚。

“使用静态技术是很简单的。限制的是工具本身存在一些性能问题，这些问题将得到解决。能够让静态工具提供与下游工具将要表达的内容相一致的设计视图。例如，如果你可以避免在动态模拟中做一些事情，因为它已经在静态验证中完全覆盖了，在相同的覆盖数据库上或使用相同的断言，那么客户可能会有一定的信心，他们不必花时间去创建一个测试平台来完成那部分验证挑战，”Hsu总结道。