当验证

半导体工程坐下来讨论的意义有一个可执行的规范,推动验证与Hagai Arbel, VTool首席执行官;首席执行官Adnan哈米德Breker验证;产品营销经理马克•克拉导师,西门子业务;吉姆•霍根Vista公司的管理合伙人;莎朗·罗森博格,高级解决方案架构师节奏设计系统;和汤姆·安德森,技术营销顾问OneSpin解决方案。以下是摘录的谈话。

SE:便携式刺激可以使重大变化。它定义了一个可执行的规范,在许多设计决策。它可能从根本上改变我们如何看待verification-no长一个滞后过程但领先。有没有可能验证会设计吗?

安德森:有两个维度。一个是验证影响人们的方式设计,至少在某种程度上,因为如果你不能验证构建结构,你不会想制造他们。所以业内有证据表明,人们也许简化他们的总线结构,简化设计的某些方面,这样他们有机会验证一下。这不是一个主要的影响,但还是有一些。它类似于设计测试为验证设计(DFT)。DFT修改了人们设计芯片测试的,我们也看到类似波的人修改芯片使其可核查。不像DFT深刻,但有证据表明。第二个维度,这总是当我们谈论了便携式刺激标准(PSS),就是PSS模型被设计的基础?会成为高级合成模型?这将是非常有趣的,因为我们认为今天的验证码将成为设计的来源。也许有一天这可能是一个可能的方向。

霍根:让我看看这是一个更抽象的方式。我相信,所以我投资的公司数量,它不是特定于域的设计为处理器和逻辑设备,但我试图设计的特定行为。适应性训练是一个例子是没有办法预测如何确认。系统的行为是你会测试它,这需要设计元素。所以它可以输入描述系统设计编译器。自适应训练的例子是一个有趣的问题,因为训练的人工智能系统是需要所有的时间。真正做对了你必须回去重做它一百万次,所以试图建立专门的硬件验证的难题。所以,是的,这是可能的,你可能想要描述的行为,这将推动设计。

哈米德:我公司将使用另一个例子。他们有一个文档中列出了所有的营销需求。它充满了流程图显示用例产品将支持。这是他们卖的。他们可以使用这个向人们展示他们的芯片的功能,这就是团队必须核实。所以当我们看PSS,它让我们这些流动模型,然后直接让我们压低子系统和知识产权块需要验证。IP供应商燃烧成千上万的周期测试可能并不重要的事情,然后那些做小姐。这就是为什么我们在系统有缺陷。我们需要他们压低我们期望他们做什么。

Arbel:当你看汽车,这个过程可能会深很多。在那里,你必须遵循流程设计功能实际上是翻译需求,这些需求必须是可验证的。所以在某种意义上它是验证团队定义的设计会是什么样子。当你谈论这种系统,没有选择。你可以称之为验证或系统设计,但IP设计师们越来越少,影响这一过程。

罗森博格:今天,人们做PSS建模和他们有一些问题当他们阅读规范,并找到领域尚不清楚。他们可以去架构师,问这些问题,这是好的。有时这可能是因为他们不理解规范,有时它可能出现的东西没有被考虑。

霍根解释:他们不同的东西。

罗森博格:是的,有时候架构师真的不知道答案,他们需要进一步思考。验证工程师总是有问题,并不是什么新鲜事,但现在将发生在前的过程甚至更早testbench已创建。这将保持我们电话确认吗?建筑师要有这种能力,他们可以自己去做。他们中的一些人已经在使用UML活动图来描述事物。我们并没有发明,但PSS非常针对这个任务,有很多表达。你可以尝试的事情。您可以定义规则,你可以把定义成一个正式的方式,定义了需求,然后你可以实验。边界是什么?做我想做的事吗?你能在从一开始建立质量吗? This will become possible with all platforms. Currently, this task is performed by verification engineers, but it may become the role of the architect. They can visualize things, they can explore the architecture, they can look at the response from a tool and consider the options to make sure it is high quality before passing it on. The problems in system-level verification is the English language. This is vague. This is unclear—but it will now become more formal. From that you can add verification,验证,您可以添加实现细节和一些可能在PSS和一些可能在PSS。这将启动流程,我们看到这个从今天开始。

安德森:UML是一种设计形式。PSS是验证形式主义,但他们非常紧密。所以真的有任何本质区别设计模型和验证模型?

罗森博格:有一些区别。这是因为设计看着拓扑和结构的设计,以及它是如何建造的。流并不总是保持等级和毫无块级细化,正在发生(自上而下)当你从块设计和建造东西(自底向上)。你刚刚描述高级场景和可能的结构不匹配的结果详细的设计实现。你可以用它做很多事情,但是我不确定会有合成PSS设计结构组件。

安德森:这是我们开始的问题。有可能合成,可以为你做的吗?可以合成之前,它可以把一个非常高级模型,称之为验证,称之为设计,并产生一个完全阐述设计吗?这是一个巨大的飞跃。

霍根:验证总有是想出的想法。首先,我模型。然后我优化的要求。这是一个验证任务。它已变得更加复杂。从商业的角度来看,谁拥有模型获胜。如果你是事实上的模型构建器,或者老板,你会赢。所以,什么是模型吗?它必须有足够的细节来允许我们使用它和优化。但它不能太重。否则,我们有太多的数据,将永远无法得到。这类似于人们的思维方式。如果你看人类的大脑,我们开始填充突触当我们10岁,因为有太多的东西要记住。你开始关注什么是重要的。这是进化的一部分。我们在系统设计在其中的一个点。模型是棘手的,但模拟器总是来来去去。 There will always be better simulators. There will always be better pieces of hardware. But whoever has the most sophisticated, elegant, lightest weight model that gets the job done, is the answer. Therefore, once you have models that can do that, potentially you can synthesize.

安德森:优化需求是今天比过去更加自动化。你曾经向盖茨,你不得不担心一切。逻辑合成了一块,它可能会更高。

霍根:合成不是编译。编译提供一个一致的和可预测的结果。所以在某种程度上,你可以,你总是想编译。将会有很多东西,你可以编译。因此,验证应该减少负担。所以我投资模型和编译技术。

Arbel但每次它到达一个更高的抽象。你必须,否则有太多细节。

霍根:这是一个挑战。模型是挑战。

哈米德:ISO 26262告诉我们,至少是系统测试的一部分,我们列出的要求。然后我们被迫用例列表将显示我已经能满足这种需求。我们被迫这条道路。

SE:你似乎表明,我们有一个模型,列出了需求,也许我们有匹配的需求来自营销团队,但是如果你现在用这个作为输入合成和硬件,我们必须审视一下验证问题。有一些与你核实。不可能开车从一个单一的模型。PSS是一个部分的模型,不需要完成的过程就开始了。在整个过程中可以提炼和成熟在开发过程中可以添加。那么为什么你想开始考虑它作为设计的来源吗?

罗森博格:这也是抽象的方式,您可以使用它。我不想让它所有的实现细节。它应该保持抽象,尽可能容易掌握,能够看到必要的流动。这不仅仅是一项。这是场景。这里是高级流。这些需求。

哈米德:我一直在问我是否可以合成设计,我可以说,我们没有。但这一概念以理论的方式。为什么不从PSS模型合成?整个过程一个移动的水平。如果你能证明它是正确的,然后由建设一切是正确的。

有关的故事
数据驱动的验证开始
表:专家们决定好与坏数据、EDA行业为何如此缓慢,并验证工程师们真正想要的。
数字双胞胎破译
很容易看到一个数字双作为仿真模型而已,但这将会忽略一个非常重要的区别。
验证知识中心
验证前的故事,白皮书、视频和博客。