验证的要求下一个时代已经被建立,它应该是一个有趣的2015。
我们来到已经结束你开始你的圣诞购物清单了吗?
对我们的博客,是时候预测明年会发生什么在EDA技术。三个核心趋势将影响2015 -更紧密地连接验证引擎,创新在借助硬件开发和软件的驱动程序验证。
所有三个核心趋势今天验证相关的系统芯片(soc)。验证是如何进化的?我们的系统和验证集团首席技术官,齐夫Binyamini刚刚给本周的主题在海法验证会议上,考虑过去的验证和制图课程我们要去哪里。我们正接近第三波验证验证3.0”。我们是如何走到这一步的?
在早期的验证,“石器时代”,指导测试主要验证。设计和验证工程师,当时在物种,开发简单的特别testbenches和手工创建测试。这种方法不是很可伸缩的,因为它需要更多的验证时需要更多的工程师。因此,很难实现高质量,和信心如何到达那里,是否一切都证实是很难实现的。
与时代同步的IP reuse-sometime在1990年代末到2000年代初的时代,硬件验证语言(等)开始。这就是特定验证语言如维拉,e, Superlog最终SystemVerilog从根本上改变了验证格局。方法被开发,包括验证方法手动(VMM),打开验证方法(OVM技术),后来通用验证方法(UVM)。在这个验证的时代,constrained-random刺激介绍了自动化测试的创建和覆盖率指标来衡量覆盖关闭。自动化水平的参与这个时代允许用户规模由自动生成更多的测试验证,并使HVL-based方法适合详尽的“自下而上”的IP和子系统验证。
下一步是什么呢?为什么有“下一个”呢?的对象是verified-modern SoCs-have进化而来的。他们现在包含许多IP功能,从标准I / o系统基础设施和区分IP。它们包括许多处理器核心,对称算法和非对称、同质和异质。软件上执行这些处理器,从通信栈等核心功能和基础设施组件(比如Linux和Android操作系统的所有用户应用程序的方法。
今年早些时候我们有热烈的讨论在行业会议DVCON (“在SoC验证重大转变”)和日期(“未来的SoC验证方法:UVM进化还是革命?”),主要是未来SoC验证方法是否UVM进化或他们是否真的需要一场革命。答案是,UVM不会则是“自下而上”的IP和细一些子系统验证,并将继续被用于这些应用程序。然而,UVM并不扩展为“自上而下”的SoC-level验证新方法。的两个主要原因是软件和验证执行引擎之间重用。
从自上而下自下而上的核查验证切换时,上下文的变化。在自底向上的验证,验证的问题是如何阻止或子系统的行为在SoC的环境。在自上而下的验证,集成IP块本身是假定的正确性,并验证场景描述如何更改SoC系统环境的行为。一个示例场景可能看起来如下:“视频缓冲区,将它转换成MPEG4格式通过任何可用的图形处理器与中等分辨率,然后通过任何可用的结果通过调制解调器传输通信处理器和并行解码它使用任何可用的图形处理器和显示视频流的SoC显示支持的分辨率。”序列的硬件模块的系统交互,这种情况显然涉及到很多软件。
这就是传统的HVL-based技术与局限。他们不扩展的软件定义的关键场景。场景需要代表的方式,他们可以理解各种各样的用户,从SoC架构师、硬件开发人员和软件开发人员验证工程师,软件测试工程师,post-silicon验证工程师。作为现代soc发展的复杂性,通过RTL仿真引擎的虚拟平台上都可用,加速度,和模拟,fpga原型,以及原型芯片当从生产需要不断用于验证。节奏早在2011年就提出了这一愿景与系统开发套件,结合虚拟样机,RTL模拟、仿真和基于FPGA的原型为一组连接引擎,此后已发展到包括形式验证引擎,支柱连接到高级合成和使用验证IP (VIP)以及调试所有引擎。导师图形宣布企业验证平台2014年4月,2014年9月,Synopsys对此验证连续。
主要节奏创新系统开发套件包括联合基础设施的仿真和钯加速度,热交换能力基于软件仿真,和钯的统一前端仿真和氕fpga原型,允许一个编译器针对多个不同的面料。在2015年有更多的来。
自上而下的基于场景的验证的一些关键要求是清晰的从传统HVL-based方法的局限性。首先,系统用例场景需要理解各种不同的用户允许高效的共享。第二,生成的测试/验证刺激需要跨不同的验证引擎移植,甚至实际硅一旦可用,使横向重用。软件执行的处理器系统我们称为其中验证是最可能的候选人。第三和最后,下一波的验证需要允许IP集成以及IP的操作在被测试的系统上下文,即垂直的重用。齐夫Binyamini主题关闭的连接图,很好地总结过去,我们要从这里。你可以找到从齐夫和迈克Stellfox额外的见解在这里和在这里。
verification-Verification 3.0的要求下一个时代——集。这将是一个有趣的2015 !
|
|
|
|
|
|
|
|
|
|
你没有提到任何关于Accellera便携式的经济刺激计划。这是否意味着节奏并不是承诺吗?