是模拟的末日到了吗?

半导体工程坐下来讨论的局限性模拟更复杂的设计,公司的首席执行官适应IP;皮特•荷迪产品管理总监节奏;大卫Kelf,负责营销的副总裁OneSpin解决方案;模拟专家Lauro Rizzatti;和阿图罗萨尔茨,科学家验证群内Synopsys对此。在第一部分小组成员讨论了正式和仿真的越来越重要的作用。在第二部分他们讨论了一些新的挑战,块级验证解决。下面摘录的下一部分,谈话。

SE:一个系统今天是明天的一个子系统。知识产权已经从简单的外围设备变成大子系统。更大的他们会如何?

萨尔茨我不希望看到块变得更大。cpu和gpu将最大的块,但系统会越来越大,含有更多的内存。内存越大,越难形式验证工具能够分解问题。这是一个持续的问题。你永远是超越能力模拟,模拟或正式的。我们构建的系统比任何他们可以管理。

麦克纳马拉:工程师总是运行在红线。如果我们让红线更高,他们就会跑到它通过构建更大的事情。

萨尔茨:同时设计时间表正在萎缩。过去五年为一个合理的块现在是六个月,三个月的呼声。这意味着你获得三个月的硬件和其他必须做固件或软件。修补变得困难得多。

Kelf:块大小似乎没有扩大。只有更多的块。算法不改变。他们越来越快,但大多数的基本面没有改变。(见也桥接的IP分裂),这意味着我们可以继续使用同样的工具。大小不是问题,但也有越来越多的问题,如安全。

SE:系统级什么时候集成商达到块的数量的限制吗?

萨尔茨:我听到的第一个问题是,整合集成商需要太长时间。第一个测试的时间执行越来越大,这是一个方法论的问题。你如何包IP,这样就可以在下次使用水平?我们没有足够的在这方面投资。

麦克纳马拉:虚拟前面提到的模型。这是新技术,这将帮助。没有理由我设计的处理器和总线。让我买那整个工作系统,当我做全芯片模拟,我需要模拟的或者只是使用一个虚拟的模型吗?它将运行软件和发送这些命令GPU或帧缓冲,这就是我需要的。

萨尔茨:这就是我们是如何运作的。首先我们集成的瓶颈。这可以介绍很多bug。我们需要改正这些。然后我们把低功率这是一罐蠕虫。然后你只需要带出去,因为你有耗尽的时间。移动IP模型的行业是一件好事,但系统也变得越来越大。

Kelf:这个问题不似乎是一个有趣的问题收集多的关注。

麦克纳马拉:可视化的问题是由IP子系统变得更糟,因为旧的可视化不再工作。那里需要更多的努力。该系统以不同的方式也越来越大。考虑到物联网这是一个系统的系统分布在工厂或房子之类的。你怎么确认?如果传感器节点工作本身完美但是中央节点不做正确的,那么整个系统就会失败。人们会想要整个系统验证。使用模拟汽车基本上是70 cpu朝着形成。

萨尔茨:汽车也有大量的模拟和我们的大多数技术失败。

SE:权力统一格式3.0 (IEEE 1801)允许我们形式化的IP的一个内部方面,即权力意图,可以使用外部。这是一个轴块的可见性。你有其他的需要吗?

萨尔茨:如果你看看UPF值很低的水平,使您能够定义权力之外的设计意图。我希望看到IP供应商提供一些外部,例如说你可以有一个低功耗模式,待机、中期和高性能。它们是唯一的选择。你不能让事情自己并创建bug,我不能修复。

麦克纳马拉:如果你想太多的权力模式我不能验证他们。有四个变量我站一个机会,但更重要的是…

萨尔茨:虚拟平台有问题。您可以构建知识模型。我希望发展和日益成为主流。IP供应商将开始考虑如何使用这个。IP-XACT是唯一我们要一起连接的系统。

麦克纳马拉:它太低级了。

萨尔茨:但我们需要IP的方法包装IP-XACT否则不能使用。

Kelf:其他领域正在崛起,如安全。ISO 26262说,所有的这些块必须符合特定的安全标准,如果你有一个内部故障,故障必须纠正。大于90%的块必须以这种方式。这是回到故障模拟,所以现在你需要注入故障测试和人做系统必须能够证明它。他要做安全仿真;它不能被完成在块级别。

萨尔茨:和标准要求门电路级错误。他们还没有上升到RT水平。

麦克纳马拉:有一个问题提供IP,将给最终用户有意义的错误消息。但是现在我们有一个联邦机构说为了安全,我们必须这样做。它就像一个俄罗斯套娃。IP水平高于他和下一阶段直到你达到整个系统。

Kelf:你可以想象,如果IP是半透明,可以注入故障的故障不知道太多关于会只要得到一个合理的范围,然后看到出来的报警信号。这将是一个很大的变化。

萨尔茨:许可将来到这。可能人们会花更多的钱,如果你给他们更多的可见性或高质量块内的探测能力。我们的边界,和刚刚开始探索代理和其他授权方案。这是一个进化的IP包装和交付。

荷迪:很明显,系统集成商将所有这些需求的IP提供商。你不能做所有这一切从顶部。必须从一开始就设计和下推到所有的供应商。

SE:最大的变化是什么,你希望看到,今天最大的难点是什么?

Kelf:调试。

麦克纳马拉:作为一种工具供应商,你得到当你初工具支持市场需求总量的子集。人们会购买并使用它。IP,他们想评估它之前他们做决定,一切工作。他们在2016年让你受到一个IP,他们可能会购买2017年,所以钱是晚,是早期的工作。

萨尔茨:这是适用于大型IP供应商。IP今天有大量的固件和你没有得到支付,直到一切都交付。

麦克纳马拉:这是一个限制器IP增长。将来所有的收入都是试探性的,是真实的,现在的所有成本。

荷迪:我们已经发现的许多问题与IP集成到系统中。这篇文章我们还没有制定出单元验证环境的集成到系统验证环境。这是一个巨大的问题与现有的约束随机testbench。我们将会看到人们回归模拟隔离时发现一个问题。我们可以搬到一个断言的验证环境确有优势,我们重用IP验证环境与系统验证环境和提供更多的可见性与IP阻止正在发生的事情。我希望看到更多的IP供应商采用正式的验证目的,提供正式testbenches给客户。

萨尔茨:它是一个古老的想法。块级别的假设和他们成为你的约束更高级别的正式或约束随机生成。这些信息是从来都不会迷失。问题是:正式的工具可以使用在所有的水平?

荷迪:问题处理能力在某种程度上通过的混合引擎。Assertion-based验证不仅仅是正式的。在块级别可以是正式的,在许多领域正式可以扩展超出了块的水平。对某些领域斗争这是当你导出断言模拟和仿真。

萨尔茨:调试很重要,我们已经投资很多。我们已经建立了一些常见的调试正式和模拟。自动根本原因分析也很重要。

麦克纳马拉:是的,可视化所缺乏的一些工具。