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

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

SE:是否可以到达100%,验证?

女子显然:EDA行业提供不同的难题,这并不总是可能提供一个统一的解决方案,地址从你的开始,高级合成你的产品。这几乎是不可能的。但是我们已经注意到在过去的十年是设计师,或设计产品的人,他们发明了这些方法,系统地将权力从一代产品到下一个系统实现可预测的性能,与可预测的功率减少,他们怎么能这么做?我通常说的是,没有替代良好的工程判断——您可以构建工具,你可以做很多事情,但绝对没有替代良好的工程判断。我喜欢引用的例子是,几年前当苹果发布iPhone,他们展示了一个40 x改进的性能/ 7年从第一个iPhone,但你猜怎么着?电池寿命的技术只有改善2 x。他们是如何实现它的?通过系统建模和减少权力,一代一代相同的工具,他们。

Chidolue:我认为他们做了一些改变。权力领域的数量必须上升。当然,方法有注射。

女子:现在是一个完全不同的层,伤害了我们。现在掌权的设计,我看过几个bug。早些时候关于功能测试,很容易得多。现在,你必须弄明白,因为这两个世界是完全独立的,有软件,有设计的人真的不多了。现在,软件可以完全搞砸了所有你所做的设计。你可以有最好的,最稳定和简单的低功耗设计软件可以进来,只是忘了关掉一个域,你的电池寿命会结束。软件需要考虑,这就是提升抽象,这是接近软件,很有道理。一旦你有了这些模型和描述事物在更高层次的抽象,在C或c++,甚至系统C—您可以测试软件和实现,一旦你有了一个实现完美的世界。

Chidolue:你还需要验证所有的,你需要一个平台,让。你只是谈论软件忘记关掉一个特定的块,但您需要验证。你需要一个平台,让你看到运行的周期。一个是在一个高水平的抽象但你仍然需要的精度水平。你需要允许您运行模拟现实场景。

谢尔然后我们需要能够描述用户如何做调试。我同意你的观点,基于硬件的解决方案,我们都有这一段时间,可以运行功率的格式。但他们运行它作为0和1,不是“诱导多能性”,我们能做的模拟。我们需要能够描述验证团队何时使用,如何从一个环境转换到下一个,如何把数据从一个到另一个复制并迅速解决,因为当我们做硬件,我们迟到了。

Boillet或者提供一个创新的解决方案,允许用户做事情要隔离排序,保留测序,检查以确保你经历了所有的权力状态表——帮助和防止需要模拟或仿真。

谢尔:我同意你可以正式运行技术状态,只要你抽象,这样做,但上面运行的软件元素将打破,因为人们会做外面的事情。

Boillet链接:你可以通过假设,您可以编写一个描述软件。

谢尔:没有人会这样做。

艾耶10:你提供一个解决方案域力量,人跑100电力领域下一分钟。EDA供应商,这就是需要把我们的帽子一起想出解决方案,除了是一个半导体的人真的可以寻找。

SE:难道它不仅仅是工具吗?我们可以把所有这些问题,但是如果没有一个系统化的方法,和测量它的能力,看看你是否要覆盖它?

Chidolue:你说得对。是方法,这都是关于保险,都是关于测量算出你在哪里,它是关于拥有一个系统的步骤。我们告诉我们的客户开始一个好的设计,RTL,增加权力的构件:现在你知道这没有权力的概念设计工作。添加UPF值或任何格式你的验证过程,然后开始与你一同前进。我们制定了一大堆的东西包括正式的,包括疾病预防控制中心,包括软件的组合,在流中的不同部分。

谢尔:我看到的挑战是,我们也许能说出了50家公司团队,知识,经验。背后站300个,500个IP供应商没有时间,资源,还没有搬到抽象,有很多约束提供IP到这些流我们还有工作需要做的把知识作为一个社区,我们都开车到这些顶层,并使其所有的美味和消耗品。这是唯一的方法这些大soc实际上是建立。

Chidolue:我同意。最近,我们已经与许多客户合作——特别是一个IP供应商,每个人都知道,已经率先使用通过UPF委员会这个细化操作流程,允许你,作为一个IP供应商,只是描述IP的约束。您可以验证这些约束vdd之类的没有知识,所以在IP层,IP人可以做很简单的事情,并向顾客交付的IP。客户会知道IP的上下文中使用,可以添加其他信息(VDD,电力,等等),然后做的验证。

Boillet:我们也可以帮助设计师解读UPF或CP本身——它可以非常复杂,在这方面,我们正在努力帮助:我们提供,例如(在我们的工具)一个视图UPF值下的意图。这使它更容易感受的设计师IP的目的是什么。

女子:有很多工作要做,和IP家伙不得不醒来,但他们中的大多数还没有。设计团队还醒来,意识到他们必须认真对待这和早期在我们的计划。我认为EDA工具可以帮助实际上是如果把整个事情有一组的东西——你做的验证计划,我反对什么?然后,在略微重叠的阶段,你开始跑步——有一些反馈规划;然后你继续的后期调试:弄清楚这是怎么回事,怎么了。如果这些阶段生长的相互作用…他们都在一个平台,相互交谈,我们可以告诉你,在模拟该做什么,不该做什么,这样你的静态容易,静态仿真可以送你回如果你错过了一个覆盖点…

谢尔:我们对“平台”的看法略有不同,我们一致认为,我们需要能够形容,但是客户会选择最适合的技术在这些使用模型。我们可能会觉得我们已经添加集成的优势,但我们不会把他们关到。

艾耶:我们的观点是不同的,但我同意你的观点,验证需要是一个精心策划的过程,但我们还需要减少对验证的工作——我们如何做一些correct-by-construction前面,这样你就可以减少验证?像一个power-optimized解决方案,这样可以减少复杂性。

SE知识产权方面呢?有一个IP规划师你给DesignWare和所有其他的IP,因为我们还有IP进来的问题吗?

女子:IP本身没有任何不同的计划——这只是一个小得多的范围。IP家伙有更大的问题是如何捕获的权力意图和知识产权的行为,这样它可以插入。

SE:在这个行业中,我们使用这个清单应该是所有的事情。发生了什么事吗?

谢尔:太教条是问题的一部分——列表是站不住脚的,并不是自动化;这只是一个清单你检查在多大程度上是你自己的选择。我认为有两种观点。有一个IP提供商的观点,我认为我们可以提供信息,帮助他们的接口,与格式,所有他们需要给到流。在消费方面,他们需要期望它。但是,我认为我们有距离的装配工具,让乐高风格。我同意你成千上万的域,但没有一个开关单独所有。

Chidolue:对于提供者,它是关于如何捕获的约束并提供积分器。

谢尔:对,因为积分器得到IP块有多个操作模式,他们会选择关闭他们的导数SoC的不同客户配置,所以IP提供商必须尽可能开放和集成商更封闭。