便携式刺激状态报告

第一个版本的便携式刺激(PS)标准定于明年初。如果它实现了自己的诺言,它可能是第一个二十年来验证新的语言和抽象。

Accellera拔开瓶塞PS早期采用者在设计自动化会议上发布6月份(DAC)。已经超过两年的标准的PS工作小组,其成员包括一些最大的芯片制造商。

设计验证从创建直接测试方法,努力创建一个testbench约束求解,产生刺激。语言(SystemVerilog)、图书馆(UVM)和方法论以及工作了许多年,但是他们有问题扩展到设计通常今天看到的。他们没有导航的增加执行引擎常常被验证团队今天和有极端困难处理包含处理器设计。

便携式刺激旨在解决所有这些问题和解决验证问题与今天使用的主要设计方法,这是一块重用和集成。在系统级验证需要一代的测试,可以同时处理多个处理器执行场景,等同于产品需求。今天这些测试被手动创建的,但它们的复杂性使得这一个昂贵的,不完整的和容易出错的任务。

新标准的道路并不容易。只有导师,西门子业务,Breker在这个领域已经足够长的时间来学到一些微妙的用户需求,他们肯定不会同意对正确的方法用于标准。这导致一个高度紧张的开发工作需要离开先入为主的观念。

图1所示。便携式刺激的概念。源Breker验证系统

这项工作的原因是如此不同于许多其他标准的努力在EDA行业相关的开发系统级工具在1990年代。大多数这些工具,破产的绰号非母语英语课程被抛弃了。EDA公司认为市场是不足以支持必要的工具开发。这是认为只有一个或两个系统级的人在大多数电子公司,使其不经济的支持他们。他们还集中在设计工具,而不是验证工具。

这使得半导体公司投资于自己的内部系统级验证工具和方法。同时设计进化,所以被认为是一个系统级的任务在过去现在是由一个开发团队的重要比例。

用户在这个学科领域专家,他们确保EDA公司听到他们的需求。他们不会让标准是EDA公司知道如何实现。相反,他们是坚持是必需的。

有两个事件在今年的DAC,为用户提供了一个平台来讨论便携式刺激,定义标准对他们意味着什么,空气他们的一些担忧。本文包含摘录这些事件,以及评论收到工具开发人员。

用户的角度
便携式刺激意味着不同的事情不同的用户社区。“PS的真正价值标准是新抽象验证社区,”马克·格拉瑟说校长NVIDIA的验证架构师。“PS语言是基于流程的概念,和资源约束,把那些东西放在一起,这样就可以产生刺激。这包括诸如调度语义。这是非常重要的思考不仅仅是产生刺激。它是一种新的思考方式设计和验证,将影响很多地区。最重要的是,它带来了系统级整件事情。我们用来讨论验证硬件,但是现在我们讨论验证系统,系统硬件和软件组合混合在一起。”

对整个开发流程的影响可能是主要的。“我们看到的能力开发一个框架,测试第一和设计之后,”莫尼卡而索菲亚说,科学家验证NXP。“你第一次设计硬件的意图通过一个可执行的方式,然后它可以实现。无论你定义作为硬件的意图,你验证实施满足。”

验证工程师可能是快乐的。“验证一直是灰姑娘这么长时间,”而索菲亚指出。“验证了具有不同功能和不同的语言,但它仍需要来自设计的结果。PS意味着他们的时间到了,我们启用的功能改变,或者至少挑战,该模型。发展将开始使用PS对设计意图,它可以在许多不同的平台上执行。它是一个框架,我们可以验证设计和支持测试驱动开发”。

另一种观点是,支持主要的设计方法。“我们是乐观的应用知识产权集成在SoC水平,”卡尔·怀廷说,中央在AMD验证和方法论工具组。“SoC团队不看到IP团队的全部功能,因此,信息将帮助集成的可移植性。我们看到SoC团队挣扎,他们进入模拟,所以我们使用PS在舞台上持乐观态度。真正的好消息是,我们把软件和验证人在一起,他们开始说话。”

对一些人来说,这是一个改进的验证方法。“看看质量方面的标准会给我们很多自动化,自动化测试生成,我们无法完成与UVM今天,”说,法里斯Khudakjie高级验证技术领先英特尔和便携刺激计划委员会主席。“举个例子,有一个构造称为时间表。这意味着我,作为一个用户,是允许工具决定并行和顺序执行这些阶段之间。这是强大的,它不存在于SystemVerilog或UVM。”

质量和自动化也Sanjay Gupta的关键,工程主管SoC验证高通。“这将提供很多自动化使用各种工具来做的事情更通用的,事情往往是重复的。你可以做这些事情很容易和节省大量的时间。其次是质量。几乎是假设测试的质量将会比手工测试。第三个方面是有一定的自我非常难写手工在系统层面上,所以能够指定上级意图,能够创造这些测试变得更加容易。资源管理就是一个例子。”

最初的评估
但是语言和广泛采用的方法准备好了吗?这正是事情变得更加困难,有一点鸡肉和鸡蛋。没有标准和工具,实现标准,很难评估如果他们的用户的需求被满足。这是部分原因Accellera发布的一个早期版本的标准。在此之前,只有Accellera成员可以访问的标准或委员会中知道发生了什么事。它现在已经成为更广泛的人群。

格拉瑟指出,许多方面可能出现的问题。“以草案形式语言,目前,有一些缺陷。这不是功能完成。这是一个新的语言,得到一种新语言是一个很大的障碍。”

Khudakjie同意了。“标准本身是革命性的。这是要求人们后退一步,考虑系统层次。这将需要很多的努力在任何公司,很多努力的供应商不仅促进他们的工具,但也促进标准本身的想法。他们需要显示它的好处的人。”

这引发了另一个问题。“当你谈论可移植性、思考的人编写意图的基础上,规范和组织的最大好处。这是可以重用的,”怀廷表示。“所以集团最初编写意图的动机是什么?”

有一个障碍需要克服。“最大的挑战是什么?”而索菲亚问道。“现有的解决方案。”

有些人觉得需要更多的时间来评估各方面的标准。“因为PS试图涵盖很多领域,可以有效工具实际上目标?”丹尼尔Schostak问道,CPU验证架构师手臂。“例如,可以单个模型有效地目标等不同领域为FPGA仿真模型或模型。他们有不同的问题,和所有这些模型需要特定领域的知识。工具能够将抽象的吗?”

Schostak还想看到范围增加。“对我来说,PS的主要优势是合并验证的许多方面,但他们离开了正式的。”

审查期限之前
审核期是三个月。“早期版本的目的是社交验证专家的标准草案在更广泛的受众,并征求他们的意见,”Adnan哈米德说,首席执行官Breker。“反馈的包含更广泛的潜在用户,谁都知道现实世界的实际应用验证的挑战,将大大加强建议标准。”

能够提供反馈,该行业需要受过教育的迅速。“我们的主要目标是教育我们的用户和其他EA草案包括什么,”Tom Fitzpatrick说导师和验证专员委员会的副主席。“我们已经创建了一个培训视频,解释了概念便携式刺激和走用户通过一个例子来学习如何使用它在一个典型的情况。”

产品管理主管史蒂夫•布朗节奏系统验证小组,也有类似的观点。“我们已经开发出早期,示威活动的几个比较有趣的用例,标准的目的是解决。我们是教育客户,这包括研讨会、客户过渡计划,澄清任何可能存在的误解。”

今天,只有专有的工具,它可以让复习更有挑战性。“我们正在积极发展和规划支持的官方发布的标准,”布朗说。“我们会安排完成毕竟公众反馈接收和标准已经在Accellera正式投票。”

今天一些可用。“我们提供的c++的基础部分的格式和标准草案的实施方面,”哈米德说。“这意味着用户可以尝试这些想法在他们的项目,特别是在UVM-based验证领域,嵌入式系统上运行模拟器和生产设备打开。只有通过尝试格式的设计,该委员会将欣赏需要解决的问题。”

EA版本是有多近?“我们有大约80%的要求会见了EA版本,“Fitzpatrick表示。“有一些其他的事情,我们想看看等其他方式来约束化图形模型。我们可以添加顺序约束。有事情没有在那里的报道。我们有一个1.0的更多的工作要做。在那之后,我们将等待来自用户社区的反馈。”

结束语
PSS v1.0规范草案的反馈可以通过9月15日提交。“我们鼓励我们的客户审查的规范和提供任何直接反馈到Accellera便携式刺激工作组(PSWG),”布朗说。“提供的时间应该足够的评估和反馈。我们有几个客户已经达到速度的标准,还有很多的兴趣是在DAC公告提出的。”

时间已经不多了,还有不到一个月前这个审核期结束。“反馈周期短,所以需要迅速采取行动,”哈米德强调。“我们将与任何工程师想要审查标准并得到他们的反馈的过程。”

在审查期限结束后,委员会将不得不决定草案是否足够接近开车去完成在不久的将来,或者如果他们将不得不花更长一段时间地址担心了。

之间有一个微妙的平衡做出迅速的东西,即使它不完美,和花费更长的时间来做出更好的东西,但来不及是有用的。然而,没有大家的意见,他们无法有效地做决定。

有关的故事
便携式的刺激是什么?
验证意图建模的标准有一个误导的名字。它应该被改变。
验证统一
专家在餐桌上,第2部分:策略使用便携式刺激驱动正式和仿真,以及覆盖的共同点。
验证统一
专家表,第1部分:验证任务依赖于动态执行和正式的方法今天,但这些技术有几个连接点。与便携式刺激可能会改变。
周二在DAC 2017
为什么西门子获得导师和谁将是下一个?采用便携式刺激着一个艰难的挑战。