验证引擎?

半导体工程坐下来讨论的状态与让-玛丽•深色验证,模拟营销高级总监导师,西门子业务;弗兰克•Schirrmeister高级集团产品管理主管节奏;戴夫Kelf,负责营销的副总裁OneSpin解决方案;首席执行官Adnan哈米德Breker;首席执行官和Sundari MitraNetSpeed系统。以下是摘录的谈话。

在验证SE:改变是什么?

Schirrmeister:我们现在使用许多不同的引擎核查。关键是如何连接这些引擎。一切都变得更快。引擎越来越快。有更多的能力。现在的问题是如何让这一切变得更聪明。一旦所有的引擎连接,你怎么处理的所有数据吗?这是下一步超出了引擎的连接。

密特拉:我们的用户很多这些工具。我们失踪,我们面临的挑战在NetSpeed,是双重的。首先,我们不要做出类拔萃。我们所做的非常复杂的互联。这是一个连贯的织物,但它是可配置的。所以我们的每一位客户配置,根据他们的工作负载。这是一个SoC的支柱。这几乎是无限可配置空间。你如何解决验证呢?这是一个程度的问题。 The second is that, like every smaller company, we are a systems play. Within the chip we do multi-level hierarchical coherency across chips. Coherency is about state. We could be verifying ad nauseum to convince someone that a chip works. If we did not have the ability to emulate, prototype and connect them at different levels, we would not survive. Having the point tools is fantastic, because it gives you faster turnaround time. But when you are doing anything remotely complex, which is required in every SoC today, we need something more.

深色的:我们需要一个点工具或连续吗?我们看到客户的需要。如果工具是软弱和另一个,那么拥有所有这些不同的连接引擎并不是一个真实的故事。在街区层面,他们关心的是模拟因为模拟可能是最好的工具。全芯片SoC,他们需要一个模拟器。对于软件开发来说,他们需要FPGA原型。所以你还需要一流的点工具。来回移动,如何配置?它是动态吗?这是硬件吗?

密特拉:有两个级别的配置。拓扑架构并不是动态的,但如何深入到细节是动态的。所以当你有视交通,这是不同的。

Schirrmeister:这是一个独特的挑战。

哈米德:我们会越来越多的向soc设计。即使是IPs越来越复杂。客户问是否可以移动IP与FPGA原型验证。当他们试图做集成和测试芯片,他们想去更快的平台。这段对话的本质就是我们一起钩这些引擎。便携式刺激完全专注于解决这个问题。‘让我们不关注集成各种验证引擎。让我们想出验证目的我们可以为正确的引擎大小合适的测试用例。”,最重要的是,供应商提出应用这些工具。今天任何人建立一个基于arm系统验证一致性在某种程度上,这是一个更一般的问题不仅仅是一个面料的问题。这些引擎之间转移的能力是很重要的,这就是为什么这是回来成为关注焦点。

Kelf我们有很长的路要走。我们看到的一件事是,一方面,公司是性能的道路我们可以做更多的模拟和运行更多的测试和做更多的事情。但是有一个明确的转向是明智地验证。你怎么把一个正式的引擎和找出更巧妙的方式,尝试所有这些不同的州缓存一致性,例如。我们如何应用引擎,不只是依靠模拟或仿真的速度?只能通过一些验证的挑战,也就是相当于10倍到100倍的性能在未来几年我们去自主车辆和机器学习。如果你看看缓存一致性,没有什么比机器学习的动态复杂性。在验证的一些核心工具,但是我们仍然有很长的路要走。你怎么把一个正式的引擎和设置它,这样它就可以解决一些更大的问题?我们需要把这些放在一起,有工作的人。 Portable Stimulus is addressing how we use all of these different engines and apply more complex test scenarios and test patterns to the engines in the way that those engines consume them the best. If we can solve that problem, connecting these engines makes much more sense. To do that, verification also will have to be much more collaborative between the vendors and the users.

Schirrmeister一个问题:你有可配置性。有一个IP的挑战。还有一个引擎的生活不能没有你。在公开场合,方向是相似的。导师有一个验证平台,这是一些与四个街区underneath-formal协作平台,模拟原型、虚拟和仿真。Synopsys对此有五块为核心在所谓虚拟连续。然后我们有验证套件,它有四个核心模块underneath-formal,仿真,模拟和原型。中有两个主要的趋势。一个是聪明的。另一种是被更快。 So are we hiding anything by integrating? I don’t think so. Every engine needs to have a minimum sufficient level to be able to play. If I have a slow simulator, I have an issue. We are expanding into parallel and multi-core. Without it we wouldn’t be able to play. All the core engines need to get faster. And then you need to be smarter. First, you need to figure out what to do with all the data. Which calculations do you use? And then the connection is important, because none of the engines does everything perfectly. You want to do full expressiveness of testbenches and simulation, and then you need the speed of emulation. And then the same is true for emulation and FPGA. You have simulation-like debug, and then you need the speed. It’s like on a soccer team, you want to send the best player in each position onto a field, but then they need to work together to win the game.

深色的:EDA供应商要向那些集成解决方案,但我不认为这是客户想要的东西。他们希望能够取代点工具内的流动。很难从Synopsys对此客户来取代模拟器或搬到一个模拟器。他们知道我们是锁定在一个更大的图片,这不是他们想要的东西。他们想要的灵活性。所以我们必须小心这个故事变得太大,因为我们失去控制。

SE:一个重要的事情已经改变了。而不是发展一个芯片,公司正在开发许多异构的碎片。他们把这些设备放在一起的交互并不总是可以预测的。在过去我们已经验证了芯片,但并不是整个系统。如何改变?

Schirrmeister:这已经发生了改变。他们大多数人技术发达的内部。有些时候,你从一个科学项目阶段进入验证引擎。便携式刺激是从一个科学项目采用成熟的,你在哪里定义场景和为用户提供服务。但在过去的用户自定义方法。他们验证芯片的工作环境。只是困难,更少的可交换的。所以你有一个方法,但您需要使用这个虚拟桥或桥速度。这是更难建立。该行业正在使这个可用引擎。 That’s where the whole Portable Stimulus comes in. The next step is exchanging engines, and that comes down to how you exchange data between the different engines.

Kelf有这个想法对连续表现在连续的路径,这是错误的方法。重要的是我们如何得到关于验证和形式验证智能解决诸如相干方式不同。明智地验证,不同的公司会提出不同的想法不同的问题。他们将需求一个小部件安全至上的设计或一个cache-coherent应用。只有一个或两个供应商将有人力创造这些东西,所以它变成了一个商业问题。你应该需求开放标准覆盖率,包括便携式刺激来自不同的地方。

有关的故事
验证的断裂点
根据设计的复杂性,内存分配或其他问题,很多方法可以失去动力。
验证统一
第1部分依赖于动态执行和验证任务今天正式的方法,但这些技术有几个连接点。与便携式刺激可能会改变。
什么时候验证完成?
答案取决于越来越多的非常复杂的因素。
便携式刺激状态报告
早期版本的20年来首次新语言正在审查随着最后期限的临近。