基于VMM统一验证平台的处理器芯片功能验证

本文结合处理器芯片实际项目,重点介绍了功能验证环节的工作。文章基于VMM验证平台,利用System Verilog语言自动生成测试激励,采用断言和功能覆盖率相结合的验证方法,实时监测RTL模型运行时的各种信号,自动进行覆盖率统计,通过增加约束实现覆盖率的快速收敛。文章最终给出了基于VMM验证平台进行功能验证的结果,绘制了功能覆盖率上升曲线。     

基于SV语言的802.11 MAC芯片逻辑验证方案

针对符合IEEE 802.11的MAC协议的芯片设计,介绍一种新的验证方案.该方案以功能覆盖率为驱动,使用约束随机的激励完成验证,大大降低了传统验证过程中对验证者个人经验的依赖,同时为验证的完备性提供了有效的度量手段.该方案使用SysytemVerilog语言实现,根据VMM验证思想,搭建了一个层次化的逻辑验证环境.与传统的验证环境相比,该方案中的验证环境在验证自动化、组件重用等方面有突出的改进.实践证明,新的验证方案能够充分保证验证的完备性,同时能有效地提高验证效率,缩短验证周期.     

基于SystemVerilog的同步FIFO的验证平台搭建

针对于传统验证平台利用Verilog搭建的验证平台效率低,准确度低的局限性,提出了一种基于SystemVerilog系统级语言的验证平台建模方法,可以有效地降低复杂度和设计风险。由于FIFO在大多数工程中利用率极高,也极易出现问题,通过对FIFO模块进行验证平台建模,可以有效地降低设计与验证的时序竞争风险,实现验证平台的复用和验证过程中的自动监测,并且在搭建验证平台的过程中阐述了基本的验证流程,以及结合System Verilog语言介绍了一些基本建模规则和技巧。     

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

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

基于UVM验证方法学的存储转发系统验证

针对存储转发系统数据随机性、不同接口之间时序异步的特点,提出了不同于典型平台的事物级数据结构和参考模型设计,构建基于System Verilog语言的通用验证方法学(UVM)的验证平台。验证结果表明,此验证平台能够灵活控制随机约束和验证进程,优化验证事务。该平台提高了验证的效率和验证平台的可重用性,较好地满足了超大规模可编程逻辑器件验证需要。     

基于VMM方法学的算法IP验证环境

随着集成电路的发展和芯片设计复杂度的快速提升,芯片验证的难度不断加大。有统计数据表明,近70％-80％的设计时间都花费在芯片验证中。VMM是synopsys公司推出的一套基于System Verilog 的方法学,而今已经成为芯片验证的主流方法学。以VMM方法学为基础,FFT／IFFT模块验证为实例,介绍了利用VMM方...     

基于OVM的网络协议处理芯片验证平台的设计

针对一款网络协议处理芯片,为了保证其设计的正确性,提升验证效率,基于OVM架构,通过SystemVerilog语言搭建了具有受约束的随机激励生成、错误注入、覆盖率收集、正确性自检查等功能的验证平台。通过该验证平台对芯片进行了全方位的高效验证,实现了一次流片成功。基于OVM的验证平台具有良好的可重用性和可扩展性,相对于传统的编写定向测试激励的方法,在验证的高效性、完备性上具有显著的优势。     

基于UVM验证方法学的AES模块级验证

分析了基于System Verilog语言的UVM(Universal Verification Methodology)高级验证方法学,并使用该方法学对AES(Advanced Encryption Standard)模块进行了功能验证.验证结果表明,此验证平台能够实时监测覆盖率,控制验证进程,优化验证事务.该方法提高了验证的效率验和证平台的可重用性,较好地满足了芯片验证需要.     

SoC中多层AHB总线的断言验证应用

随着SoC设计复杂程度的不断提高,芯片的功能验证面临的挑战越来越大。断言作为一种描述属性的方法,可以快速地验证设计代码是否满足系统要求。基于断言的验证方法学近年来发展极为迅速,应用也越来越广泛。在基于Multi-layer AHB总线架构上的SoC系统验证过程中,采用System Verilog Assertion验证方法,证明SVA是SoC设计过程中功能验证的一种有效的验证方法。     

基于VMM统一验证平台的Serdes芯片验证

本文基于VMM验证平台,介绍了高速串行收发器芯片的验证方法。文章首先简要介绍了Serdes芯片和VMM验证方法,然后搭建了Serdes芯片的VMM统一验证平台,并从测试激励产生、寄存器读写控制、覆盖率自动统计、断言验证及覆盖率收敛等几个方面详细阐述了Serdes芯片的验证过程。最后给出了验证结果和测试报告。     

基于E语言和OVL库的功能验证方案

提出了一种基于E语言和OVL库的功能验证解决方案,此方案可以自动产生测试矢量并确定设计缺陷的位置和严重等级。使用这种方法可以有效地缩短设计周期、降低设计成本,提高验证效率和质量。     

基于System Verilog和MATLAB参考模型的WLAN基带功能验证

针对WLAN基带芯片的特点与功能验证需求,提出并实现基于SystemVerilog语言和MATLAB参考模型的功能验证方案.并给出该方案中MATLAB参考模型与验证平台的融合,功能覆盖模型的定义以及覆盖率驱动验证机制.使用该方案有效地提高一敖WLAN基带芯片的功能验证效率和质量,完成功能验证目标.     

基于断言的硬件设计功能验证

硬件设计复杂度的增加使功能验证成为硬件设计方法学中的重要内容，基于断言技术的硬件设计验证技术(ABV：Assertion Based Verification)得到越来越多的应用。本文首先简要地介绍了硬件设计断言的类型，然后详细讨论了使用断言进行硬件设计验证的方法，包括：断言在仿真中的应用，断言在形式验证中的应用，结合了仿真及形式验证的混合形式验证等.本文还介绍了支持断言验证技术的设计语言和设计属性检查库，包括OVL(Open Verification Library)、OVA(OpenVera Assertion)和OVA设计属性检查库等。     

基于断言的硬件设计功能验证技术

作为一种对设计对象的属性特性或行为特性的的描述,断言(声明,assertion)并不是一个新的概念.实际上在软件设计中,断言已经得到了广泛的应用,它可以帮助软件工程师在软件开发及测试过程中更早更快的发现、定位出软件中可能存在的错误.     

基于SV语言的DBA芯片的验证

随着芯片规模和设计复杂度的增加,传统的模拟验证方法学已经成为整个验证的瓶颈。为了解决这一瓶颈问题,验证方法学从模拟验证逐步演变成形式验证,先后经过了模拟晶体管模型仿真、门级仿真以及采用点线功能模型（BFM）的事务级仿真三个阶段。SV验证方法学是在模拟验证的基础上增加了形式验证的方法;它采用以覆盖率为导向的技术、受约束的随机技术和基于断言的技术来构建全面的验证环境。以覆盖率为导向可使验证迅速达到验证的出口条件,采用随机测试用例为主代替传统的直接测试为主可使验证迅速收敛,而通过在设计中插入断言可精确验证设计的内部时序问题。实践结果表明,采用这种验证方法极大的提高了验证的效率,缩短了验证周期。     

CAN总线控制器设计及验证

本文根据CAN总线通讯协议,进行了CAN总线控制器的设计。通过verilog硬件描述语言设计出CAN总线控制器的电路结构。为了验证总线控制器的功能正确性,采用电路仿真软件Model-Sim和FPGA验证平台进行功能验证。验证结果表明：本文设计的CAN总线控制器的各项功能完全满足CAN总线通讯协议要求。     

基于VMM的L2 Cache的验证平台的设计与实现

随着集成电路行业的不断发展,芯片设计规模空前增长,功能也越来越复杂,使得验证的难度和重要性日益增大。在此提出一种由System Verilog语言搭建的基于VMM的一种面向对象的验证平台。该验证平台主要使用覆盖率驱动的验证技术,并结合可约束随机测试和记分板技术,对一款多核处理器芯片中的L2 Cache进行功能验证。最后对验证平台的可重用性进行研究。实验结果表明,验证平台具有良好的激励生成机制,能够对L2 Cache模块的功能进行全面的验证;同时,验证平台经过少量更改就可以在基于标准的AXI接口的So C验证平台之间重用,极大地提高了验证效率,缩短了验证时间。     

属性说明语言在基于断言的硬件验证中的应用

EDA界的标准化组织Accellera最近确定IBM的sugar语言为标准的属性说明语言,可以用于基于断言验证技术的设计属性说明.文章首先介绍了基于断言验证的基本概念和属性说明语言PSL的用途和属性定义.然后给出了用PSL实现基于断言的硬件验证方法.用一个实例说明了怎样用PSL语言实现基于断言的验证.     

基于FPGA的无线充电接收芯片验证平台的设计

本文以一款基于dw8051的无线充电接收芯片为例,阐述了搭建FPGA原型验证平台的几个步骤,以及设计验证过程中的出现一些问题的分析及解决。     

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

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