知道要寻找什么

权力领域的数量爆炸在今天的ICs,很难包括所有不同的模式验证的复杂性。

“已经足够有挑战性的问题,”马克·贝克Atrenta产品营销主管。“看,SoC设计的集合各种IPs,不同的通信协议、总线结构的复杂性,然后来了移动市场上的所有的电池寿命要求,需要维持一个长期的电池充电手机和便携设备,然后访问所有这些很酷的和精彩的应用。它迫使新的重大挑战上已经存在的挑战核查。具体来说,能力验证是分裂的。”

对一些人来说,它更多的是静态的,结构类型验证。另一方面,功能块也是相当重要的问题。

“权力本身带来了一个新的元素,”贝克说。“你看所有这些挑战的关闭和启动序列和试图节省电池寿命的想法通过许多不同的电压域管理。所有这些提供一套新的挑战已经很高的复杂性。所以我们可以(验证所有的操作场景)?我们必须。我们必须能够模拟或验证所有这些不同的操作模式我们要下到一些相当重要的黑洞的设备在哪里会结束。”

这对EDA行业面临的挑战是如何管理,与抽象/还原技术能够提供一个合理的周转时间验证策略,贝克继续说。”这是什么行业会看不断完整的芯片和自顶向下或自底向上的策略和抽象。这都是关于抽象。如果你看看IP验证和构建块的SoC水平,和对你的建模和智能能够理解上下文中的IP SoC上下文。这就是重点将继续。”

从高层的角度来看,有电池的运行时间的方法之一是看如何节省模具。

“传统的时钟门控技术不帮助节省电力因为你进入更深层次的技术- 28 nm下面泄漏是主导因素,”Girish Gaikwad提到的,主任Open-Silicon SoC工程在设计房子。“没有办法处理,但关闭你的力量领域。可以动态地控制权力领域基于特定功能条件,如关闭或在某些权力领域在芯片内。另一种方法是自适应规模上下电压和频率通过芯片的操作条件(温度,等等),这样你仍然能够增加电池的寿命。对于这两种场景,动态或自适应技术仍没有解决任何的FPGA原型。”

他指出,模拟供应商正在推动低功耗验证的解决方案,但是他说,最好的解决方案仍然是模拟器使用权力格式(UPF值和CPF)。“这是一个非常耗时的过程,”Gaikwad说。”盖茨与孤立的细胞,换档器和功率水平未来网表,门电路级模拟是一个噩梦。”

他承认,验证流有——工具——但是他们需要这样做在RTL和网表阶段验证。“当然在RTL没有权力和电压和电流,但有工具,允许你模仿。但是当你去门电路级模拟同样的工具将允许您获得真正的感觉。说到这儿,我仍然没有看到,RTL FPGA等硅,在那里我可以看到一些电压关闭和打开,当给定一个真实场景仍然是不可能的。足够好,当有一个,两个或三个权力领域,但现在设计经常包含15或20电力领域。它不仅是动态的,它的适应性。这是一个挑战。”

这引出了一个问题是否有可能来验证所有的操作场景在不同的权力领域一个SoC今天没有把周,或更长时间,减少仿真时间,但不影响精度。

“答案是否定的,”据Koorosh Nazifi,工程集团低功率和混合信号计划主管调子,“如果我看问题陈述在缩小范围,只有与复杂性介绍给不同的操作模式,鉴于电力领域的数量和潜在的大量的不同的模式,可以从理论上生成。”

Nazifi指出的情况下有80000或更多的权力模式的潜在场景生成基于电力领域的数量。”可以是一个非常复杂的情况,但现实是,我们推荐给我们的客户在这个特殊的空间非常类似于我们的推荐功能验证方法。”

功能验证方法的一个方法是节奏所谓metric-driven验证。第一个方面,这与创建一个顶级的计划,这可能是功能规范的设计需要验证。从顶级验证/规范,所需的指标和覆盖需要监测在实际的验证周期提取所以可以生成相应的报告关于测试的长椅是如何锻炼的电路基于高层验证。工程团队可以看到差距在哪里,在那里他们需要增加覆盖率和添加更多的测试向量,他解释说。

这是扩展到低功耗,电源规范中定义的论坛(很快UPF值)可以使用和权力意图可以提取生成适当的度量和覆盖点,以及断言。

除了功能验证,物理和电气设计验证对soc的重要性与日俱增,今天,断言Arvind Shanmugavel, ANSYS-Apache应用工程总监。“有很多事情与功能方面,你需要验证的意图。然而,一旦你实现权力意图正确验证物理和电气方面的实现。确保您正在执行多个功率域之间的噪声耦合模拟,断开的泄漏模拟,升高模拟都是物理和电气验证的一部分。这些都是节能的一个重要部分验证。”

他提醒,节能设计在物理方面当然是第一位,从电网结构的选择,选择的方案,选择数量的电力领域——所有这些都与节能设计和设计师需要有一个非常清晰的概念如何设计实际的集成电路与电源。

不过,无论选择何种方法,为什么15和20背后有逻辑域甚至可能,碧玉副总裁劳伦斯Loh提供工程设计自动化。“假设你有20力量域。电力领域前阶段,系统级验证本身已经是一个挑战——如何获得足够的覆盖率。在系统级一个域是不可能尝试所有可能性,更不用说当你取到20。20电力领域有一个原因可以至少pseudo-independently操作,这是因为可能的域的架构师定义组合是合法的——我们称之为功率状态。当你的因素,有很大权力的一些州是合法的。所以我们缩小它,然后它取决于您所使用的验证方法。”

今天最常见的方法是有些蛮力模拟,Loh说,随着节能模拟,在穷尽性方面有很多问题,你必须使用大量的判断什么权力状态是可能的,什么情况下是有意义的。即使有许多权力领域,限制使用随机技术就像一个域来确定重要的事情。另外,有相当多的新功能在不同的工具,可以帮助解决的不同方面的验证。

当工程团队开始分裂域到十几岁和二十几岁的力量,这并不是因为他们喜欢这么做,这是因为电力需求如此咄咄逼人,Loh说。

确定功率要求,计算确定有多少功率状态。下一步是找出这些权力应该一起工作和为什么。棘手的部分通常来自不同的权力领域是如何被开启和关闭以及它如何影响功能。它可以归结为寻找工程团队知道,他总结道。