确认什么时候完成?

验证变得更加困难在16 nm / 14 nm,由于soc的复杂性,还有更多的事实来验证,和生理效应的影响,目前影响曾经专门领域的功能验证。

这些变化带来艰巨的问题,许多工程师,而不安。整个验证,验证和调试过程不断出现新的bug soc推出。其中一些可以固定在软件,其中一些可以固定在接下来的牧师chip-often前期制作的re-spin chip-but其中一些也使他们的方式进入市场,他们可能会带来麻烦。而且不只是硬件必须验证了。

“十年前,我们主要是集中在验证硬件,使它更简单的解决,”哈利说福斯特,首席科学家验证导师图形。“从ASIC的角度来看,代价是更多的限制。IP验证仍然做的方式类似于asic是如何完成年前,但是soc已经改变了一切。你不能验证独立ip。你必须把它们放在一起,看它们是如何工作的。有行为你不能验证,直到他们完全集成。”

这一转变是渐进的,尽管警报响起了最先进的芯片制造商。几年前在一个DAC面板中,讨论的话题之一是不断增长的成本post-silicon验证。大芯片制造商通常承诺至少一个re-spin看看出错当事情是完全组装,然后调试它。

发现错误之前
这并不是最有效的方式处理错误,。根据培养,如果一个错误不是固定在创建它的舞台,花费十倍修复在每个连续的阶段。post-silicon,修复成本10倍。

事实上,最有效的方法是首先设计用更少的缺陷。这听起来不现实的,但事实是,方法整个行业和整个设计流程需要清理和现代化。他们中的许多人不考虑新的IP或物理效应,和验证通常是一个后期处理。

“适当的验证设计的答案,”Frank Schirrmeister称集团主管产品营销系统开发套件的节奏。“你需要确保错误并不在设计首先,为此你需要一个好的方法和工具。工具没有所有的答案,但是他们使方法。”

但实际上如何构建你的方法,不管它是自上而下的系统级方法或自下而上的方法从街区层面,是一个有争议的问题。三大EDA公司所有推一个集成的工具流,而规模较小的公司说这不是有效。这两种方法有追随者,即使在芯片制造商。

Pranav莎,首席技术官在真正的意图,认为解决这个问题的最好办法是一层一层地。“有更多的复杂性,但复杂层,”他说。“整个SoC验证可以被视为验证的狭窄的步骤。复杂性意味着有更多的措施,但这些措施需要三件事。一是规范需要精确和自动和隐式。第二,这些步骤需要解决与静态分析是可行的和有意义的,所以你不必把它放在一个模拟器。第三,调试需要足够窄,它可以精确。如果你有这些,然后最终的效果是积极的。

公司销售综合flows-Mentor Synopsys对此和调子皆认为,模拟/仿真的一个重要部分方程和倾向于认为验证更多的从系统的角度来看。模拟买了一些时间,因为它可以处理一次远远超过模拟。然而,每个人都同意验证问题越来越难解决,方法是解决问题的关键。

但芯片制造商真的会关注方法吗?答案是,这取决于市场,芯片制造商,有时各种市场由一个大芯片制造商。

“很难让客户做更好的计划,”Michael Sanie说验证营销高级总监Synopsys对此。“验证架构将是更高效的如果是设计安装的一部分。但是,很多公司从上一代做的就是重用它。”

不同程度的信心
芯片制造商的不同方法背后的关键原因是它们的垂直市场开发芯片。当一个错误在一个处理器可能是不可接受的,在消费电子设备可能不重要。经常与软件bug可以固定在产品上市之后,这也解释了为什么有那么多更新操作系统,更少的汽车更新固件,并在关键系统几乎没有。

但所有这些市场正在发生变化,因为功能已不再局限于晶体管、记忆和下面的信号path-particularly 28 nm。热量可以破坏它们,可以软件,IP、噪声、电迁移、静电放电,在未来电子的移动节点。“物理效应在验证新的皱纹,“Schirrmeister说。

这似乎是世界普遍的共识的功能验证。你不能忽视生理效应了。

“我们开始看到芯片可能功能正确,但他们的物理行为是不同的,”说Synopsys对此Sanie。“很多这是post-silicon调试。功能上没有办法知道问题在硅之前,所以你必须把你找到的东西post-silicon回来。这就是很多创新发生因为没有工具来处理这个了。”

结论
所有这一切导致回到两个非常重要的问题:

1。确认什么时候完成?
2。验证的成本会下降吗?

第一个问题的答案是没有。“我们称之为炼狱tapeout之后,“导师的福斯特说。“但有指标,人们用来确定当他们完成。覆盖率是更重要的指标,它适用于IP水平。系统层次上有工作要做。”

第二个问题的答案是最有可能不,永远不会下降,成本虽然有防止穿过屋顶的方法。“很多工程师仍在部署到验证,不是设计,“真正的意图的莎说。“真正的衡量新工具的好处是能够重新从人力预算工具,你需要更少的人来看看模拟运行的输出,例如。我们需要做一些事情,因为没有增长的人数上升的soc的复杂性。”

还说Synopsys对此Sanie:“我不相信验证成本会下降。现在的问题是如何管理它,变得更有效率。有两个方面。一个是资源,更高效的工具将帮助。第二个是人类费怎么样你花费太多时间在处子秀和设置testbenches。这是一个方法论问题+工具之间的集成。”