X因素

埃德·斯珀林
未知数的数目在增长的每一段SoC设计的制造、提高可靠性和必要的权衡之间的股权来满足市场的窗口。

工具可用于处理这些未知,或者X,但肯定不是全部。此外,没有一个工具可以处理所有未知数,其中一些可以建立其他未知。关于X的信息,需要确保他们的约束控制,需要传递从一个阶段的设计,并且经常回来。

虽然这在理论上是有道理的,现实远比流程图可能指出及复杂X经常迷路。更多的功能,更多的交互,操作模式越多,岛屿和电压rails越多,越IP-both商业和内部开发出更大的未知行为的机会。添加到工程变更命令,生理效应引起的功率密度增加,和量子效应的威胁在10纳米,超出当前并不总是发布不断随着时间的推移,这个问题,突然开始看起来像一些神话,多头野兽。

“已经有很多关于X的传播以及如何解决它,”伯纳德·墨菲说,首席技术官Atrenta。“改变是共享的复杂性问题。首先,我们在每一步复合不确定性。最重要的是,有急于创建通用X传播工具。但是那些遇到同样的问题作为通用assertion-based verification-most设计师有效地没有时间去做。另一种是你需要特定于应用程序的解决方案,但适用的应用程序是什么?你不能用X传播一个通用的解决方案。您需要一种方法来隔离问题。”

IP的影响
新皱纹都是IP的体积增长,通常是购买或实现为一个黑盒技术。在商业开发的知识产权的情况下,大多数是非常好特点。在内部开发的知识产权的情况下,假设是一个团队,了解IP是整合和发展。但这并不总是适用于统计,部分原因是IP并不总是作为目标,部分原因是不可能完全描述IP对于每一个可能的场景。在某些情况下,这些场景还没有被发明。

“你肯定会有未知组装东西你以前从未使用过,因为你不知道他们所有的怪癖,”洛朗•摩尔说,在Arteris首席技术官。“你可以提前一些时间与模型映射像TLM 2.0。或与RTL做集成的工作之前,你做少量的性能测试。你也可以建立一个全系统的环境。构建大规模的设备越来越多的人所认识到的最困难的工作是系统验证。以前单位验证。”

一个战略,network-on-chip方法的基础上,是把复杂的边缘设计。同样的策略将是一个中心主题内堆放死当他们变得受欢迎。虽然帮助,但仍然不能解决所有的问题涉及未知数。

“每个IP你必须分析X分析SoC,“Pranav莎说,首席技术官在真正的意图。“X可以影响仿真的实现。很难得到正确的初始化步骤当你不完全理解这个问题。与RTL模拟你可能弱在理解所有的X,所以你回到门电路级模拟。,使其变得更更多的X的所以它是悲观的,然后你有更多的X的调试。一些公司要求所有插槽被重置。别人不因为设计师拒绝这样做,所以你有再验证的时间。”

假阳性、假阴性
在未知的一个问题涉及假阳性,深色和更阴险的同行,假阴性。追踪假阳性是需要时间的。不知道哪里有未知更糟,因为他们可能不会显示在验证,和大多数工程师畏缩的高度公开的问题出现在过去的几年中,从智能手机到汽车。可以期待的最好的,在这种情况下,解决他们售后软件更新。

一个策略是改善现有工具的准确性。另一种选择是采取悲观的方法和添加更多的利润,但利润可以提供一个缓冲未知数也失败的目的移动到下一个流程节点,因为它会降低性能,增加功率要求,在40 nm超出它增加的生理效应的数量必须处理和验证。

”的一个问题是,时间一直是图论,“说学历Devgan,硅的验收和确认公司副总裁节奏。更好的方法是基于路径。你可以恢复约3%的保证金和基于路径的解决方案。在过去,工具不够准确的约束问题。当你考虑芯片上的变化,只会增加许多未知数。”

这一挑战在验证和验收阶段尤为明显,在芯片制造商可以看到所有已知问题。未知数可以堆积在一个巨大的僵局,将验证和调试过程变成一场噩梦。幸运的是,大多数的公司一直在为这些问题看到了即将到来的一段时间,至少知道需要做什么在设计方面。

第二种方法是孤立的各个部分的设计,通过行为等方法建模(见有关的故事)。这一策略是有什么不同呢,虽然它遵循通常的“分而治之”的方法,它需要提高抽象层次。无论哪种方式,有更多相同或更少的时间来处理,有互动,没有人过去遇到因为数量特征和整体密度增加。

“当然有更多的复杂处理,”埃里希·马斯纳说,产品营销经理导师图形。“一些用户不解决事情超越基本的检查。”

FinFETs、过程变化和其他惊喜
未知数不仅仅局限于设计过程中,。他们有了一个新的维度在最先进的节点流程和交互意想不到的变化,一些涉及软件。

”,您可以优化您的探索和可行性约束,建立了节点并不是那么困难,”玛丽安说白色,Synopsys对此产品营销主管。“但原因有很多客户正在finFETs,有很多未知数。硅与真正的你也有芯片上变异。”

增加设备的复杂性,有时可能插到墙上的插座,依赖电池在其他时候,和充满不同的电压可能是也可能不是根据用户使用,功能或位置。

“厂给我们慢慢的,fast-fast,但一个SoC在所有这些操作条件和更多,”怀特说。“这是另一个未知数的变化,定义(multi-corner,多模)是另一个约束。”

结论
X并不新鲜。未知数多年来一直由验证小组处理。是什么改变了,大量的未知数,在另一个未知的潜在影响,需要考虑他们作为系统的一部分,而不是孤立的。

工具、方法和教育所有的帮助。但他们每个人孤独——在某些情况下,他们所有人聚不能预测或解决所有潜在的不良互动。复杂性设计蔓延向四面八方,和X的数量是复杂性的直接结果。最多可以控制,但它永远不会完全解决。