工作的力量验证

供电验证正确的——或者至少足够好——对许多设计团队是挫折的来源。添加到这个事实,没有一个正确的方式去完成化合物的挑战。

幸运的是,有许多正在不同程度的选项,从静态验证,根据伯纳德•墨菲Atrenta的首席技术官。“静态验证——我指的是真正的静态的,不是正式的,是完全可靠的。没有模拟依赖和约束依赖关系,所以你可以完全确认权力意图,UPF值,所述完全匹配实现,一直到布线后的。”

静态不包括什么是正确的任务模式系统的操作,当一些IPs断电,或在低压/速度过渡模式或行为,如这些模式之间的切换和正确的康复保留寄存器。“对于这些场景,选择依赖于基于仿真的或正式的技术,”墨菲说。“在一个地方,正式的是更好,因为它是更完整,但它不能处理跨系统行为,因为正式堵塞在大的设计。可以解决这个黑人拳击大部分的设计,然后你必须做(未经证实)假设您可以安全地忽略。”

此外,估计在SoC水平仍然是非常困难的。评估方法需要模拟转储所有节点,这是非常昂贵的,即使在模拟器,并极大地限制了时间窗,可以建模。墨菲指出,有工作被完成在IEEE P2416开发标准功率建模在IP层,这可能有助于减少需要建模的所有电路在一个非常详细的水平,但这一努力是刚刚开始。所以估计可以帮助检查小窗户,但没有进一步。

使用正确的施工方法,也称为可核查的电源管理设计,他说,仍然必须进行验证。但如果电源管理架构是受限的,有一个更好的机会得到一个更完整的验证。“显而易见的方法是有一个中央控制器对所有电源管理——时钟门控、功率和电压控制等等。如果功率控制决策完全在这个网络(或从软件通过网络),它可以是可行的正式验证网络没有交换机到意想不到的条件。这个工作如果,只有网络分析是在正式的大小可控。如果依赖也滑落在IPs的详细结构,再次变得难以管理。”

可以尝试解决这个与分区控制。“你可以拥有全球控制器管理在全球层面,但也有本地控制器内部IP /子系统。然后为每个单独的IP /子系统,分别证明正确性和全球水平你也使用任何约束来自当地的证明,”他解释道。

然而,设计团队没有信心,这种证明是完全可靠的,因为他们仍然在software-controllable纾困或自保”选项允许用户禁用控制或控制领域的情况下如果实际用例出现意想不到的角落,墨菲。

Krishna Balachandran低功率产品营销主任调子,同意了。“功能验证通常依赖于模拟或仿真,并要求testbench。需要的运动设计可能在不同的情况下,没有权力也已经是一个问题。你如何确保您拥有覆盖所有可能的状态,设计将在和你核实一切你可以吗?”

模拟无处不在但不是详尽的,也不是仿真,他继续说。“比模拟仿真是快得多,但这些都是依赖于人类能够指导测试在一个适当的设计空间的一部分。权力做到了很多更糟糕的是,这并不是一个新问题。十年前和现在,芯片的功率定义已变得更加复杂,例如,复杂性是上升,这意味着有可能许多州的设计——逻辑状态和电源状态可以在不那么显而易见的方式相互作用,会导致系统故障。如果你不检查这些,你不考虑检查这些,你可能没有覆盖它们。你依靠你的刺激被任何刺激生成技术使用,设计空间的一部分,它覆盖了。”

问题就在于此。如何验证团队确保他们都覆盖了?大多数人都会同意这是一个非常艰难的,开放式的问题。

添加,Balachandran说,一些部分被处理正式的验证,这是详尽的模拟或仿真技术。“正式的业内一直是受欢迎的,但正式有其局限性。正式的不完整的SoC水平上运行。我不是指正式相等,可以运行在一个完整的芯片设计和一直工作在一个完整的芯片设计。相等就比较你的门水平设计与RTL的引渡。但是你怎么知道你的RTL本身是正确的?如果你运行正式在这一水平,然后你必须编写一些断言,你必须写一些约束和那些不扩展到芯片级。这些都是差不多一个块级技术。一些正式的技术被用于低功率,。”

不是非此即彼,两者兼而有之
虽然它可能容易一些看能力验证正确的建设或估计,产品营销总监David Hsu低功率,静态和形式验证Synopsys对此,强调,答案其实是两个,超越仅仅是连接这些活动。“当你建筑的设计,显然这是一些功率预算已经躺在石头上的可能。(正如一位客户所说,‘如果你不满足功率预算,你没有产品。”

一旦在这一点上,徐说,设计团队在实现方法的选择,由建筑概念,正确发挥作用了。“你看,这个工具能做些什么来帮助设计师实现结构和技术实现功率预算所需。“权力的格式,但它的实现工具把适当的结构。这个动作的设计验证的,必须了解的意图。“验证的世界,以及实现的,必须更多的认识和理解设计师们真正想要什么,并创建这些东西。然后不知怎么的,如果我们讨论的是RTL,你不仅需要理解的结构可能合成但也行为会是什么样子。你不想做任何在门级别的验证。我们讨论的是巨大的设计,所以很多在RTL这个东西真的要做。然后,当你将焦点转移到政府估计,这是完全互补——这就是你验证。”

“验证意味着你做你需要做的规范,”他继续说。“和验证意味着你已经见过你的产品需求。估计也属于这一范畴。不以任何方式代替验证,这是一个补充。”

从估计的角度来看,这里的很多工作是post-silicon完成。“但现在设计团队正在研究设计从系统级的角度看,说,“当我启动手机,那是什么工作要做,我的力量配置文件的所有操作模式下手机或平板电脑吗?他们看到的是,如果你真的有硅,你把它放到系统级板(而不是实际的电话但它模拟实际的设备),它们能够运行足够的工作负载。这是所有伟大的但真的很晚了。他们想做pre-silicon,”徐说。

虽然可以利用技术能力验证在令人印象深刻的方面,是不可能脱离的人正在使用的技术。指出,“问题来自人史蒂夫·卡尔森集团营销总监节奏。“我们现在实施的自动化是不错,但是规范的部分仍然是留给人。你必须创建论坛/趟电源格式文件。人们可能会在一个子系统工作水平和在SoC集成水平。你可以得到10000行很复杂的东西,你去核实。您可以验证它,但是有很多的错误,,,是人为因素导致的。这是我见过的最大的失败在整个今天流。”

什么不工作
虽然今天工作能力验证,连接到这一件事情是不工作是使用电子表格,保罗Traynar指出,软件架构师在Ansys / Apache。“那些人设计和有权力优先通常开始用电子表格之类的东西。他们会有一个预算,然后,根据以往的经验和他们的设计,也许他们做一些扩展或合并成一个更复杂的设计,这样他们也许会试图得到一些知道的平均功率创建电子表格。他们可能使用的电子表格包含典型的细胞或他们认为合成工具可以使用实现那他们有什么可能有一些大的宏,可以提取的权力从一个清单。人们可能会开始在这样的地区。他们会尝试估计基于电子表格的东西。”

”很快就会发现,如果权力的一个重要组成部分整个设计签收,然后他们确实需要某种力量与电子表格分析工具,因为你不能把净交换式电源,这是一个大量的设计。如果你在RTL,你不能在电子表格非常准确地估计时钟树,例如,因为没有时钟树,。你没有时钟缓冲,你有不知道时钟树是什么样子,所以你不能估计除了只是猜测。最重要的是,如果你想做的任何一种权力优化时钟门控,没有机会得到任何像样的处理上你将节省多少权力通过时钟控制,”他补充道。

无论能力验证方法被采用,要使用大量的技术影响力与日俱增的设计在整个设计流程的数据。