当前位置:首页 > 作文大全 >

软件模拟+硬件仿真=验证成功

发布时间: 2022-03-26 08:06:46 浏览:

zoޛ)j馔#?Q R$iJ&|R 0LZ报告,但该定律仍在起作用。根据MentorGraphics赞助的2012年成尔逊研究小组功能验证报告,约三分之一的新芯片设计目标是将特征尺寸控制在28nm以下,规模超过2000万门。在所有新设计中,l7%的超过6000万门,约78%的具有一个或多个嵌入式处理器。对这些数字应加以思考,特别是考虑到验证复杂性会随门数成倍增加这一经验法则。

这些数字相当值得深思,很显然,仅在基于软件的模拟器上验证设计时,速度会慢下来。尽管包括Mentor在内的大型EDA供应商都取得进步,但在某个时候,仅通过将RTL馈入模拟器来收集有关设计的大量信息是不切实际的。因此,硬件仿真器的吸引力越来越大,其性能是极佳软件模拟器的1000倍。

至少从历史上看,性能提升是有代价的,不只是两个验证工具的采购价格千差万别。多年来,难以甚至无法在软件模拟器和硬件仿真器上进行重用。这两个环境通常需要由完全不同的团队执行不同的流程。然而,STMicroelectronics意大利米兰工程师(在印度诺伊达同事支持之下)的最近经历表明,事情可能在变化。更具体地讲,将运行于软件仿真器上的验证平台和运行于硬件仿真器的设计进行联调是可行的,从而充分利用两个验证平台的价值。

构建参考设计,促进技术发展

SoC确实大受青睐,以下事实可以证明这一点:几乎所有大型半导体公司都在构建和运行这些集所有功能于一身的芯片。其中包括:Apple、Qualcomm、Samsung、Nvidia、Texaslnstruments、Intel和AMDo STMicroelectronics也被纳入该名单,特别是考虑到其将SoC应用到智能家居、医疗保健和汽车领域取得的成就。

去年,这家总部位于瑞士日内瓦的公司开展了一个试点项目,以构建名为EagleReferenceDesign(ERD)的参考设计。其目标是探索是否可以将三款ARM产品(Cortex-A15、Cortex-7和DMC 400)无缝组合成一个高度灵活的平台,以便客户最终能够仅基于系统的XML描述进行调整。但要向客户提供此层次的定制,STMicroelectronics必须确保ERD获得高效验证环境的支持,在此环境下,可以创建最直接的路径,完成从RTL验证到软件开发和操作系统移植的一系列过程。这意味着创造一个可轻松衡量性能和优化平台的环境。

但事有先后。虽然有朝一日此类验证环境会帮助说服STMicroelectronics客户订购大量的ERD衍生设计,但在项目开始时,STMicroelectronics团队需要了解ERD本身。

“首先,我们必须能够了解完整的ARM子系统并对其进行基准测试,这对我们来说颇具挑战性,因为我们没有任何经验。”米兰硬件设计项目经理Alessandro Daolio说,“我们要在运行大量软件时开始对其进行基准测试,但如果没有正确的验证环境,即便是简单的基准测试也无法进行。”

为何难以实现更高层次的抽象

像ERD这样的项目具有渗透到技术中的趋势。概括地说,当今的竞争力就是提供更高层次的抽象和选择。客户(无论是购买新智能手机的青少年,还是就SoC货比三家的工程团队)想要更多的功能、更好的性能、更高的易用性和更低的成本。像ERD这样的参考平台,其隐性承诺是,提供从根本上稳固和强大同时还允许定制的架构。这类似于汽车制造商允许买家通过网站配置梦幻车辆。

然而,当您考虑平台元件时,远程提供类似于点击配置SoC的功能却相当困难。例如,双核Cortex-A15具有大约1.5亿个晶体管,因此当整个平台发生变化时,肯定会以不同顺序接通和切断。客户想知道验证过程考虑到了这些变化。例如,覆盖模型需要适应不同的配置。“客户希望我们向他们保证使用最先进的验证。”ST Microelectronics验证经理AlbertoAllara说。

Allara从事验证工作已超过15年,在此期间,还没有哪种验证被明确称为是最先进的。他很早就开始做定向测试,首先使用Verilog,然后在Verilog测试平台上使用SvstemC或基于Tcl的测试。接着出现SystemC验证组件,最后是提升SystemVerilogOVM和UVM的标准化和功能。现在他说,接下来的趋势是要以某种方式加快验证。例如,使用强大的GPU加快软件模拟或将FPGA融入验证环境。

就原始速度、性能和编译时间而言,迄今为止,绝佳选择是利用配备专为可布线性进行优化的定制ASIC而非现成FPGA的硬件仿真器,以实现最大化所用逻辑单元数的目标。Mentor的Veloce2正是基于此类ASIC。例如,对于获得为硬件仿真器编译过的修改设计的新模型流程,FPGA可能需要数小时,但Veloce2只需数分钟。

但是,一些潜在的省时优势很容易被需要数天或数周来了解如何使用硬件仿真器以及如何联合验证环境与软件模拟器而抹杀。事实上,ST Microelectronics多年来一直在使用数个MentorVeloce硬件仿真器。然而,硬件仿真器都位于STMicroelectronics法国格勒诺布尔园区,距米兰接近400公里。就硬件仿真器而论,Allara、Daolio和同事们不仅仅是被距离隔开。

在该项目之前,STMicroelectronics主要使用Veloce硬件进行内电路硬件仿真。诸如Allara团队会将数据库(包括RTL和简化的测试平台)交给位于格勒诺布尔的独立专业硬件仿真团队。该法国团队会依次映射SoC、将外部接口连接到真实的硬件,并提供一个可供典型软件开发人员或应用工程师使用的平台。

对于像Lanfranco Salinari这些过去习惯严格在基于软件的模拟器上做验证的人而言,硬件仿真的潜在优势不会消失。Salinari是SoC验证工程师,与Daolio和Allara-起做ERD项目。

“软件驱动的测试正变得更加复杂;仅配置就需要很长的时间。所以,我们都知道必须采用某种方式加快软件模拟,而硬件仿真器是可以做到这一点的,它是一种具有可行性和吸引力的方式,”他说,“但仅求助硬件仿真器还不够,因为这往往意味着验证环境要进行根本性改变,我在做其他项目时也曾遇到这个问题。我们想要做的是,营造与模拟相同的验证环境,并略做修改后应用到硬件仿真器上。”

一个简短的假想实验或许有助于合理解释ST Microelectronics团队想做的事:设想一下,有个人拥有驾照和豪华车,想寻找一种比较快的方式从A点到B点,更具体地讲,从米兰到格勒诺布尔。他当然也可以乘飞机,但如果考虑到商业飞行比较麻烦(例如,买机票、停车、安检、在机场等待其他航线等),他可能会发现,更快的方式就是自驾车越过边境开进法国。假想现在已穿越到未来几十年,科幻小说作家梦寐以求的许多发明(包括飞行汽车)终于成真。我们假想的旅行者拥有一辆飞行汽车,其驾照也允许他飞上蓝天。在这个摩登家庭成为现实的情景中,几乎可以肯定驾车比乘飞机更快。

直到最近,Daolio、Allara和Salinari才发现,他们想要的正如飞行汽车一样不切实际。如何用几个简单的步骤扩展模拟

除了Questa,STMicroelectronics团队曾长期使用一个软件模拟器。所以,当团队刚开始通过格勒诺布尔的Veloce硬件仿真器创建流程以加快速度时,选择的就是继续使用其熟悉的软件模拟器作为验证的第一站。

Mentor Graphics验证IP(VIP)是一个可复用组件库,无缝集成到使用UVM、OVM、Verilog、VHDL和SvstemC构建的测试平台,也可与第三方软件模拟器有效地协同工作。因此,Daolio和同事们首先在现有工具上构建一个完整的软件模拟器。之后,需要将测试平台移植到Questa,以通过TestBench XPress(TBX)共同建模软件应用程序连接到Veloce。利用TBX,可以轻松接通Veloce2事务级建模(TLM)验证引擎,其运行速度可以比TLM软件模拟器快10000倍。

在共同建模中,将可复用测试平台连接到Veloce2中配备DUT的合成处理器。这些“加速”处理器会将高级事务转换为信号级激励来驱动DUT。TBX的主事务建模构造是SystemVerilog DPI导出和导入任务。这样就可直接使用Mentor提供的VIP(与ST Microelectronics用于在模拟中构建测试平台的VIP相同)。TBX会自动在主机上的SystemVerilog或SvstemC环境与Veloce2硬件仿真器中的SoCDUT之间生成直接通信接口。利用SystemVerilog测试平台,TBX在主机上执行采用Questa软件模拟器的测试平台。

在做出一些修补后,从Questa到Veloce的第三方软件模拟器的流程运行得十分顺利。然而,随着项目取得进展,时间却受到限制(确实不可避免),该团队只好选择直接为Questa构建SystemVerilog测试平台。此举有助于他们实现最终目标,这与标准略有不同,因为他们只是从事参考设计。

“由于此参考设计未绑定到任何特定项目,因此我们的主要目标不是要达到设计的完整验证。”Salinarii兑,“最重要的是,我们希望能够执行性能分析并创建验证方法和技巧,这样,当我们最终在真实的项目上尝试应用此参考设计时,我们能够将验证环境几乎无缝地移植到硬件仿真器。”

尽管现成的VIP和集成来自同一供应商的软件模拟器和硬件仿真器都具有优势,但该项目仍需做大量工作,现代SoC验证复杂性就是一个佐证。该项目花费一年才基本完成(因为ERD只是一个参考设计,所以团队成员偶尔会参与其他项目),9名STMicroelectronics工程师曾参与过,其中包括米兰5名、那不勒斯2名和印度诺伊达2名工程师。Pivush KumarGupta和Sachish Dhar Dwivedi是STMicroelectronics的HEVS(硬件仿真和验证解决方案)团队成员,工作地点在诺伊达。他们俩在Veloce的映射和设置设计方面提供了大量帮助,这对意大利ERD团队至关重要,因为该团队在该项目之前没有使用硬件仿真器的经验。

这项任务主要是将代码的所有块分离成两大域——可合成代码,包括所有的RTL块以及带VIP设计模拟模型(DSM)并可在硬件仿真器上运行的SystemVerilog接口;所有其他模块,在主机(模拟器)连接到硬件仿真器环境中的HDL部分运行。该团队也补充了自己的技巧,Allara和同事FabioBrognara撰写的论文中有所描述,并在2012年设计与验证大会上做了相关介绍。该文说明了Allara和Brognara开发并命名为验证抽象层(VAL)的机制,该机制用于将外部验证环境融入到在系统CPU上运行的软件。ST Microelectronics验证工程师可以使用VAL对内部设计IP和外部验证组件进行编程和配置。

“我们为早期项目开发的这个机制在模拟中运行得很好,在ERD项目期间进行移植后,可在Veloce硬件仿真中运行。”Allara说,“我们为VAL开发的前端可以在硬件仿真器上进行映射。所以目前,我们让软件在控制硬件仿真器的主机的CPU上运行,这样就可控制在运行软件模拟器的主机上执行的验证组件。”

正如ST Microelectronics团队所述,创造这种新的验证环境不是解决一两个大问题,而是涉及许多零碎问题。举个例子来说吧,该团队必须以新的方式处理时钟生成。

以前,在验证过程中,所有锁相环(PLL)都被抽象化,并使用外部Tcl脚本生成时钟。协同仿真要求以完全相同的方式在模拟和仿真中映射所有的SoC组件。该团队发现,要使全部组件保持对齐,需要可在两大域工作且比抽象的PLL更为详细的路径。

在Mentor的支持下向前发展

如果没有来自Mentor的帮助,该项目就无法运行。Mentor正在努力支持验证加速的这一阶段,以使到现在为止已在模拟器上完成几乎所有工作的团队更好、更集成地使用硬件仿真器。

Salinari称Mentor的VIP是基本要素。

“如果没有它,我们将不得不构建复杂得多的与验证相关的IP,并要弄清楚如何浏览复杂的协议,但这项工作简直不可能完成,因为我们没有相关资源。”他说,“Mentor提供的VIP使我们能够在软件模拟和硬件仿真上运行相同的验证。当然,我们不得不做出一些调整,但至少这是可行的。”

在所有的可能性中,这种协作仿真对向前发展至关重要,主要是因为这是一种更高效、更经济的验证方式。还有一个原因就是更可能拿硬件仿真器当软件模拟器使用。更具体地讲,硬件仿真提供更好的方式来加快软件模拟,同时保留熟悉的测试平台架构和方法。可以在夜间或周末以批处理模式运行回归测试。

Allara指出,他和同事们得到了Mentor的大力支持,包括大量的技术咨询和技术文档。他说,更重要的是Mentor承诺帮助改变芯片和整个系统设计商业模式的意念。

Mentor首席执行官WallvRhines在接受媒体采访时表示:“硬件仿真器成为验证流程的枢纽,它承担软件模拟器的功能,并在其基础上加以改进。”

“这么说吧,我们还在学习如何最好地将软件模拟与硬件仿真器结合使用,”Allara说,“但我们的感觉是,Mentor真的相信这个技术并将继续支持我们,还全面承诺辅助非仿真专家的验证工程师学习相关内容。”

蓝牙技术联盟发布《决胜智能家居市场最佳实践指南》白皮书

随着宽带连接的增长,移动设备使用的增加和对家居自动化解决方案整体消费需求的不断提升,智能家居市场也趋势待发、并将呈现快速增长。近日,蓝牙技术联盟(Bluetooth Special Interest Group,简称SIG)联合SmartBrief发布了《决胜智能家居市场最佳实践指南》白皮书(下载链接:http://developer.bluetooth.cn/Cn/specdown/erqizhuanti/)。白皮书回顾了智能家居早期发展历史和应用壁垒,阐明了促使消费者广泛使用智能家居系统的主要因素,并分析了Bluethooth Smart在智能家居领域的优势和市场前景。

市场调研机构IHS Technology最新报告显示,未来三年智能家居市场将呈现56%的年复合增长率,且至2018年市场上的产品出货量将高达1.9亿台,而Bluetooth Smart将成为近三年内智能家居领域成长最快速的无线连接技术。Strategy Analytics的数据也显示,届时将有2.24亿个家庭,即全球12%的家庭,会安装至少一种类型的智能家居系统。

而随着蓝牙4.2和新规格版本的推出,Bluetooth Smart将继续成为连接生活中各种事物的最佳解决方案,为设备连网开启全新领域。蓝牙技术联盟正在积极致力于添加网状组网能力,并于2014年底推出了支持蓝牙设备提供IP连接支持的配置文件(Internet Protocol Support Profile,简称IPSP)。这些进展将使Bluetooth Smart技术在实现智能家居愿景的过程中,成为引入注目的议题。

相关热词搜索: 仿真 验证 模拟 硬件 成功

版权所有:无忧范文网 2010-2024 未经授权禁止复制或建立镜像[无忧范文网]所有资源完全免费共享

Powered by 无忧范文网 © All Rights Reserved.。冀ICP备19022856号