电源管理验证需要全面的方法

半导体工程坐下来讨论电源管理验证高级主管Arvind Shanmugavel问题,应用工程Ansys-Apache;Guillaume Boillet、技术营销经理Atrenta;亚当•谢尔验证产品管理总监节奏;Anand艾耶,产品营销主管Calypto;Gabriel Chidolue验证技术专家在设计验证技术部门导师图形;高级经理,Prapanna女子静态和形式验证产品,验证小组Synopsys对此。以下是摘录的讨论。

SE:最好的方法是什么,把主题电源管理验证上下文在今天的设计过程?

Shanmugavel:低功率流的不是一个静态的一步——它总是一个镜子,所以你今天所做的一切,如果有一个低功率玻璃你可以穿上它,这是任何设计团队。这是说起来容易做起来难。

艾耶:我同意你在这个意义上,但是我也不同意你,因为即使低功率需要这样看的话,人不这样看。

Boillet:这就是我们有事情要做,以帮助设计师。我同意我们必须通过不同的镜头看问题现在我们看到权力影响DFT,对疾病预防控制中心有影响,会影响功率优化,所以我们提供基础设施为了RTL仪表甚至ESL的元素力量的中心问题,DFT的问题元素的力量。

艾耶:我将多走一步说它通过流。

Shanmugavel:我们需要看作为一个整体的方法。不仅只是功率估计理解如何估计功率,减少权力还权力在所有下游流动的影响当我们设计芯片,从高层权力估计系统级当你整理完整的产品,您需要确保每个芯片或每个IC坚持某种力量的目标,是你把这些不同力量的目标,它影响热以及如何验证热;它影响electro-migration;它影响你的动态电压降,这是你的产品的性能。所以,这是一个全面的方法。据说任何移动产品,我们不能带超过3瓦的权力——如果我们携带超过3瓦的功率会导致某种形式的散热和可用性成为一个问题。所以现在一切都是关闭的。我们正在考虑电力电源的设计方法,而不仅仅是设计与权力。它是一个完整的设计范式转变的力量。

谢尔:挑战,我们自称自顶向下的方法,但是务实的现实是,我们的IP,长寿命,必须重用。我们现有的客户,我们有设计团队蔓延全球,我们需要开始使用的内容存在,并将客户从他们手里这些自上而下流动。我们可以准备工具方面,我们必须。但是我们必须给工程师一个路径。直觉地理解自顶向下,我们必须向他们展示一座桥。

Chidolue:这就是能够把在一个单独的方式描述一个权力架构,然后您可以使用它来看看那些高层的观点,你的IP,你只是谈论——早期开始。

SE:权力格式如何适应呢?

艾耶:这是另一件事——格式已经进化,但根本问题即使在今天。以我的经验作为一个设计师,我们使用UPF但之后当我们改变我们的设计,我们必须添加东西UPF值来验证——与设计是否正确;只是确保验证是正确的。用于减速的过程中,我们使用内部工具来添加这个设计。

Chidolue:我明白你在说什么,可能的原因之一,是因为很多,门口的工作水平。很多电源优化你只是谈论从大门水平,每个人都在一个给定的公司知道如何添加这些门级工件根据他们自己的库,根据他们自己的流动,但一旦你得到了分离,新事物叫趟车,我不认为他们知道如何使用的抽象级别。

谢尔:我们提供客户作为我们的标准文档的一部分整体看来,端到端如何使用力量的格式。这并不意味着每一个技术流的一样…

艾耶:我还挑战你,即使你提供整体看来,问题仍然存在。与权力正在谈论一个物理问题,你试着翻译。

Shanmugavel:我不同意,因为这不仅仅是一个物理问题,你必须处理在一个物理身边。UPF值和论坛格式,它们代表权力意图但什么是可以做的,论坛和UPF值,我们也可以估计功率在体系结构的早期阶段,我认为这是非常重要的。随着人们准备好非常接近权力估计在RTL阶段,这是接近门水平,我们使建筑师设计低功率产品功能,并与门电路级减少。

女子:核心问题是格式给一个意图,RTL给了我们另一个——它只是一个数据条目。低功耗带来的主要挑战发挥现在在流片必须知道发生了什么事情。在模拟阶段,我必须知道我的合成做些什么格式文件,我最好是在做同样的事情或者我金色的引用在RTL是伪造的。合成更好的在正式做相同的事情,不,每一个必须有相同的理解。为此,整个电力问题不是一个工具或一种格式或流中的一个地方——它是关于整个平台。你必须看它,我的整个设计流程,我可以做一个低功率意识到意识到疾控中心正式检查。我们会越来越多的在这个领域我们不能在课堂上最好点工具坐着说,“我只是做合成,”或“我只做模拟,找出你想要的。

SE:有限制的格式吗?

Boillet:我认为现在在权力意图格式,有局限性。例如,DFT概念并不是真正的照顾。我相信我们会到达那里。与此同时,我们需要提供一个解决方案,确保人仍然可以通过他们设计和克服问题当你把权力和DFT在一起。有事情可以做来简化问题。例如,有权力层次结构完全匹配的逻辑层次结构都帮助我们实现避免问题的工具。所以,与RTL重组之前,它却可以帮助同时涵盖所有方面的行业有一个标准。

Shanmugavel:当你设计力量,RTL设计的那一刻,你怎么把这个权力格式转换到下一个层次,这是物理设计。一旦你经过实施,验证呢?我们需要填写所有的碎片。例如,当你设计低功耗RTL,一旦你捕获的总功率,它可以在一个叫做RTL动力模型。RTL动力模型可以带入现实世界,在那里你可以实际执行能力模拟身体一侧或动态电压降模拟或终生模拟在物理方面。一旦你模拟集成电路,你可以生成一个芯片功率模型,该模型可用于系统级模拟。你从体系结构开始,进入RTL,从RTL您交付能力模型,从您所提供的芯片芯片功率模型系统,所以你需要有一个完整的生态系统——从建筑产品——而不是架构GDS。

艾耶:我也将反向方法和接近设计的方法。从我的经验我们使用这些模型的几个,他们从来没有成功过。作为一个设计师我想要的是一个工具可以做一个正确的建筑——他们如何确保?而不是估计,而不是验证的挑战。今天,你想要模拟,然后你甚至不打扰如果功能是正确的。在这个过程中,你可能做一些逻辑等价检查但一直到最后你真的不担心功能。

Shanmugavel:权力不同层次的抽象概念。当你看RTL阶段,这就是我们所说的建筑知能力评估。基于什么样的架构我们估计,一旦你进入微架构阶段,它变成了周期准确,一旦你进入阶段(合成级别)就登机口的准确,这是最准确的功率水平。

谢尔:我不得不同意Arvind因为挑战的一部分,人们写作的格式是设计师和他们在写一次没有任何概念的这个流所以我们不得不采取这种解释和做出最佳的工具,没有专门处理。模拟是其中之一,和系统级甚至更远。

Chidolue:在导师,实际上我们一直做的是看门口的获取一些信息的方法水平和饲料,备份你的系统模型,因为你是对的;我们已经看到在过去的是那些高水平的模型不够准确,允许你做出的权衡我们谈论的是在系统水平。你能做到这一点的唯一方法就是以某种方式获得的信息。

艾耶:关于探索,我们可以做的事情,首先,权力方面的事情需要分解成小块,他们需要相互独立地探索…。你可以探索所有的权力控制选项,甚至进入写作格式和之前的流。这是一个关键难题。

女子:我们意识到是我们不能做的仿真不知道什么是静态的,正式的要做什么,什么是疾病预防控制中心要做的,即使产品毛羽,我们意识到我可以做最脏RTLs肮脏的,我可以做一个线头,可以使生活更容易的人要写第一个testbench。你看到这种相互作用吗?

Chidolue:我同意这一点。我们正开始看到类似的东西同样至少从功能验证的一面——是不够的只是考虑仿真——你必须考虑疾病预防控制中心,你必须考虑仿真的系统级…

艾耶:你做什么最适合你。如果我们采取这种方法,而不是预测另一个人会做什么,可能事情会好的。

谢尔:客户有权力域结构相对简单,小数字是好的。但公司汇集了50或150电力领域的IP是未知的,不可能在这个范围内工作。他们不能。他们不得不把线头检查。