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

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

基于事务的功能验证方法

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

基于SCE-MI标准的事务级SoC协同仿效平台设计

讨论并介绍了基于事务的验证方法和SCE-MI标准,提出了一种基于SCE-MI标准的层次化事务级SoC协同仿效平台架构,并给出了该平台的具体实现方案;给出了一个基于该平台搭建的SoC验证环境实例及部分相关实验结果。     

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

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

基于TL2软件事务内存的并发程序的精化验证

软件事务内存并发机制将对共享存储复杂的同步访问控制转嫁给底层系统开发者,从而大大减轻高层程序员开发并发程序的负担。TL2是一个经典的基于锁的高性能软件事务内存算法。本文以一个TL2读写事务的底层具体实现为验证目标,首先采用并发程序间的精化关系来刻画基于TL2的底层细粒度并发程序是某个具体的高层抽象原子事务代码块的正确实现,然后通过基于依赖保证的并发程序模拟技术证明两个程序间具有精化关系,完成读写事务的底层实现在代码级的验证并总结TL2算法满足的不变式,为完成TL2算法在代码级的完整验证奠定基础。     

一种基于UVM的模块级可重用随机化验证平台构建方法

介绍了一种基于UVM验证方法学的SoC模块级验证平台的构建方法.该平台针对基于AMBA总线的AES硬件加速器IP的功能验证需求,采用面向对象的层次化建模方法,完成可重用AMBA通用验证化组件,参考模型以及验证事务级建模的随机化高功能覆盖率测试向量的可重用工作.该平台面向基于AMBA总线的SoC模块级验证领域实现可重用性.验证结果表明,基于随机化验证策略的验证平台在功能覆盖率收敛效率上提高了21.4%.     

SOC设计验证讲述

本文论述了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验证平台有大幅度的提高.     

利用RVM搭建可重用SOC验证平台

介绍了当前SOC验证领域的可重用性策略和RVM层次化验证平台的结构;以USB为例,给出了利用RVM搭建模块级验证平台的方法;阐述了如何使RVM验证平台重用于不同的IP核之间,以及如何把模块级验证平台重用到系统级验证平台上。     

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

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

验证重用中的监视器设计

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

元器件板级应用验证方法研究

针对电子元器件板级应用场景复杂特点,提出板级应用验证的工作思路,构建板级应用验证流程,提出板级应用验证的难点,形成板级应用验证理论体系。     

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

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

基于ZSP500的HSUPA编码模块的子系统级功能验证

在系统芯片的IP验证中存在三种方法:模块级验证,子系统级验证,系统级验证.主要介绍了利用ZSP500进行HSUPA编码模块的子系统级功能验证的方法.先概述HSUPA编码模块的工作状态与功能结构,然后介绍了如何利用ZSP500进行子系统级功能验证.最后得出结论基于ZSP500的子系统级验证效率高并且实现简单.利用ZSP500进行HSUPA编码模块的功能验证,实现过程简单,验证效率高.     

国产化微波元器件应用验证的方法及应用

根据工程验证的需要,介绍了国产化微波元器件工程验证的背景,提出了元器件级验证、组件级验证和系统级验证的分层次、分阶段的验证方法,分析了该验证方法的先进性,给出了该验证方法在多功能相控阵雷达关键进口微波元器件国产化上的具体应用情况.结果表明,该国产化微波元器件应用验证方法的有效性.     

提高模块级的验证质量的方法学研究

验证工作中验证计划对于整个ASIC设计工作起到十分重要的作用,模块级验证质量是通过覆盖率分析进行验证质量评估.本文对TD-SCDMA终端芯片的ARM_UART模块的多种覆盖率进行了详细的分析,通过分析覆盖率得出的数据再次进行验证,直到验证的完整性满足设计者的要求.模块覆盖率是否达到验证计划的要求,可以作为判断验证工作质量的依据,所以针对模块级的芯片验证工作是以多种覆盖率为驱动的验证分析对象的,提高模块级验证质量方法是以覆盖率驱动技术为验证技术支持的.     

基于并发事务逻辑的Web服务编制验证

 服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础上,可以通过具有明确的、形式化语义的形式化模型研制验证工具来完成组合服务正确性的验证.本文基于并发事务逻辑(CTR:Concurrent TRansaction Logic)对服务编制的元素进行了描述和建模,给出了从WS-BPEL到并发事务逻辑的转换规则,讨论了服务编制在CTR中的验证问题以及WS-BPEL和CTR的表达能力,最后给出了一个实际的服务编制在CTR中建模的例子,验证了服务编制的CTR模型的有效性.     

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

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

运算放大器类元器件板级应用验证装置设计

随着电子元器件国产化需求日益强烈及国产元器件研发水平逐步提高,国产化电子元器件在不同领域的应用越来越广泛。针对国内新研运算放大器类电子元器件在武器、航空、航天等特殊行业领域的装备上装应用的困难现状,依据应用验证专项工程在元器件研制过程通过器件级验证、板级验证,充分暴露元器件的问题,挑选出符合上装要求的元器件。本文基于应用验证工程中运算放大器类板级验证需求,设计开发了运算放大器类板卡验证装置,全面覆盖了运算放大器验证技术指标,具有通用、高效、可靠的特点。