测量精度验证

验证是无限的挑战,继续使全球范围内的工程团队,他们想知道当“足够”“足够好”继续tapeout。答案并不简单,它包含了比过去更多的变量,尤其是在权力。

哈里·福斯特首席科学家验证导师图形指出,当使用术语“测量”,这意味着有一些指标,在功能验证是困难的,因为实际上只有两个指标通常使用的代码报道和功能覆盖率作为一个新的和新兴,统计范围。

“代码覆盖率是一个自动度量,真的都是量化的准确性输入刺激的能力,激活一行代码或指令的设计,就是这样,”福斯特说。“那是相当基本的,因为我可以激活一行代码有错误,但从未观察它。所以这只是我多么糟糕的准确性输入刺激。这就是它告诉我们。”

另一个指标用于确定精度功能覆盖率的方法。但与代码覆盖,这是一个自动度量,功能覆盖是一个手动的量度。“我必须创建一个功能覆盖模型,”他说。”是什么,告诉我输入刺激的激活关键功能的能力设计和一般功能是发现一个测试计划创建一个功能覆盖模型。在精度而言,代码覆盖率的挑战是自动的,功能覆盖本质上不是这样。你运行的风险功能覆盖率模型的保真度不是很好,这意味着你失踪的事情,您需要检查,你永远不会知道。”

开始出现的覆盖模型是统计报道,他说。“我们基本上使用代码覆盖率和功能覆盖率作为一个指标量化的“善”的IP测试环境,但开始土崩瓦解,当你移动到系统或SoC和这些类型指标不工作。统计报道是完全不同的。它还需要你手动创建这个覆盖模型,但它所做的工作跨越IP和许多模拟运行和评估这方面的一个系统,而不是一个IP。换句话说,有些方面你永远不会知道你的设计验证了只看一个IP。你必须跨越的IPs,看看时间,这是复杂的。的一个例子是如果我有多个缓存设计,多个处理器(你在大型系统/ soc)。传统的代码覆盖率和功能覆盖率开始分崩离析。再次遭受同样的问题的准确性。就像我爸爸总是告诉我,“如果你不要问这个问题,你不会得到答案。这是同样的事情在这些覆盖模型,功能或统计。 If you don’t think about what you want to check, you’re not going to check it.”

沿着这些线路,弗兰克•Schirrmeister集团董事、产品营销系统开发套件节奏背后的意图说,你想做什么不能被遗忘。“有两个意图,他们往往混淆。首先,有一个渴望得到设计尽可能没有错误,这真是一个欲望转化为产品质量。我没有回忆道,我没有错误。它可能在某些应用领域转化为安全方面,像在军事、安全或安全的汽车。刹车永远不会这样做,否则人死亡。”

第二,什么是覆盖在这,常常困惑的问题是设计什么时候准备tapeout,他说。“在测量的背景下,我们一直在引领与我们称之为metric-driven验证验证方面,本质上说,“这是我的计划,我想验证的验证。然后我使用各种报道,从代码功能断言,对,跟踪。然后metric-driven块说,我有我的目标,所以我目前得到以下报道,例如,给了我一定的验证的信心。”,然后自动化能够定制新的测试涵盖了空间方向尚未检查。”

Tapeout有很多作品,但如果你等待验证完成了几乎不可能有人会带出来。“验证本身是一个释放的问题,”Schirrmeister说。“你是永远做不完。这真是一个问题你有多少信心,你已经做了足够的特定的目的。因为这个“无界性”你不需要决定什么来验证。你需要决定,“我建筑内定义的一组场景我说这就是我验证反对,但我也需要明确什么我不这样做,我以后不惊讶如果有人使用它不是用于在一个模式。“可能会有错误。验证可能没有覆盖。”

他强调,我们需要在验证精度是一个自上而下的方法。“IP水平验证,或许更小的子系统验证解决问题是我认为在这一点上,UVM等等有助于那些在块级。但这是一个自底向上的视图。需要改变的是改变从一个自底向上的视图自顶向下视图。这就是失踪。这是一个问题,“我有150个IP块我积分,我创建20个新的块,其中一些高级合成,其中手动编码。我如何确保一切工作以自上而下的方式吗?“这就是失踪,这就是我们的方向。”

多报道
培养强调准确性比覆盖更为重要。“如果你看看我们今天验证的方式,我们经常妥协精度性能。我们故意这么做的风险。例如,在一个我们妥协RTL模型精度,加快仿真通过抛出时机和权力。这意味着我们运行的风险方面的设计,我们甚至不能在RTL模型。一个很好的例子是元稳定跨时钟域。这是你看到的原因出现很多技术像时钟域交叉验证。”

另一个很好的例子就是力量,他指出。“权力是一个有趣的今天。这是一个问题我们十年前甚至没有。我们用不同的权力领域有多个ip。我们基本上妥协准确性扔出来,但是我们已经,我们不能再这样了,我们不能在RTL模型。出现了UPF值的允许我们描述权力意图然后使我们能够做权力意识到类型模拟给我们更准确,但看到我们在做什么?这很有趣,我们去技术加快仿真然后突然准确性差和我们(燃烧的网),所以我们必须把它带回来。”

迈克尔•Sanie验证营销高级总监Synopsys对此指出,当移动到系统层面,除了使用的工具模拟和形式验证。“你开始做建筑探索或性能分析在一个非常高的水平,甚至RTL。你也开始看模拟在整个设计与一群真正的软件运行抛出。你也可能会做FPGA原型。人们将覆盖到这些工具的概念。”

他预计,该行业将会演示如何在仿真环境中追踪覆盖率,但不会更具体的工具公告。

“在某种程度上,我们需要开始看性能报道,因为当你看一个系统,你现在有一个度量,你需要在一定的速度运行。否则,整个事情是无用的。你做了多少你的测试性能指标?这是不会变得容易,当然,这一点也许会有其他的方式管理的信心,不仅覆盖。也许我们会把它带到实验室,运行一大堆测试。”

他同意了整个地区的验证是一个无界的问题,只是变得越来越大。“我们理解作为一个行业的处理是多少我们也不知道。不过,我们会想出新点子和新技术”。