准备验证3.0

吉姆•霍根Vista合资公司的管理合伙人,有限责任公司,也许是最著名的投资者在EDA空间。最近,他一直在时间和精力关注验证创业公司,包括云技术公司指标便携式刺激先锋Breker验证系统。这增加了他的长期承诺形式验证OneSpin解决方案。这些公司都比3.0霍根调用验证计划的一部分。半导体工程获得独家这个计划的初稿和共享主要EDA公司来衡量他们的反应。

3.0迁移到验证正在进行,验证2.0很快就会降级为越来越小的分数后沿的设计简单的任务。

从未有这么多变化聚集在这样一个狭窄的时间框架,使一个新的验证方法至关重要。3.0验证有五个基础,并不是所有的今天充分发展。包含在这个列表的连续验证引擎,大规模计算的时代,智能testbench,合并的硬件和软件,验证的扩张作用。

每一个有多个方面,一些主题听起来熟悉,每一个看到显著的转变。

图1:验证3.0。来源:吉姆霍根,Vista Ventures LLC。

连续的验证引擎
1.0主要是验证模拟器运行在单独的工作站。验证2.0添加了模拟和形式验证随着主流技术,利用模拟农场。早期作品向3.0验证了混合验证平台的创建结合最好的模拟和仿真,与正式的加速组件的流。

然而,进一步验证3.0会很多。FPGA原型和真实硅必须带入验证引擎的连续体,和这些技术交付的方式必须改变。不再公司拥有和维护所有必要的计算资源来满足高峰需求,这意味着分布式和基于云模型将扮演越来越重要的角色。

这需要重构引擎,改变商业模式和反思方面的验证流程。

智能testbench
的testbench经历了几个转变。1.0验证,指导测试所使用的主要方法。这是高昂的人力成本,所以验证2.0看到引进自动化,达到顶点SystemVerilog和UVM驾驶限制随机方法,被证明是减少价值的计算成本越来越高。

开发的验证3.0开始大约10年前加里史密斯加里史密斯EDA称之为智能Testbench。今天,我们看到在这方面成熟的工具和即将发布的Accellera便携式刺激标准,这将使测试目的供应商之间的可移植性。

第一次,芯片设计世界目睹一个真正可执行规范驾驶意图整个验证过程。流的许多方面,包括调试、将发生改变。

合并的硬件和软件
中一个典型的设计验证1.0块,可能是周边或函数附加到一个外部处理器。2.0验证期间,持续集成了完整的系统集成在一块硅,这只是受到的复杂性摩尔定律。今天,正在放缓。因此,公司不再能依赖扩展更多的功能。他们必须开始更多的创意。

典型的芯片包含大量的深深依赖固件的嵌入式处理器提供它们的功能。系统集成任务汇集这些固件引擎和通用cpu、gpu,渐渐地,FPGA的资源平台,所有这些都需要共同努力,提供复杂的功能。SoC验证从硬件转向其中验证测试在哪里建在处理器上运行的C代码。

便携式刺激有巨大的作用。验证在此级别不仅仅是硬件执行(如缓存一致性),而且软件功能。

扩大的作用验证
直到验证3.0,大多数球队唯一担心是功能。今天,往往是比较容易的部分验证团队的任务是什么。团队承担额外的角色权力验证,验证和性能,越来越多的安全安全要求。系统需求跟踪和可靠性分析为许多设计验证任务至关重要。路径跟踪的设计成为一个核心验证的必要性。正式有扩张作用,。此外,它是一种技术,可以将任务从动态执行引擎和修剪工具的状态空间。设计调试multi-run一起分析,剖析在抽象上升为了杠杆人工智能大型数据集,以减少所需的大量人力。这个行业没有所有的答案这条腿,但是一些基础的。

没有一个公司可以解决整个验证3.0的挑战。传统的EDA公司有作用,特别是在基础技术,如仿真和FPGA原型平台,需要资本投资,超出了公司的手段。

但是初创公司有了更多的创新思想和能力打开一毛钱,以应对市场需求和商业模式。这些是公司最有可能先锋技术需要的方向,和验证3.0将会看到更大的合作。额外的技术变得可用,如机器学习,而这些有很大的作用在调试,验证分析,缺陷分类和许多其他方面的流程。

工业反应
业界的反应平淡。

“我没有得到答案,我很失望,”说Magdy Abadir,企业营销的副总裁Helic。”讨论的扩大作用验证读起来像任何验证会议的概述(扩大验证任务:验证,正式的验证,他们验证、安全验证、调试等)和FPGA原型已经存在很长时间。说有和将会有新的架构在这些类型的引擎很期望在每一个硬件或软件使用。”

弗兰克•Schirrmeister高级组的产品管理和营销总监节奏设计系统对此表示赞同。但他确实看到价值在一起把这样的声明。”没有什么突破性的或新的在这里,但这是一个很好的思维模式和结构。它提供了一个框架,他召集他的不同的公司正在积极参与进来。”

的一个领域Schirrmeister并非完全一致的声明验证2.0很快将成为降级为越来越小的分数后沿的设计简单的任务。”如果你看看设计的数量开始,有明显的分歧在开拓设计高端,有越来越多的小设计,尤其是小物联网类型的设计,它可能不是一个越来越小的分数。问题就来了,哪些技术的验证2.0或3.0验证他们需要什么?’”

实际上,很可能验证2.0在一段时间内仍将是更便宜的解决方案。“解决SystemVerilog约束相当商品化”,指出马克·克拉产品营销经理导师,西门子业务。“从本质上说,他们是免费的,因为他们是捆绑到模拟器。(在这看到进一步评论大众化的约束)。这将是几年前便携式刺激工具成为免费的。”

另一个因素是,遗留有很长的尾巴。“并不是每个人都同意将便携式刺激出来的,”哈利福斯特说,首席科学家的导师。“从长远来看它提供了一个清晰的分离的“是什么”和“如何”。定义了什么意图,通过自动化如何发生。公司有很多遗产与他们的年龄知识产权必须认真考虑,因为它将花费他们想出了一个新的解决方案如何工作。”

另一种可能是极端的迁移。“逻辑告诉我有一个好机会,testbench 3.0可以取代过时的2.0,但我已经看到人们烧很多次假设未来,”克拉补充道。“我们推测,一旦SystemVerilog出来专有语言等e会消失。这并没有发生。我将构建成一个商业模式假定有些人不会留下约束随机测试。”

霍根实际上并没有说什么都是新的,但他指出,验证工具和流动变化的速度可能加快,许多的技术解决这些收敛。新方法需要和沉淀的技术变得可用。

Schirrmeister并不买这个。“我回去也是表,一直都有很多变化的瘦瘦工程师IP重用,因为非母语英语课程还没有准备好。变化的速度一直快,很难看到任何比过去更快。回首过去,改变我们做验证的数量在过去的20年里一直是巨大的。这并不是说任何发生突然,和验证必须改变。它总是一直在和采用新的需求过渡。”

霍根的一部分的观点是硬件和软件之间的紧密集成。该行业一直寻求让这二十多年,只有有限的成功。导师了Microtec研究早在1996年就认为这两个会走得更近。

“有几个原因为什么EDA尚未真正进入软件,”指出克拉。“我说的是软件开发和调试,而不是验证系统级的硬件与软件。我们还没有进入验证软件,速度的主要原因。软件开发人员不会慢的模拟器上运行。他们甚至不像运行在一个FPGA原型。他们想在硅全速运行。另一个挑战是经济学。软件是工具的文化在世界上应该是免费的。当我们购买软件开发工具我们很快了解到这是一个完全不同的商业模式,如果你试着出售超过995美元的产品你会有一个挑战。”

同时,云内采用EDA经历了几个时断时续。“云计算的使用是发生在日常生活中,“Abadir说。“有知识产权这一趋势放缓的担忧EDA /验证空间,我没有阅读任何地址或提供救济。”

然而,迁移到云可能是不可避免的。“中小企业必须这样做,”福斯特说。“他们必须验证所有的新层的要求完成工作,并为他们这纯粹是一个成本效益。大个子移动的动机是数据中心的运营成本3 x的实际资本成本数据中心。他们的动机也是成本,但出于不同的原因。我不认为这是一个技术挑战商业模式的问题。”

克拉说:“挑战在于减少对平台上的引擎和更多的暗示。你将处理本地和云之间当你运行回归?你怎么下载调试数据?你怎么把波形?这些东西可以有显著的性能的影响。当发动机不改变,数据的处理和远程和本地之间的分裂的任务是一个挑战。你收集覆盖率在哪里?”

虽然该行业可能会看到一些新的在验证3.0中,霍根清楚地看到现有的解决方案不适合这个行业,愿意将资金投入新公司的人相信他们有不同的和更好的方法来解决问题。与此同时,也有可能成立公司已经,或正在自己解决这些问题,他们还没有公开。

半导体工程读者有时会在评论中表示了他们的担忧,EDA公司倾向于保护他们而不是投资于新技术。不太可能,现有EDA公司是静止的。时间会告诉我们。

在验证3.0,OneSpin塞吉奥Marchese认为变化来验证不应忽视人的因素。