可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

SoC事务级随机测试功能验证有效性评估

针对测试向量放回和不放回两种情况,采用对比评估法,以发现错误的能力和提交的可靠性为标准,论证了SoC事务级随机测试功能验证的有效性。评估结果表明,划分测试仅在错误区包含某个或几个子域的特殊情况下有高于随机测试的验证效果,而随机测试则可能在更一般的情况下优于划分测试的验证效果。     

总线事务级验证模型仿真性能研究

系统芯片的功能验证一直是芯片设计中最具挑战性的部分。基于事务的验证方法学被用来解决功能验证中的困难。该方法学通过提高验证的抽象层次来降低验证复杂度。但同时也对使用该方法学构建的验证平台组件可重用性有了更高的要求。其中总线功能模型可以在验证中模拟设计中的其他模块,是构建验证平台的重要组件。本文在方法学的基础上,讨论了两种类型的总线功能模型,并给出了verilog硬件描述语言的实现模型,最后通过实验比较了两种总线功能模型的仿真性能。     

基于事务的RVM随机向量产生器在SOC验证中的应用

在搭建层次化验证平台时,产生器是一个重要的模块,它能否根据需要产生随机向量直接关系到测试平台的可靠性.传统的激励产生方法由于是用人工生成的,效率低且性能也不令人满意,已经不能满足当前大规模芯片验证的需求.介绍了一种基于事务的随机向量产生器,它把基于事务的验证策略和随机向量产生器结合起来,通过产生受限的随机数据,提高了激励的覆盖率.与传统的向量产生方法相比,基于事务的随机向量产生器能够使验证平台更可靠,同时减轻了验证工程师的工作,加快了芯片上市的时间.     

系统级LSI的验证

随着半导体制造技术的微细化，芯片上“空地”的增多，在使用IP核等过去的设计资源的同时，产生了新问题：电路规模急速地扩大，验证变得更加复杂。为此，EDA界应尽早投入新的工具和改造现有工具。系统级【SI的关键验证是LSI（大规模集成电路）开发中最大的障碍，如果说设计阶段所花费的工时为1，验证所花费的工时则为3～5。验证与以往相比之所以变得如此复杂，是因为集成在LSI上的电路规模在不断地扩大。采用以往依赖逻辑仿真器的验证战略已无法适应形势的发展，为了摆脱这种局面，需要分别使用验证用EDA（电于设计自动化）工具。E…     

基于SystemC的事务级建模研究

探讨了基于SystemC的事务级建模方法,并结合SoC片上总线,以DVB-C数字电视机顶盒给出建模实例.基于SystemC的SoC总线模型有效克服了SoC软硬件协同设计的时间瓶颈问题,提高了开发效率,缩短了产品的开发周期.目前该系统正处于板级调试过程中.     

事务级系统验证实现更高的性能和效率

系统级验证的挑战在电子领域,芯片和系统之间的界限已经变得越来越模糊,但是有一点很清楚,那就是:系统是由处理器、外设、第三方IP模块、随机逻辑、存储器、嵌入式软件和模拟模块共同组合而成的。系统级设计就是把包括软件、硬件和固件的整个系统在芯片上实现,因此需要进行系统     

基于事务的功能验证方法

功能验证是百万门级IC设计中的一个重要瓶颈。基于事务的验证方法把验证工作提高到一个更高的抽象层次,减少了验证中对信号级时序细节的考虑,更注重于事务级行为的验证,并可提高验证代码编写的重用性,有利于提高验证的工作效率。介绍这种功能验证方法及其测试平台的建立。     

基于模型的设计加速功能验证

本文介绍了片上系统设计中的系统模型,提出了各种功能验证的方法,说明了基于模型的设计可加速功能验证流程.     

FPGA硬核处理器系统加速数字电路功能验证的方法

为了缩短专用集成电路和片上系统的功能验证周期,该文提出FPGA硬核处理器系统加速数字电路功能验证的方法。所提方法综合软件仿真功能验证和现场可编程门阵列原型验证的优点,利用集成在片上系统现场可编程门阵列器件中的硬核处理器系统作为验证激励发生单元和功能验证覆盖率分析单元,解决了验证速度和灵活性不能统一的问题。与软件仿真验证相比,所提方法可以有效缩短数字电路的功能验证时间;在功能验证效率和验证知识产权可重用方面表现优于现有的FPGA原型验证技术。     

新型嵌入式存储器的设计策略及其验证方法

目前，许多工程师已经具备设计嵌入式存储器的能力，但是在SoC的设计过程中，要把存储器嵌入高高速、小型微处理器仍然面临着一些困难，本文介绍了一种新型存储器的设计方法、以满足工程师的需要。     

基于事务级的SOC软硬件协同验证系统的设计与实现

本文提出了一种使用FPGA作为硬件加速器,并且在FPGA与计算机之间建立了软硬件同步的基础上,实现了一种基于事务级的验证系统.该系统完全兼容SCE-MI标准.通过实验表明该系统适用于数模混合SOC系统的验证.1、引言在对系统验证方法研究的过程中,人们希望能够得到像模块验证一样的时钟精度,同时系统验证时间又希望很短.事务...     

基于SPARC V8的事务级SoC验证平台设计

针对片上系统SoC架构设计和嵌入式软件开发的需求,采用事务级建模方法使用SystemC完成了基于SPARC V8的事务级SoC验证平台的设计.为降低设计复杂度和提高仿真速度,基于解释-执行技术完成SPARC V8处理器指令精确事务级模型建模,并利用SystemC中的分层通道机制完成AMAB总线、中断控制器、UART、定时器等设备的事务级建模.完成事务级SoC验证平台的构建后,使用测试基准程序组Mibench对该验证平台的功能和仿真速度进行了验证.仿真结果证明了其功能正确,并且仿真速度相对于RTL SoC验证平台有大幅度的提高.     

SoC事务级建模方法

为了快速地发现SoC性能的瓶颈、实现通信结构的决策,提出一种在事务级采用SystcmC构建片上总线SoC模型的方法。该方法利用端口来连接模块和通道,利用通道来实现接口中定义的方法。经仿真验证,时序完全符合AHB标准,运行速度远高于RTL下的同类模型。该方法有助于在设计流程的早期找寻最优化的片上总线通信结构。     

一种基于事务的IP功能验证环境

介绍了对事务级验证方法提出了一种基于事务的IP功能验证环境，加入断言技术，并应用于实际项目。实验结果表明，该验证平台具有较高的自动化程度和较快的错误定位机制，可以极大地提高验证效率。     

基于EraSoC的模块级验证平台的设计

随着SoC规模的日益扩大,功能验证也日趋复杂,在模块级验证中尽早地找出设计中的逻辑错误,能大大节省时间和人力的开销。针对EraSoC芯片,搭建了一个模块级功能验证平台,采用事务级的验证策略,并综合运用了约束随机,断言和覆盖率驱动等多种验证方法。以CAN控制器的验证为例介绍了该平台的具体设计和使用。该验证平台极大地提高了验证效率和重用性,在EraSoC的验证中发挥了重要作用。平台的结构和方法具有通用性,可以为其他类似系统的验证提供借鉴。     

SOC设计的软硬件协同验证研究

软硬件协同验证是SOC的核心技术.通过分析SOC验证方法与软硬件协同验证技术,提出C与平台相合的协同验证方法.该方法是在系统级用SystemC确定SOC系统的体系框架、存储量大小、接口IO与验证软件算法的可行性、有效性、可靠性.在硬件设计中,利用验证可重用的硬IP和软IP快速建立SOC系统,并把核心IP集成嵌入进SOC系统中.在软件设计中,利用成熟的操作系统与应用系统来仿真验证SOC芯片的功能与性能.该方法应用于一个基于ARM7TDMI的SOC设计,大大缩短了验证时间,提高了验证效率与质量.     

基于事务的SoC验证策略

Soc设计需要详细的验证,但是传统验证方式工作量巨大.基于事务的验证方法是一种高层次的抽象的验证方法,它可以显著减少验证所需要的时间和精力,提高设计效率,增强设计信心,并能够迅速发现设计缺陷,提高产品质量以及缩短设计周期.     

基于SystemC的AMBA总线模型的构建与验证

针对SoC设计中的时间瓶颈，利用SystemC设计语言根据AMBA规范建立了事务级总线模型，并将MP3解码器和控制器作为主设备接入该模型，验证本模型的可用性与有效性，试验结果表明该模型可以有效地在系统层次对SoC芯片的集成进行设计验证，加快SoC系统的设计速度，且能做到时钟精确。