设计理念的改变意味着验证已经适应,但它不会是一个简单的路径。
当我问这个问题:“为什么我们做验证?”通常有两种类型的反应。其中一个认为杯子是半空的,另一个是半满的。这取决于你如何看待这个问题,如果你看到的验证是一个积极或消极的行动。
消极的答案是,我们做的验证发现bug。这依赖于创建矢量的机械功能,期望揭示一个错误由一个设计师。经理每周可能会跟踪bug和使用此作为衡量如何设计变得稳定。可以创建指标显示有多少设计已被覆盖。这些指标通常专注于提供覆盖的实现和可能有危险,很难定位功能缺失。
积极的回答是,我们做的验证提供了信心,一个设计运作。缺陷发现该操作的结果。信心已经很多难以衡量。它通常依赖于能够定义一个系统应该做什么。虽然这听起来像是一个模型的硬件,它既是多和少。
更因为它定义的意图可能是两者的结合硬件和软件。它说,一个系统应该有能力做XYZ。少是因为它没有定义如何做它,只有它应该有能力这样做。在许多系统可能有多种方法可以执行这个函数,它可能是重要的一种方式或方法得到证实。今天几个指标存在,因为定义这样一个模型的能力是现在才出现,但这是Accellera便携式刺激工作的一个重要方面。
非功能性需求也变得越来越重要。性能一直是一个问题,但是有几方面在现有验证使这个简单的解决方案。就好了,能说应该X吞吐量字节每秒y偏差的发生情况时,运动的原因以外的范围,一个错误应给予最后的跑,结果的分布应该整理和报告。
这些软权力是另一个要求,因为它很容易错过什么多余的电力消耗的可能是一个信号。模拟器实际上有一个元素的建立在权力分析跟踪切换项或其他聚合活动允许活动提供的地图。模拟器从来没有认为这种类型的数据值得记录和报告。
安全添加验证的作用和这些还需要新类型的建筑商信心。今天系统授权,他们依靠广泛的文书工作和分析。
事实是,所有验证有一个元素的积极的和消极的,但是历史上的消极方面更占主导地位。在我看来,这是因为验证更包含。虽然没有完成,可以认为接近渐近线的问题,有可能说我们做最好的我们可以在可用的时间和金钱。
今天,我不认为我们可以得到接近点的曲线,从而能够证明系统的重要性,必要的是变得越来越重要。系统也开始分化,而更多的定制设计方法。当你买一个处理器核心的胳膊,你期望它去工作,不希望做任何验证相关。同样的,与你的通信系统和其他从第三方得到的IP块。
但这是导致商品化的产品当你不能保持经济上搬到更小的几何图形。如果你承担更多的硬件风险由自己设计的系统,您必须能够执行更有效的验证,这意味着你必须知道,当它可以执行必要的功能,不是没有错误。
这是一个非常大的变化在心态和行业不会迅速过渡,但最终它。那些掌握它第一次将有很大的成本优势。
|
|
|
|
|
|
|
|
|
|
“当你买一个处理器核心的胳膊,你期望它去工作,不希望做任何验证相关。“这句话是真的,但媒体的能力是没有仔细观察RISC-V提供修改一个处理器。这听起来真的很棒,直到你意识到——嘿!现在确认是我们的责任。顿悟是导致许多RISC-V球迷重新考虑如果他们真的想要自己的责任来验证一个处理器。