系统级验证处理的新角色

董事长兼首席执行官沃利莱茵导师图形,在今年DVCon给的主题。他说,如果你把一堆添加IP块,它不改变系统级别的验证问题。这听起来像一个问题。

有假设,IP块工作在合理的程度上,当执行系统级验证的重点不是发现问题单独的块,但在它们之间的交互和一系列新问题类型。有些错误可能会发现,这不是重点。

半导体工程坐下来讨论进步与拉里悟道系统级验证,系统验证的产品管理总监节奏;拉里•Lapides销售副总裁治之让-玛丽•深色,营销主管模拟分工导师图形。的市场营销副总裁汤姆·安德森Breker提供额外的内容。以下是摘录的谈话。

SE:你的解释沃利的评论是什么?

深色的:沃利是100%正确的。考虑权力——他的意思,只是因为他们已经验证了知识产权独立,放在一起时一切还需要验证。权力是一个大的例子。就在去年我们有很多的客户名称可见权力的问题。他们没有充分验证芯片的权力。他们没有正在启动的操作系统验证或验证的所有块的行为联系在一起。每一块功能正确,但从权力的角度来看,他们没有检查芯片的消费是正确的。您仍然需要验证功能和权力对整个芯片。

悟道:它仍然是一个大问题,只是一个不同的问题。从状态空间,看起来无穷-验证整个状态空间是不切实际的和不正确的方式来看待这个问题。系统级的问题超越功能。不仅仅是问这些两块IP可以沟通,但什么是带宽和延迟。你是穿越然而许多时钟或权力领域这两块之间的IP。即使他们看起来好功能,他们可能无法满足性能要求。系统从验证的角度问题要复杂的多,因此这是一个大的工作。这些问题,即使IP正在创建的问题。

安德森:这取决于你如何看待这个问题。最上面层级芯片或系统应重点关注验证集成,与multi-IP场景用例,电力领域,时钟,安全,之类的。你不应该试图验证所有的低级模式块从系统水平。使用well-verified IP不会改变你应该做什么。然而,如果今天你在块级验证缺乏信心,那么你可能试图从系统级验证他们,一个巨大的任务,几乎是不可能的。在这种情况下,移动well-verified IP块可能使您能够专注于正确的问题在系统水平。

Lapides:有一个有趣的术语被用来捕获这些系统级验证问题:额外的功能属性。力量、延迟、安全都被集中到这一项。我们需要开始担心这些事情。虽然已经在各个部分工作,主要是在学术界,几乎没有把它们放在一起。

SE: IP和重用有某种程度的封装和不是所有的状态空间是共享的。访问一些州是有限的。IP重用模型变得更加精炼,控制内部是如何暴露在外部的。权力统一格式3.0是一个例子,暴露了权力方面的内部工作。这意味着你不应该关心权力是如何实现在IP块。

深色的:但你仍然需要确认每个IP及其交互中SoC这是旨在从权力的角度来看。这是一个挑战。

悟道:在不同的操作条件。它是如何在这个特定的功率运行状态当我关闭一半的处理器。这种交互,必须看。

SE:我们如何处理诸如性能?这从一个运行无法衡量,但是需要很多运行平均数据,公平,等等。

安德森好点。我应该提到的表现在我的列表关注在系统层面的东西。人们传统上认为试图测量性能使用生产软件,运行速度实在太慢了RTL模拟。所以人们要么升级产业链虚拟的平台,或沿着链模拟或FPGA原型。有另一个,我们已经找到工作。如果你可以生成非常密集的测试用例,运动并行multi-IP场景,同时保持所有的处理器,I / O通道,和记忆真的很忙,然后你可以得到一个现实的逼近性能。你不能手工编写这些测试。你必须生成多个平台使用便携式刺激技术。

Lapides:性能是一个真正的问题。人们一直沿着这条路下去认为cycle-accurate模拟可能的路要走。一些人认为它太慢运行场景所需的数量和模拟在这方面也有这种情况。它太慢了捕获所有的需要的性能场景。另一方面,系统仿真与虚拟样机或一个模型在Matlab / Simulink级别没有足够的精度。所以有足够斗争能够运行的场景,有足够的准确性和适当的模型和信息做出合理的判断性能。

深色的:我认为模拟甚至FPGA原型不是检查而设计的。他们是为了检查功能行为和周期。检查性能的唯一方法是使用一个非常高的抽象级别,或者你可以等待,直到你有一个物理芯片连接到一个目标。你不能全速运行。

Lapides:我们已经看到大学虚拟原型性能估算,他们得到巨大的准确性:+ / - 5%皮层M3没有缓存和一个进程或核心。下一步是去的A9双核心缓存,但真的没有什么是可怕的复杂。这仍然是7或8岁的技术。试图找出如何做绩效评估是一个重大的挑战。

悟道:有一个图表,看着SoC验证问题在不同的层。你谈论的是符合这个标签互连验证。真的开始我们观察在不同层次互连。第一级是‘互连做我想做的事吗?你可以把一些交通发电机,我得到正确的操作行为,它匹配的协议,等。然后是包含控制器的内存子系统。现在你想看主人的奴隶交易,服务质量,等。然后在SoC水平,你所有的ip互连。你如何注入压力流量,加剧整个系统,这样你得到这些数据?这是扔一堆信息到系统,收集大量数据,并做大量的数据分析。它是重要的,它是具有挑战性的,但它是人们必须做的事情。一旦你拥有了这些层,你可以去降低层和改变,你可以做健康检查,发现如果你还好吧。 But you have to invest in that problem and do the analysis.

深色的:我很好奇。你相信在当今市场上的主要问题是性能?

SE:有许多产品的规格性能的基础。处理器供应商无法扑灭的产品不符合它的基准。人看表演,虽然我们现在知道GHz没有定义性能,它仍然是一个重要的数字。

深色的什么限制性能不是原始性能,但实际上电力消耗。控制性能的方法是控制权力。

悟道:我们可以讨论权力但许多被抓住了移动服务提供商的由AnTuTu性能。

SE:功率和性能是一个权衡。

深色的:我们看到越来越多的客户运行完整的基准。主要目标是芯片性能,但在权力。有等安全。我们看到了这一趋势,他们都意味着更多的数据和芯片将如何在应用程序中使用。

悟道:是的,我们必须做些不同的功能。它是用例。它将如何真正被使用?显示我们如何操作?

安德森:生成的测试用例也很好测试的低功耗特性。你必须确保你的芯片所有法定权力场景下仍能工作并确保业绩目标实现无论权力模式。

深色的:五年前它是所有关于testbench和我怎么写它。报道时有效的从模拟器或原型或虚拟平台。今天不是这些事情和更多关于我怎么验证芯片的上下文中使用结束。整个操作系统,固件,一系列小型的应用程序和你谈论5亿年周期。

SE:有数以亿计的用例,可以使用。你如何决定哪些呢?

悟道:你开始从客户需求和计划,设备如何被使用的。你先看看这些,然后客户磨练系统最复杂的地区。缓存一致性,I / O连贯性,电源管理,它是在特殊的地方的功能元素创建的挑战和对设备的使用产生最大的影响。

深色的:我想的用例是自我界定的垂直市场。在移动或多媒体会看看视频流,接口在移动,但在其他一些市场。网络是看包生成和确保数据包并不下降。你必须有接口虚拟以太网代等等。我们可以覆盖更多的用例比五年前是可能的。

安德森自然:用例的规范,数据流图和测试计划。客户通常知道他们最大的风险是,缓存是一个常见的例子,但是他们不一定知道如何编写测试。所以,生成的测试用例提供一个答案。你永远不能验证每一个可能的用例场景,但你至少可以覆盖所有重要的类别。

悟道:你从未做过验证的古训永远是正确的。

有关的故事
IP的需求改变
IP哪里出问题了
可以自动IP集成吗?