验证是一个流(第3部分)

半导体工程坐下来讨论验证从工具的转换与弗拉季斯拉夫•Palfy流,全球工程管理器应用程序OneSpin解决方案;戴夫Kelf,首席营销官Breker验证系统;马克•克拉产品营销经理导师,西门子业务;拉里悟道、产品管理总监、系统&验证小组节奏;副总裁和罗杰Sabbagh应用工程Oski技术。以下是摘录的谈话。本文的第一部分在这里第二部分是在这里。

SE:一个被功能的便携式刺激(PS)目标不同的执行引擎的能力。的好处是什么?

Sabbagh:首先,选择正确的引擎。如果你有一个声明性规范的设计意图,这可以测试,你可以决定,如果你想使用模拟或您想要使用正式。这是一个问题,怎么适合正式与仿真。我们可以规范和以不同的方式使用它。如果我们只是将激励人们改变取而代之的同样的事。额外的问题我们解决什么?如何验证意图从IP级别的可移植性SoC水平。今天,是一个大问题。这是一个reuse-of-testbench问题。SoC的基础设施建设是一个时间和资源下沉。

克拉的区别:考虑design-to-verification流的IP和SoC。在过去有一个砖墙之间制造测试设计和测试。在IP层,如果你有一个设计师和一个验证器和您正在构建一个以太网MAC,你不要把一个验证的人,除非他们了解以太网。有一个规范和你雇佣的人域块级别的经验。当你整合并建立整个SoC, SoC天生不同。你找不到验证工程师设计师的设计意图的知识在他们的头。以太网是以太网-你可以阅读规范。但是有一个大砖墙时SoC水平。如果你给我一个与四核SoC,多级缓存,我怎么知道从哪里开始?砖墙回来了。

Sabbagh:但是SoC验证工程师的专业知识做顶级其中验证整个环境包括多个处理器,gpu等等。他们在墙上。会激励人们从UVM PS在IP水平可能有助于解决这个问题。

Kelf:这里有一个商业问题。SoC团队和IP团队是独立的组,每一组购买自己的工具。他们只是互相交谈如果有高级经理谁得到这个故事。PS帮助UVM问题——你可以让它驱动序列与SoC水平,它真的帮助问题主要是针对什么。它是伟大的同步软件与硬件测试交易,它可以帮助过渡。

克拉:至少有一个公司利用现有SystemVerilog约束和转换成一个pre-PS工具。这都是数学,你可以使用代数表达式,如限制,或者你可以使用声明性描述如图或树,你可以对同一件事情的描述。所以你可以吸到PS的约束和随机运行,而无需描述所有的用例图。我们可以关掉所有正式的算法,启发式智能PS和运行随机遍历整个图如果我们想模仿一样的得到与约束的随机测试。但是为什么你会做,你可以把一些情报吗?如果你有测试这个东西已经三次,然后让我们不会再这样做。让我们做些不同,产生一个平坦的分布解决方案。约束随机没有历史的概念。每一个运行独立于所有发生的事情在过去和将来会发生的事情。在图或PS,因为它是一个正式的技术,没有展开描述你之前,你已经可以跟踪,不会再去那里如果你选择。 You can set priorities and weighting. ‘I want to force the graph and traversal mechanisms into this solution space because I just checked in a new part of the design, and I want to drive tests in that area.’

悟道:那是价值所在。我想说的是,“为什么不重用UVM东西而不是被迫做不同的方式吗?“UVM工作。我不愿意离开这个出来,“PS将取代UVM。“不,它不会。会有客户认为这是一个替代。

克拉:不,我不认为它将取代它。

悟道:它是更多关于重用和解决下一个层次的问题。有些东西PS提供,这将有助于解决问题在旧的方法。好,但不要扔掉一切。

SE:你说PS的历史记录。它知道是考验。但是如果你没有来自IP验证,然后你整个的照片吗?在块级别,您应该能够看到图中正是在IP测试。你需要覆盖率结果之间移动IP验证和SoC验证。

Kelf:我们要明确——UVM提供了一个框架。PS是一种方法。有其他人创建高级测试并将它应用到IP。然后你可以把高级测试和SoC水平移动它。

悟道:这是一个多层次的验证问题。有一个验证问题在IP层,有一块级别的验证问题,子系统有一个验证问题,有一个互连在SoC水平问题,和有一个SoC功能问题。有层次和水平的装配情况,还有验证这些方法的水平。所面临的挑战并不是说IP没有历史。挑战在于聚合进行了测试和验证,在IP水平到另一个水平,所以,当我看着SoC,我可以看到从顶层到IP水平什么样的报道…

Palfy:但你回到标准。这将是理想的,如果你能理解一个街区,被正式的验证,正式报道的结果。这将是好的,如果可以读入PS。

悟道:绝对的。这是我们的方法验证管理的基础。您必须能够组装那些观点。”这是在正式完成,这是做什么,这里是如何聚集,这里是如何将他们跨域映射。

SE:你看到的是最普遍的,大多数人会开始使用PS ?

悟道:最大的一个司机一直在内容库,与我们pre-PS的产品。你进入一个客户和你看问题,他们——一只手臂多核CPU子系统,多个集群,cache-coherent, I / O-coherent。‘这是一个库,可以帮助你测试这个。它包括电源管理、一致性。它给你的基本模型,你可以开始生成测试并获得更高的功能覆盖在这些领域。“过去你甚至都不能够衡量测试覆盖率。你只是尝试编写指导软件测试,测试计划。现在你是后一种方法在内容给你测量结果和度量,您可以暗算。

Kelf:每当引入新技术,必须要有一个或两个杀手级应用。这些都是把它进门的第一件事。有三个,今天人们使用我们所有的pre-PS解决方案。首先,有一个更好的方法创建UVM序列更有效和更容易编写。在SoC水平,第二是同步事务和多线程软件测试和有一个更有效的方法从一个场景,可以运行在模拟或仿真。三是post-fabrication硅启动,能够把一些测试和应用。然后,它将发展成为一个高级规范驱动其他事情,如正式的验证。

Palfy:这是一项新技术,我希望这将带来一个左移位形式验证,也许把它的设计师也开始前验证。我们正在密切关注它,我们希望将与正式工作,。

克拉:我同意多线程测试。人研究人类行为,当你去多线程系统,人类再也不能跟踪所有的事情。对于单线程,甚至如果我有时间我可以编写测试。我们看到的其他领域兴趣是汽车功能安全区域和Mil /航空。声明性性质,类似于一个正式的技术,可追踪和详尽。所以,对功能安全随机失效分析和系统的失效分析。如果您正在运行约束随机,那么除非你能确认你覆盖了所有必要的角情况下你会有问题的。他们想要的可追溯性,覆盖每一个合法的情况下,甚至是一些想要非法。使用decelerative术语可以合成一个覆盖模型,你可以展示它是什么,你可以跟踪它,你可以做历史。毫升/航空已经没有它,但他们已经在需求工具能够设计要求映射到测试和验证需求,然后构建覆盖计划。 It takes a lot of time, so if you can automate that it will provide a huge benefit. While they are not always the early adopter, they are jumping into this.

Sabbagh:如果你最喜欢的工具是一把锤子,所有问题看上去就像一个钉子。我们不应该只考虑模拟与PS。甚至一些架构级别上我们谈论的事情——比如把各CPU缓存集群,它们有不同的连贯的协议和它们与共享内存,你怎么可能和模拟测试吗?有太多东西的组合。所以当你谈论杀手级应用,其中一些仿真和基于模拟的开发。但即使在系统水平有一个正式的地方,我们做的建筑形式,帮助人们测试其中的一些高层交互。