提高SoC发展生产力与便携式刺激

半导体行业取得了显著的生产率提高的开发、部署、可重用和可扩展性设计IP。EDA行业也取得了显著的生产率提高的开发、部署、可重用和可扩展性验证IP。剩余的瓶颈在SoC发展过程中源于无法验证重用刺激在设计和验证引擎范围。

有鉴于此,Accellera便携式刺激形成规范(PSS)工作小组建立一个标准化的规范,使测试的意图(即。刺激)重用。工作小组由领先的技术人员从半导体、系统和EDA公司。导师是标准化工作的发起者和捐赠其事实上基于语法,形成标准的基础。Breker和节奏也随后导致了标准,和几个公司贡献的半导体和系统定义的目标和需求。

许多编程语言在本质上是“过程”:它们描述的事件序列包含是什么要做,什么是执行,执行。另一方面,基于便携式刺激语法(因此发展中Accellera PSS标准)在本质上是“声明”:它描述了空间设计的功能锻炼,或它描述了一组法律可以创建的测试。不同的程序描述测试目的,测试意图的声明性描述不整理一个预定义的序列或排序。它描述了所有的序列和排序,以最有效的方式,通常称为图。

这种类型的图不应混淆图形化的。尽管图形渲染的图论testbench大多数便携式刺激工具集的一个标准特性,一个基于testbench也可以呈现在文本代码形式。对这种类型的图包括其他的条款树,节点和叶子,规则和行动,甚至自动机。

技术上来说,没有工具,支持Accellera PSS的今天,作为标准本身尚未批准。然而,多个EDA公司提供便携式刺激的解决方案,是基于对工作组的贡献的一个子集。(注意区别“便携式刺激”,不一定是标准化的,和“Accellera PSS标准”)。便携式刺激技术,及其应用的增长。的批准Accellera PSS标准将使EDA公司竞争,不是语言语法,而是可以用语法。一个常见的语法将使验证用户采用一个语法,然后评估工具集基于他们的相对竞争能力执行有用的工作在一个单一的语法格式。

便携式刺激将帮助验证工程师提高SoC验证在三个重要领域。

Testbench刺激重用
测试场景的IP块级验证非常不同于系统级验证的测试场景。块IP测试场景通常在SystemVerilog,由约束生成随机解算器,应用于回归农场的模拟器。系统级测试场景通常是在C / c++或汇编代码,生成通过手或testbench运行系统级软件,并应用于硬件模拟器等辅助验证引擎或FPGA原型系统。弥合这一差距,能够重用测试场景在两种环境中期望的结果是可移植的刺激。

便携式刺激使重用测试目的在验证引擎和跨多个设计范围。便携式刺激AXI总线接口和一个以太网接口规范可以验证一个以太网MAC IP块设计相结合,生成块水平在SystemVerilog场景。后来在设计过程中,同样的便携式刺激规格可以聚合与其他便携式刺激规格验证的SoC以太网MAC被实例化。便携式刺激可以生成场景SystemVerilog或C,根据验证所需的类型。事实上工具集支持因为它支持SystemVerilog, C / c++,汇编代码,甚至其他各种序列语言以及仿真器、仿真器及FPGA原型系统。它还可以用于阻止IP和系统级验证。

Testbench刺激效果
只是,随机SystemVerilog约束随机测试。每个测试场景是随机生成的,因此有大量的冗余。因此,随着时间的推移,这些测试持续生成一个标准的钟形分布,最常见的测试重复几次,和最具挑战性的(“角落”)测试从未生成。这导致覆盖关闭差距,这整个行业是普遍的。在实践中,几乎是不可能写一套完美的约束,“约束”和“限制”测试场景生成器(“规划求解”)。有不可否认的数学证明,这是一个主要的问题与约束的随机测试。验证工程师们搬到约束随机测试因为它提供的魅力“测试我没有想到”,这确实是一个好处。

理想的情况是一个验证工程师可以实现高效的利益testbench自动化(的利益“测试我不认为“通过随机方式)也平打击这些找角落的钟形分布情况。这是第二个关键好处的便携式刺激。

便携式刺激使实际目标的场景,而不是随机场景生成覆盖度量事后。便携式刺激使验证工程师使用同一刺激模型来生成不同的刺激,根据一天的目标。这样,“便携式刺激”这个词是用词不当。它不是实际上的刺激。规范描述行为,可以派生的刺激。由此产生的刺激的有效性依赖于便携式刺激描述的质量和使用的工具集来操作。便携式刺激语法使事实上这样的工具可以使用正式的算法生成测试场景,给验证工程师在测试场景生成更多的电量。

Testbench刺激验证过程的改进
现有testbench技术要求验证工程师选择生产力和简单。直接测试提供了简单,但是小的生产力。必须将每个测试场景生成与意图,通过验证工程师。没有机会”测试我没有想到。“约束随机测试提供了显著提高生产力,但介绍同样显著的复杂性。一些testbenches包含成千上万的复杂的相互依赖的约束。调试这些几乎是不可能的,需要分析之前最初的模拟运行。这个礼物“第22条军规”的情况。工程师之前无法调试testbench模拟。但模拟缺陷testbench产生不正确的结果。

便携式刺激的声明性性质描述使几种不同类型的总体验证过程的改进。例如,或约束下testbench是一个非常常见的问题,可以是非常困难的(和费时)调试和正确的。一个有效的、便携的刺激工具集可以使用正式的方法来分析testbench,之前运行单个测试。

同时,便携式刺激工具集可以处理刺激描述为覆盖模型。建模通常低于报道的标题一个验证过程,作为刺激创造是优先考虑。便携式刺激有助于一个非常直观和可读设计的图形渲染的功能或行为规范,使许多设计缺陷明显,仅仅检验这些效果图。理想的情况是使用一个工具集,事实上,可以操作一个便携式刺激testbench testbench调试过程的自动化,自动化覆盖模型生成过程,实现生产力和简单。

下一代验证
便携式刺激来了,唯一的问题是什么时候。

十几个半导体公司和四个EDA公司投资他们的时间和精力在Accellera PSS工作组,共享观点证明需要重用刺激IP -而且不只是设计IP和验证IP。由此产生的标准,可能有些错误的出现,因为它将比实际刺激的行为规范。但它会提供一个通用的语法的便携式可以派生的刺激。

导师这样的公司已经在大力投资技术,可以操作Accellera标准和产生刺激模拟,仿真、FPGA原型、硅,甚至可能目标本身。关于新兴标准同样有趣的是额外的阶跃函数验证效率和生产率的增长,它使。