事务级验证的设计方法

事务级验证是基于仿真的验证方法的发展趋势,与传统验证方法比较,事务级验证具有更高的抽象层次,对于功能验证具有更强的针对性和验证效率,本文对事务级验证方法进行了简要介绍,说明了事务级验证的实现方法.     

可配置系统级验证环境加速SoC开发

利用嵌入式硅IP可以缩短SoC设计所需的开发时间，这已成为众所公认的事实。但要从完工后的整个系统角度出发，整合及验证来自多家厂商的元件，需要相当的时间和努力，然而它们却常被忽略。这会对嵌入式软件开发人员造成额外负担，因为他们需要SoC的外围和接口以及处理器的精确模型，才能     

基于UVM的可重用SoC功能验证环境

现在系统级芯片(SoC)系统集成度和复杂度不断提高,验证环节消耗时间占用了芯片研发时间的70％,芯片验证已经成为芯片研发中最关键的环节.目前业界验证方法大多有覆盖率低和通用性差等缺点,基于上述原因提出了一种新的验证方法.与传统验证方法和单纯的通用验证方法学(UVM)不同,该方法结合系统级芯片验证和模块级验证的特点,并且融合UVM和知识产权验证核(VIP)模块验证的验证技术,且使用了SoC系统功能仿真模型以提高验证覆盖率和准确性.验证结果表明,同一架构系列SoC芯片可以移植于该验证平台中,并且可大幅缩短平台维护与开发时间,采用该验证方法的代码覆盖率为98.9％,功能覆盖率为100％.     

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

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

基于事务的SoC验证策略

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

Synopsys为更快速的SoC验证推出下一代验证IP

亮点： －SynopsysDiscoveryVIP加速和简化了最复杂系统级芯片（SoC）设计的验证工作。     

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

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

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

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

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

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

英特尔成立SoC新部门，力推系统级芯片设计

英特尔成立了一个新的系统级芯片（SOC）促进部门，由Gadi Singer领导。Gadi Singer是一位资深高管，曾在英特尔领导过许多高级项目。目前英特尔正在加快多核PC处理器及针对传统PC市场以外领域的一系列SOC的开发工作。     

基于事务的功能验证方法

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

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

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

基于UVM的MIPI DSI系统级可重用验证平台

针对移动产业处理器高速显示串行接口（MIPI DSI）,提出了一种基于通用验证方法学（UVM）的系统级可重用验证方法,并设计了相应的验证平台。该平台可重复利用性强,平台中设计的各种组件和测试激励在不同项目中均可重复利用或稍加修改即可利用,大大缩短了验证时间;从系统级上验证,而不是模块级,因此更加接近整体芯片的实际运行过程,能更好地发现设计上的错误;平台中设计的参考模型通过记分板可实时在线比较期望值和实际值,一旦不匹配,仿真立即停止并报告详细的错误信息,便于快速精准定位错误,缩短了调试的时间。实验结果表明,设计的系统级可重用验证平台能够有效验证MIPI,除一些冗余的信号和代码外,覆盖率达到100%。     

系统级LSI的验证

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

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

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

基于COMIP系统平台的SoC验证方法

随着微电子产业的发展,SoC系统将是未来IC发展的方向.如何对一个复杂的SoC系统进行验证是开发的关键.本文基于COMIP通信系统平台的开发,对SoC的验证方法进行了一些探讨.     

验证重用中的监视器设计

现代集成电路设计面临着一个困境，一方面是电路设计规模和复杂度的日益增加，另一方面则又面临着来自面市时间的巨大压力。在中等或大规模设计中验证工作往往占总开发工作量的70％以上，缩短验证时间可以有效提高设计的效率。采用基于事务的监视器搭建模块化验证平台，是实现缩短验证时间的有效手段。文中讨论了基于事务的监视器的基本工作原理和设计方法，并介绍了一个具体实例——总线监视器的设计。     

Triscend A7系列：全新一代可配置的系统级芯片

十月底,北京的2000年中国国际通信技术设备展上,美国Triscend公司和它的亚太区独家代理香港科汇公司裕利(Unique)分部推出了新一代的可配置的系统级芯片——Triscend A7~(TM)系列。 可配置系统芯片(CSoC:Configurable System-on-Chip),对中国的技术界和业界来说可能还是非常陌生的,但它极具发展和应用潜力,必将成为今     

系统级芯片设计语言和验证语言的发展

由于微电子技术的迅速发展和系统芯片的出现,包含微处理器和存储器甚至模拟电路和射频电路在内的系统芯片的规模日益庞大,复杂度日益增加。人们用传统的模拟方法难以完成设计验证工作,出现了所谓“验证危机”。为了适应这种形势,电子设计和验证工具正在发生迅速而深刻的变革。现在基于RTL级的设计和验证方法必须向系统级的设计和验证方法过渡,导致了验证语言的出现和标准化,本文将对当前出现的系统级设计和验证语言进行全面综述,并论述验证语言标准化的情况。分析他们的优缺点和发展趋势。最后简单评述当前的验证方法,说明基于断言的验证是结合形式化验证和传统模拟验证可行的途径。     

SoC芯片的RomCode设计与FPGA验证研究

RomCode固化于SoC芯片内部且不可更改,除保证芯片上电时可进入到稳定工作状态之外,仍需满足芯片上电稳定后的不同应用场景和功能需求。该文针对多核ARM处理器SoC芯片,设计一种具备时钟控制、多核启动以及镜像搬移等功能的RomCode。为了确保RomCode设计的稳定性和正确性,基于Palladium与Haps完成FPGA原型验证。验证结果表明,该RomCode设计的功能正常且运行稳定,提高了芯片的流片成功率,加快了软件开发的进度,有效地支撑了SoC芯片其他模块的功能验证。