系统级验证处理新角色

半导体工程公司坐下来讨论系统级验证的进展与Larry Melling，系统验证组的产品管理总监节奏；拉里·拉皮德斯，销售副总裁治之。和Jean-Marie Brunet，微软仿真部门的市场总监导师图形．汤姆·安德森，营销副总裁Breker在活动结束后提供了其他内容。在第一部分,小组成员讨论了块级和系统级验证之间的差异，以及所需思维方式的差异。以下是那次谈话的节选。

SE:我们一直在讨论最先进的问题soc，但是其他类型的设备呢，比如用于物联网?

Lapides现在你有了云和数据聚合层，你有了几十个、几百个甚至几千个微控制器节点，你需要确保它们一起工作，而这不是一个芯片。有人试过这样做吗模拟器?

深色的:是的。物联网的有趣之处在于，任何系统都有接口，在物联网系统中，某些地方会有一些不标准的东西。如果一切都是标准的，那么物联网公司就没有附加值。那个组件没有模型，没有规格，没有标准。他们可能不想和你分享。该接口是非标准的，因此它需要一个物理的ICE (In Circuit Emulator)目标，一个外部I/O，你必须能够处理它的不确定性方面，目标的随机性。这对所有物联网客户来说都很常见。

Lapides:虽然我已经看到了这一点，但我认为对于物联网来说，软件往往是区别。在移动或ADAS领域，硬件是有区别的，但在物联网领域则没有那么明显。有一些重要的系统验证问题，我们才刚刚开始，主要是因为物联网仍然是一个流行词，而不是一个普遍理解的东西。有汽车和要素网络，我们开始看到这些东西。

深色的这在欧洲正成为一件大事。如果你看看CES，第一名是美国公司，第二名是法国公司，第三名是德国公司。总的来说，物联网以欧洲为中心，欧洲仍然有优秀的汽车制造商，所以我们看到他们对物联网有很大的兴趣。

Lapides:我们在欧洲和亚洲看到了大量的活动，但在美国却不那么多。系统层面的问题在这些地方得到了更一致的解决。《嵌入式世界》就是一个很好的例子。它是在观察皮肤和解决问题的方法，比如物联网环境中的安全性，以及不同级别的网络需要不同级别的安全性，因为在传感器级别或节点级别上不可能有很高的安全性。太贵了。

SE:抽象是我们有问题的一个领域。我们有一个模型合成，一个用于性能验证的模型，一个用于性能验证的模型虚拟样机它们都是不同的模型。我们是否能够拥有一个单一的模型或一个模型流?

Lapides:从外部看问题，我们对模型流程有了更好的了解，但是执行该流程是非常困难的。得到一个知识产权提供方提供RTL一个功能性模型可能只是一个用于验证目的的黄金参考模型，这是我们所能期望的。所以，我们了解模型，以及何时需要它们，但我不认为模型的开发有一致的执行。

悟道:没有一致的执行，因为它是昂贵的。如果一个模式能提供投资回报，那么它总是成功的。对于一些抽象的模型，尤其在看的时候SystemC-TLM，人们还不能证明获得所有所需模型所需的投资水平。这种方法似乎表明，混合语言的世界是不可避免的。当您拥有模型时，您需要能够利用它们，并从可能很好地适合它们的测试用例中获得一些回报。客户通常不会运行同构验证。他们中的许多人有不同的星座模拟，每种方法都针对不同类别的问题。他们中很少有人谈论统一的建模语言，从抽象一直向下。硬件描述语言(VHDL)试图通过对同一实体的不同实现来预测这一点，但从未真正实现过。为了刺激我们进入了一个新时代便携式刺激工作小组我们说，我们需要刺激所有这些事情，并问是否可以是一样的。

安德森:可移植刺激方法承诺使用单一模型来定义验证意图，从中您可以为各种平台生成测试用例。IP供应商可以提供可以连接在一起进行全芯片验证的模型。在设计方面，高级综合提供了一个单一的设计模型，该模型将在虚拟平台上工作，用于架构工作，然后被合成到RTL和其他领域。但不幸的是，现在情况并非如此。

深色的我们将在可移动刺激方案上有更多的趋同。方法和模型没有问题。我们有流程去做人们需要做的事情。挑战在于存在未知的规范配置或改编。客户想要保密，这就产生了一个验证挑战——这意味着它是一个模型挑战。他们必须做出决定。

Lapides:安全也算在内。积极参与具有安全性要求的设计的客户即使在自己的公司内也会限制对设计的访问。在一个例子中，有一个公司，只有四个人可以访问一些信息。

深色的:你如何建立这样的模型?

Lapides这取决于客户建立自己的模型是否容易，以及他们是否愿意投入时间来做这件事。它又回到了投资回报率。由于方法仍在发展，对于系统级别和ROI看起来是什么还没有明确的共识。

深色的:我们经常看到客户不依赖模型的保真度，所以他们选择了一个物理目标，那么问题就是非确定性的。你发现了一个错误，运行一个序列，你可能会发现一个错误，但你不能轻易地重现这个错误，因为其中有些东西是随机的。

悟道:在一天结束时，客户将使用仿真或FPGA原型在RTL模型上运行完整的测试套件，以获得他们所需的信心。

SE:调试可能是将这些功能结合在一起的一件事。这是一个跨越所有工具的共同点。

深色的:设计师不应该关心设计在哪里运行，无论是在模拟还是仿真中。这就是引擎。调试是一个很大的挑战。

安德森:你需要一个通用的调试环境，它可以在所有平台上工作，从模拟到硅，并且可以处理硬件和软件。可移植调试确实是任何可移植刺激解决方案的一部分。

Lapides:能够进行良好的硬件/软件协同验证需要付出大量的努力，并且能够跨平台完成这一任务也增加了挑战。调试不仅仅是设置断点。例如，它需要了解操作系统，能够在操作系统事件或上下文切换上设置断点。有很多东西需要在系统级别进行调试。

悟道:这是一个正在出现的痛点，一个人们将不得不砸钱的点，因为我们知道调试的一件事是你不能安排它。你无法预测。它打乱的日程比你想象的还要多。在过去，第二个问题是能够运行足够大的工作负载。正是这些工作负载导致了系统级别上真正复杂的调试问题。当您只能运行短时间的运行时，调试问题就比较小。

安德森:调试以前是关于波形的。但现在，有了嵌入式处理器和软硬件协同验证，这是一个更大的问题。我们在EDA必须从嵌入式同事那里学习线程调试、软件层和其他复杂的主题。

悟道:我知道一些公司在内存损坏问题上花了大量的钱。

Lapides:想想SystemC的扩展和人们正在看的东西的类型。首先，他们希望能够以同样的方式配置他们的SystemC模型，并能够参数化它们。这是一个相当简单的设计问题。命令控制接口(CCI)允许您向SystemC中添加内容，以便它可以与分析工具集成并提供回调。

深色的:过去有不同的用户。你有模拟器的人看波形，你有FPGA原型的人，他们通常是软件的人，什么都不做testbenches或模拟。然后你看仿真，它需要这两者的一点，他们有自己的工具。通用的调试平台非常困难。我们正在进入一个在工具之间共享的公共调试平台的阶段。