是模拟的末日到了吗?

在最新的EDAC报告,知识产权的价值超过了首次CAE工具的价值。验证工具建立信心的一个重要组成部分在IP模块和模拟IP验证的主要策略。但模拟所承受的压力也日益增大,尤其是全芯片和SoC验证,因为它未能规模。虽然它仍然适用于块级验证,块大小正在增加。将模拟的最后堡垒褪色吗?

首席执行官半导体工程坐下适应IP产品管理主管,皮特荷迪节奏戴夫Kelf负责营销的副总裁OneSpin解决方案Lauro Rizzatti,模拟专家,阿图罗萨尔茨,科学家验证群内Synopsys对此。以下是摘录的谈话。

SE:我们拥有我们所需要的一切块级验证吗?

麦克纳马拉:知识产权和IP子系统已经改变了游戏。你是块级别验证的各种组件,然后缝在一起,做了一些系统级验证,以确保工作和你带边缘。然后,你发现如果你没有做好足够的工作。IP已经改变了它,这些组件没有被开发的人。这增加了一个额外的维度的商业互动。验证流必须改变。流的地方是好的,但这增加了一个新的挑战。

荷迪在基于块的验证:我们看到一个进化,特别是对于IP供应商。我把它比作质量多年来的移民。它曾经是质量控制,你发现一切都晚了。然后它推进了质量保证。现在我们正在努力建设质量从一开始。你看到同样的事情发生在验证方法。你可以做约束随机的模拟与所有你能轰炸结束时,一些IP供应商有相当大的团队。形式验证向前移动,您现在有较小的团队开始早很多。他们使用正式的做几件事情,基于属性的验证确认IP是正确的行为,和错误狩猎可以比过去穿透更深。正式做得更好比约束随机模拟在个别案例发现bug。IP市场提出建议如何可以使用IP,但你不是完全负责和有限控制客户可能做什么。它不仅仅是锻炼的IP领域如何使用。寻找那些以外的目的使用也可以是至关重要的。与正式的情况下真的没有所谓的角落因为你是行使所有的组合输入。

Kelf:最近,瑞萨有问题。他们试图弄明白,作为一个IP供应商,公司内部分配自己的IP,让人使用的IP不滥用它。他们做了明显的事情比如添加断言在界面,但他们更进一步,创建IP中的断言,把手伸进主要设计使用一些有趣的抽象的断言。这样他们可以检查之类的方式中断处理。他们尝试过做这种事情在过去的模拟,但他们发现很多优点与这样做,它被证明是更有效的。他们已经建立了一个完整的方法论。

麦克纳马拉:正式的证明你是一个属性,这个IP在所有情况下将产生正确的答案。你不锻炼。你只是显示这是一个事实。

荷迪:并不是所有的时间。这是很重要的一件事,很多的时间和证明的属性确认行为,但对大多数bug狩猎你不证明财产。它并不重要,如果一个属性完成。你所做的是深入渗透各个状态空间,找到相反的例子。每一个反例是一个错误,被赶出IP。今天的正式量表的问题比以前少。部分是由于心态的变化,它并不总是对完成属性。

Rizzatti:模拟是最大的IP块接管。模拟不规模。使用的算法仿真没有设法利用并行体系结构。

麦克纳马拉:模拟是完全并行模拟器。我们试图在多处理器并行处理仿真,你遇到的问题活动线程的数量实际上是相当低的,大多数的逻辑,什么也没有发生。

萨尔茨:我们做了并行仿真在过去,有一些成功的,但是你需要大量的核心。即使64年核心,也许你接近100 x。仿真给你几个数量级的提高。你不能竞争。但是我们不要放下模拟。

麦克纳马拉:模拟debuggability给你非凡的可见性和更好。你可以证明一个属性或者你可以找到一个与你所期望的偏差者的缺乏。错误发现的一部分显示我想要的,如果它不它为您提供了testcase。

荷迪:它是由属性,试着将搜索越来越深入的设计。

麦克纳马拉:和正式可以帮助与可达性等事情。你可以模拟多年,试图得到更多报道但你永远不会知道你从未尝试过的特殊情况。正式的可以告诉你,没有办法。我喜欢断言的概念可以跟踪中断。作为一个用户,我不知道这种事情。有可能某个规范没有得到阅读。但是工具接触,告诉你他们期望什么。

Kelf:有一个合同,这个问题是你如何证明合同之一。从一个IP供应商的角度来看,您需要提供中断,此时这另一件事。你真的需要一个可执行的合同。然后你可以看看验证技术,让你证明合同。

麦克纳马拉:仿真、模拟正式的——你应该使用他们所有人,他们都有特殊的地方是最好的解决方案。电路实际上可能工作如果你违反属性和运行多年来没有问题,但你在一个空间的IP供应商已表示,它不能保证也没有定义其行为。

Kelf:是的,你必须解决技术工作为每个模式。

萨尔茨:在验证我不认为我们曾经放弃了技术。从直接测试,模拟、随机约束突变…它使移动,移动速度远远超过设计技术。他们仍然使用RTL。验证了很多新技术。现在,当谈论什么是设计,什么是知识产权,该行业正朝着一个IP模型。即使在大型综合公司他们使用IP。在某些情况下,IP开发的房子。问题的集成,哪里有大量的固件和软件。正式的证明软件有问题。我同意正式非常重要,成为主流,因为它更容易使用,但是大软件和中断低功耗设计。低功率进场后IP,在系统集成。IP供应商可能从未想过关闭的CPU,如果你达到到IP和做的事情并非IP供应商证明,然后使问题更严重。现有的方法开始分解。随机约束的,正式的,他们都是有问题的。

Rizzatti:今天,模拟器可以处理能力和低功率的验证。他们可以提供一个活动的数据库对权力估计和他们还可以处理正式和仿真软件,不能做。模拟就没有力量。

荷迪:是的,检查集成的软件,模拟将继续有一个角色。

萨尔茨:或者虚拟模型。

荷迪:仿真对权力的有点弱在哪里当你谈论权力意图和将权力域备份。一个模拟器可以遭受两值的逻辑,它没有X值,所以正确的初始化和设计X传播是有问题的。正式和仿真技术,可以处理这个问题。

萨尔茨:这不是一个根本的问题。三值逻辑可以被嵌入到仿真。花费额外的硬件资源。

Rizzatti:相当多。它将花费你4 x。大多数人认为这是2 x,但它实际上是4 x。

萨尔茨:你有电线的数量翻了一番。对于处理器来说,这可能取决于你有多聪明。

Kelf:但这是正式的是如此有用的地方。您可以跟踪这些问题。

萨尔茨:正式不处理四个州的逻辑很好。门级别一样的问题。

Kelf:但是你可以处理未知的状态。

荷迪:这取决于其正式的你在说什么。X-propagation建模可以相当准确和硅它绕过问题在模拟RTL的乐观和悲观门水平。IP客户经常使用X-propagation彻底检查的正确初始化设计,并确保设计无法进入一个糟糕的状态,因为你不负责你的客户如何重置设计。因此详尽检查的正确启动块是很重要的。

萨尔茨正确的状态是什么?这就是正式变得艰难,客户必须告诉你。这通常不是那么容易,是很难做的。

Kelf:这有另一个维度和安全。你可以X-propagation并使用相同的技术和应用安全问题。当检查后门在IP你可能需要检查它是安全的,。正式和自动化应用程序集中在这个特定的问题可以应用,而且你不需要算出刺激,可以非常复杂。

荷迪:完整的安全验证你需要技术的组合,因为可以实现与正式的检查没有硬件后门,没有泄漏或利用硬件的可能性。但是,是监测和控制软件。安全软件只是一样好硬件平台。所以我们可以检查硬件平台的时候,你仍然需要检查软件是正确的行为,为此我们回到仿真。

Kelf:合同是分层的。有一个基本的检查正式和仿真可以解决,以确保整个操作,然后模拟一层一层软件上面然后你可以安全等问题上。

萨尔茨:一个仿真器帮助您验证软件与硬件并行开发。

有关的故事
赛车设计芯片速度更快
随着市场开始转向更加垂直解决方案,方法,工具和目标是大规模的变化。
追求投资回报
计算投资回报率对权力和性能越来越复杂。
调试成为一个更大的问题
EDA公司发展更多的集成调试流将执行引擎和硬件和软件紧密联系在一起,但这是否就足够了呢?