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

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

SE:去年的这个时候,我们谈到了便携式刺激(PS)和正式的。有任何进展了将这两种技术在一起吗?

Sabbagh:我们一直在讨论的东西在动态引擎,但正式不给出任何考虑。

悟道:PS是针对动态验证,而不是正式的。有正式的工具开始解决事情。PS也试图处理垂直整合的问题。随着系统越来越集成,得到更大的设计,正式的有能力问题,所以试图限制我们在动态验证基于正式的能做什么将是一个错误。

克拉:不要混淆标准和语法与标准语法。你能做什么可以正式的技术应用到PS。

Kelf:标准是一种声明性语言。你声明断言属性,这是没有什么不同。

克拉:有一些声称PS一点都不刺激。

KelfPS:真正的问题在于,它叫做PS。不仅仅是刺激,覆盖率,testbenches。

Sabbagh:这是一个规范的设计意图。

Kelf:可移植性是重要的,但它也可分享的,有这么多。功能目的规范标准,我们已经表明,它可以使用断言,所以它可以与正式工作。但你必须开始的地方有一个明确的需要迁移从模拟仿真测试,解决了硬件/软件空间。我们去之后,我们知道它可以扩展到正式的、虚拟的平台上,各种各样的技术。它有可能这么做。

克拉名字的起源是在这个表。这将是我和丹尼斯Brophy。我们有一个想法不同的生成方式使用声明式的“规范”,正式的机制,而不是一种编程方法。然而,没有办法Accellera组成一个委员会根据!它不仅可以更好的约束随机刺激因为SystemVerilog已经存在。所以,我们想出一个可以解决的问题,Accellera的拥抱。港口刺激的能力从一个平台到另一个平台是一个很多用户关心的问题。最后,命名只是许多可能的事情可以做。现在,真相出来——这真的不是刺激——这是一个规范,可以用来做事情,如产生刺激,但刺激它生成一个模拟器,后来在一个模拟器或FPGA原型系统——刺激将是不同的在所有这些不同的平台。那么,刺激便携式吗? It is the specification that describes a system’s behavior that is actually reusable or retargetable.

Sabbagh:所以就改变中间年代规范。它只是似乎正式的时代还没有到来。

克拉:这是声明性的,所以它是正式的,这是一个基于属性的规范。其次,你可以使用正式的机制来操作图,树或者无论你想称呼它。我们中的一些人已经这样做了。

Palfy:听起来像什么OneSpin膨胀剂验证。有一个属性集的一种方法充分证明是完整的和覆盖所有可能的场景,你的IP。所不同的是,这里有两个或三个公司,试图把它连同PS,也许时间是正确的,也许我们只是为时过早。

SE:当PS开始传达的信息是明确的——这是UVM替代不了的。UVM将继续被用于块级和IP,而PS目标更高级别的集成。但论文谈谈我们如何取代UVM出现在块级别。用户如何感知这个UVM和PS之间和他们如何过渡?

Kelf:UVM包含短波紫外线,基本上是总线功能模型+序列。是的,你可以有层次结构的序列,它可以复杂,但大多数公司都这样做。PS可以作为另一种方法来生成序列,特别是当你试图同步序列活动在港口在一块。它不会取代UVM-style短波紫外线甚至是低级的序列。这层UVM之上。然而,可以用PS的东西,即使我们不是做一份好工作的促进,是你有规范语言和exec块里面,他们可以写出不同的语言。他们可以写出C和c++,他们可以写SystemVerilog, e,他们可以写出断言。这允许您层PS的许多不同的东西——这是它背后的秘密的一部分。从UVM,它不是一个替代,它不会取代短波紫外线,它只是把他们的另一种方式。

克拉:我同意。

悟道:UVM UVC都针对IP层进行详尽的验证。集成这些块时,如何在系统中使用的IP成为你需要用来描述可核查。状态空间变得太大,用例覆盖变得稀疏。你有一个扩展状态空间,否则你必须非常精确导航你花太多非法用例验证周期。

克拉:它是一个n ^ 2的问题。

悟道:没错。你必须运行最重要的用例,必须覆盖。我们和客户有一个高度可配置的IP。变异量的参数化和约束,你可以做意味着你可以花大量的测试时间运行非法测试。用户永远不会创建这些,你对法律不够运行测试用例。PS真的提供了一种方法来描述“是什么”要做的事情和一个工具可以创建和生成测试点测试,实际的刺激。

SE:显然是一个过渡时期,PS正在取代序列。但这是PS的一部分。记分牌,报道——这是PS的一部分。最终似乎是唯一留给UVM总线功能模型。为什么我们需要一些复杂的东西那么简单吗?

Kelf:同意。你可以从PS合成记分牌和覆盖模型。UVM机制和那些依然存在。我们都知道很难写一个像样的覆盖模型在UVM体面的大小的块。PS提供了一种更有效的方法基于高层意图规范。但想想门电路级模拟。我们还有盖茨和Verilog标准门水平,但是没有人写盖茨。每个人都创造了RTL和综合盖茨。PS是相同的。我们将创建高层规格和合成覆盖模型,记分牌。

Palfy我们策划取代UVM完全吗?

Kelf:不——就像我们不是取代盖茨。

Palfy:当你开始完成任何事情,你可以做的东西正式,摆脱错误。

克拉:我们都。我们公司使用pre-PS技术和他们完全在这种环境下工作。我们也有其他人说他们有成千上万的约束条件写在SV和有太多的了解和经验,让我们不会通过那些了。他们使用PS之上的一层控制和控制交易人。很少有客户去均匀pre-PS解决方案变得引擎之前不可知论者。他们可能认为这是有趣的技术,但是如果它只处理一个模拟器,它是不会成功的。这就是为什么成为一个标准是很重要的。当更多的人进入一个齐次声明模式时,我们会看到许多专门使用PS,但并不是每个人都因为有太多的遗产。

悟道:我不确定如何PS在IP水平。如果你看看IP问题,对IP是一个详尽的测试必须解决这些市场。我不认为PS花时间试图重塑轮因为它不是坏了。

SE: PS不能做的事情的一个例子吗?如果你需要创建PS描述要使用的IP块在SoC级别,为什么你不使用他们在块级?

悟道:在IP层,PS试图描述IP会习惯。现在,如果我需要写所有的用例和找出所有的系统的IP会插入和写的所有不同的行为可能提交给系统,这是一个棘手的问题。如果你正在从我想要测试的角度来看,它有一个非常广泛的。现在您正在运行在相反的方向有一个较小的状态空间,而是一个未指明的稀疏空间。你上升,空间变得更广泛,你必须在使用模型,因为它是稀疏的。如果我说我不会担心和创建一个IP,我想测试它,这样所有的稀疏路径的所有不同的垂直和所有的不同的地方测试,它是一个规范的问题。你不能写所有这些用例在一个合理的时间内。更符合成本效益只是随机输入和提供关于什么是法律约束在这片IP,我将只允许殴打并找出如果它确实有效。

Kelf:我不同意。你说的有道理,当然当你看系统级和稀疏图,但我们相信,PS可用于测试块非常有效,可以完全描述一个街区的规范和推动整个UVM框架。UVM仍然存在作为一个框架,但它可以驱动使用的UVM测试更有效。我们认为有很多有价值的。你可以很容易地描述一块的规格PS和更有效地产生一系列测试甚至驱动形式验证。