验证面临独特的拐点

设计和验证会展(DVCon)吸引了超过1100人上周圣何塞,仅略低于去年。虽然很多关注,和大多数的荣耀,在半导体设计公司,这是验证的进步正在发生,因此DVCon更大的关注。变化的速度在验证和所需的生产力改进是增加速度比以往任何时候都。

从重用设计生产率出现了巨大的推动力。这使得大量的功能被纳入设计很少理解要求块包含什么。块的数量在一个设计持续增长和芯片面积的比例了知识产权正在增加。设计的挑战往往成为选择、配置和集成IP与少量的新的和独特的内容,提供差异化。

只有这种方法的一个问题。验证没有得到所有从重用相同的好处。虽然不应该需要re-verify IP块,这些IP块添加状态。在许多情况下他们添加共享状态,这意味着验证问题变大。增加的复杂性,许多新的验证问题不直接相关的功能,但包括等方面的性能,权力安全,没有一个可以验证在块级别。系统级验证挑战的增加是推动行业提出越来越多的技术解决方案,可以部署,这是2016年DVCon的焦点。

主题设置上下文
的董事长兼首席执行长导师图形给今年的主题,《设计验证的挑战:过去、现在和未来。(如果你感兴趣这个演讲的幻灯片,他们可以下载在这里)。莱茵讨论设计生产率增长。他说不会有结束每个晶体管和降低成本EDA将继续跟踪大半导体行业的增长。

“如果我们看看设计工程师的成长,它一直以每年约3.7%的复合近年来,”他说。“经历了快速增长的是增长的人识别验证工程师,增长近13%。”

这应该开始每个人的警报响了,有些事情是非常错误的一项指标与验证方法在今天。

莱茵讨论这种增长发生的原因,主要是专注于设计状态空间的增加。然后他潜入的历史验证产业从1973年开始引进癌症和香料。下一阶段的发展始于1980年代初,当一种用自然语言驱动设计来开始出现。

莱茵谈到了验证方法的增长,但这基本上是所有的验证效率问题开始的地方。SystemVerilog和UVM已成为该行业的首选方法,他们带来了收入增长高于平均水平验证工具。这是不可持续的给莱茵”之前的评论。

当我们进入system-era,莱茵指出,它带来了各种各样的其他问题。“我们已经超越功能验证到其他领域。时钟域、性能、动力和最近的安全、保障和应用软件的使用作为验证测试刺激。”

“在顶层,最大的机会存在,”他说,他看着一些的技术进步在验证引擎。作为一个例子,他讨论了权力和可能的小的改进后,你有一个布局。相比之下,一个数量级提高更改时被认为是在系统层面。

的最后一部分讨论专注于未来和验证筒仓的方式会在一起。“我们需要的是一个验证过程的环境从底层验证引擎,”莱茵说。”也就是说,你将如何。”他介绍内的工作便携式刺激工作小组(PSWG)Accellera。

标准的进展
在大多数行业中,标准发展来解决问题,如安全或安全。他们是发达,需要的时候,通常是因为糟糕的事情发生了很多次。但在EDA,在某些技术等领域的开发接口,新技术才会全面发展的标准。标准委员会因此发达。大部分在Accellera EDA开发标准,当他们成熟交给IEEE进一步批准和持续发展。Accellera继续使可用的标准是没有成本,以确保快速扩散。

IEEE 1666- - - - - -SystemC,IEEE 1685- - - - - -IP-XACT,IEEE 1800——SystemVerilog / UVM,IEEE 1801- - - - - -权力统一格式

Shishpal Rawat的董事会主席Accellera英特尔以及从事全职工作。“Accellera路线图很有趣,”Rawat说。“通常客户想要一个特定的标准,所以需求收集,然后落实到位。我们从一开始提出工作组介绍了需要一个标准在一个特定的区域。一旦董事会批准一个工作小组。这是我们所做的与PSWG。”

这个标准的名称是具有欺骗性的。可能会定义一个标准的方式来表达可能通过芯片数据流的路径,这样可以定义应用程序级的场景。工具可以工作在这个描述生成芯片内的处理器上运行的软件来验证功能。因为它生成软件,使其便于携带。同样的“测试”可以运行在任何执行引擎,包括虚拟样机,模拟器,模拟器,甚至最后生产的芯片。但什么是生成的不仅仅是刺激。此外,隐式地包含一个数据流图报道模型。

“有大量的能量进入便携式刺激,“Rawat说。“我们想要在一个标准的机制来产生刺激,所以不管你是什么阶段的设计在这些发电机可以帮你到你选择的工具。它是在抽象跨工具和可移植性。它已成为一个巨大的努力,他们试图通过分阶段管理。”

已经决定在方法的目标是到2016年5月和2017年初的初稿。

行业的讨论
与多个提案桌子上考虑作为第一稿的基础,行业正设法促进方法,行业可以权衡他们的观点。这样的事件是一个午餐委员会主办节奏。面板由弗兰克Schirrmeister主持,集团产品营销主管节奏和小组成员莎朗·罗森博格,节奏、高级解决方案架构师汤姆•菲茨帕特里克的副主席Accellera便携式刺激规范工作组和导师图形验证技术专家,亚历克斯·斯塔尔AMD研究员和Karthick Gururaj,首席架构师Vayavya。

Schirrmeister谈到重用的数量应该是可能的在验证流和水平的增加系统的各个组件之间的交互发生包括许多层的软件。“有三个级别的reuse-horizontal重用跨执行引擎,垂直重用IP通过芯片的子系统,然后在用例。”过程中面板,Schirrmeister意识到第四轴的重用,这是港口等用例实现跨各种架构迁移从一个多核体系结构的核心。

导师和节奏结合他们的经验在这个领域来定义Accellera正在考虑的选项之一。另一个选择是来自Breker。Fitzpatrick表示,“有很多解决方案创建的行业,每个人都有自己的方式处理这个问题。标准化可以帮助。”

斯塔尔指出,保险是很重要的。“这不是传统的功能覆盖。它更多的是系统级的报道。我们做大量的系统级的工作负载,但挑战如生产软件只有成为可用的末尾。我们需要一个解决方案,我们可以得到接近金属和测试所有的硬件和软件之间的相互作用在循环初期。”

Schirrmeister更喜欢叫它其中验证。这是一个更好的描述,虽然它也也低于价值的可以提供这样一个规范。

”处理器的系统时,您不妨利用它们,使用它们来练习系统,“Fitzpatrick表示。“有一种方式,让大家都能谈论同样的事情并指定它的方式可以重用和共享是至关重要的。”

结论
这是第一次,验证解决方案实际上已经从头设计。它是为了解决日益增长的系统级验证的问题。解决方案在过去一直创可贴放在创可贴,这些解决方案已经浪费了大量的时间和金钱。

如果你关心控制验证时间和成本,这是一项你必须参与。看过去的便携式刺激的名字,认为这是未来20年的验证的基础。是多么的重要,现在行业介入。就像elections-don不抱怨如果你没有投票的结果。

有关的故事
晶体管级验证返回
验证长大
调试成为一个更大的问题
得到正式的关于调试