一种嵌入式CPU功能验证平台的设计

功能验证是嵌入式CPU设计中一项复杂而重要的工作.针对某8位嵌入式CPU的设计要求,提出了一种嵌入式CPU的高度集成化的功能验证平台.该验证平台集成了整个功能验证流程,包括验证程序开发、验证程序调试、验证数据生成、验证Testbench、验证配置环境、覆盖率分析、结果比较和分析及基于FPGA的硬件验证平台等.验证平台通过代码覆盖率的分析来改善验证的完备性.该验证平台原理清晰,结构简单,扩展灵活,提高了功能验证的效率和自动程度,对其它CPU验证平台的设计具有一定的参考价值.     

SDH芯片功能验证平台的设计与实现

集成电路芯片的规模不断增大，功能越来越复杂，设计验证工作量也越来越大，成为整个设计周期的“瓶颈”。文章针对同步数字体量（SDH）宽带交换芯片设计中的功能验证，设计了初步的SDH验证平台，提出了具有一定通用性的SDH芯片的功能验证方案和实现方法，包括分层的描述和验证方法，一系列标准测试数据和自动观测模拟结果的若干加速C程序。该平台已用于40Gbit／s交换芯片的功能验证，加速了验证过程，取得了满意的效果。     

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

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

一种数模混合32 bit SoC功能验证平台的设计

针对SoC的功能验证需求,提出了一种基于32 bit CPU核的SoC功能验证平台.该平台集成了SoC功能验证流程,包括IP模块验证、软硬件协同验证、模数混合验证、验证程序开发、验证程序调试、验证数据生成、验证Testbench、验证配置环境、结果比较和分析及基于FPGA的硬件验证平台等.该验证平台已经成功应用于某混合信号SoC的设计.该芯片在0.18 μm CMOS工艺上进行了实现,工作频率为80 MHz、功耗为450 mW.该验证平台原理清晰,提高了功能验证的效率和自动程度,并对其它混合SoC设计具有一定的参考作用.     

单片集成TFT-LCD驱动芯片的设计验证策略

混合信号VLSI芯片的单片特性验证是此类芯片的设计难题之一.针对典型的混合信号VLSI芯片--单片集成薄膜晶体管液晶显示器(TFT-LCD)驱动芯片,设计了一种能够直观模拟液晶显示的系统级验证平台,并利用此验证平台验证了系统架构的正确性.还针对此芯片的设计特点,结合系统验证平台为整个设计流程的各个阶段提出了不同的验证策略.通过对这些策略的配合使用,对芯片特性进行了全面验证,包括模块级验证、芯片级验证以及物理验证.该验证策略具有高效、直观、可靠等特点.     

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

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

基于PC与数据采集系统的DSP＆CPU芯片功能验证方案

随着现代超大规模集成电路设计、制造工艺的快速发展,芯片的测试与验证所需的费用也越来越高.针对这个问题,本文提出了一种数字芯片的功能验证方案,该方案充分利用了PC机的丰富资源和数据采集系统的强大功能,有效地降低了数字芯片功能验证的成本.作者成功地运用该方案对一个百万门级的DSP&CPU芯片进行了功能验证,实际应用证明,该方案使用灵活、可靠,并且可以大幅降低芯片验证所需的费用,为数字芯片的功能验证提供了可以借鉴的有效方案.     

VStation硬件辅助验证平台在高性能CPU功能验证中的应用

现代集成电路设计中,随着制造工艺的发展和基于IP复用技术的广泛应用,芯片的规模越来越大,功能也日益复杂,功能验证已成为大规模芯片设计的瓶颈。本文主要介绍了Mentor Graphics公司Vstation硬件辅助验证平台在高性能CPU功能验证中的应用。通过硬件加速仿真,极大的提高了功能验证的效率,缩短了验证周期,保证了设计的功能正确性。     

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

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

调试功能仿真及验证平台设计

本文档针对ARM CPU芯片,介绍了支持双核CPU芯片调试功能仿真平台和验证平台的设计及实现方法.调试功能仿真平台主要由验证脚本和Debug Driver程序组成;调试功能验证平台是基于仿真平台进行设计,直接使用仿真平台的Debug Driver程序,由MCU中验证程序替代仿真验证脚本的功能,使用验证设计更加灵活、全面...     

RFID标签芯片验证平台

RFID(Radio Frequency Identification)标签芯片命令及其帧格式多样,增加了验证的复杂性,而且验证充分性难以得到保障.为了能够高效地验证RFID标签芯片以及解决验证充分性的问题,提出了一种基于覆盖率和受约束的随机激励的面向对象的功能验证平台设计方法.验证平台不仅能对单条命令进行验证,也能对特定的和随机的命令流进行验证,并自动检查验证结果.实践表明,该验证平台大大提高了验证生产率,保证了流片后芯片功能的正确性.     

基于DVB-S网络的数据接收芯片IPOD的验证

文章针对DVB-S网络卫星数据接收芯片IPOD的设计。详细描述了IPOD（IP Over DVB）片的验证平台的建立和验证策略的实现。通过C仿真模型来创建仿真激励和期望响应。采用了可重用的验证结．构和灰盒的验证方法。实践表明，这种验证平台结构和验证策略，极大地提高了验证的效率和可靠性。     

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

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

适用于软件无线电基带芯片验证的实时原型平台

随着半导体芯片器件规模急剧增长,对芯片的功能验证以及场景验证提出了更多的挑战。而对于基带SOC芯片,挑战则更加显著。基带SOC芯片的设计验证涉及到大量算法、信号处理专用电路、软硬件协同、实时复杂场景等功能评估与验证。一般通用的芯片验证方法(基于测试用例的服务器离线验证以及FPGA原型验证)无法覆盖对基带芯片评估、验证以及测试的要求。针对基带芯片设计验证需求,本文设计并实现了一个基于软件无线电的通用实时原型平台,可满足不同频段、不同协议的基带芯片的算法评估、功能及场景测试需求。本文基于该通用实时原型平台,成功的对一款GPS/BD导航基带芯片进行了实时原型验证,解决了原有离线仿真不能满足的实时场景验证需求,使得基带芯片的验证环境更加贴近真实环境,从而极大的提高了芯片的成功率。     

一种可重构的通用总线接口验证平台的研究及实现

以UART总线接口为例介绍一种高性能验证平台.该验证平台基于SystemVerilog语言,以功能覆盖率为导向,通过带约束的随机方法产生测试激励,并具有自动检查运行结果及可重用性等特点.实践表明,与传统的验证平台相比,该平台在验证效率及功能覆盖率方面均有明显的优越性;与基于VMM搭建的验证平台相比,该平台也表现出了一定...     

构造特定应用领域芯片验证环境的方法讨论

由于IC设计复杂度日益增加，用于IC设计功能验证的时间占到整个设计周期的60％—70％。我们认为针对某个领域的产品，开发可配置的验证环境是验证领域的一个方向，本文重点讨论开发特定应用领域芯片的验证环境方法，并介绍了根据该方法，我们开发的一个面向SDH领域系列芯片的验证环境。     

基于E语言的外部存储器接口的功能验证

在SoC设计中,传统功能验证方法已显示出其缺点,主要问题有：复杂验证场景难以构建;边缘情况难以覆盖。针对这些问题,业界提出了一种新的功能验证方法学——受限随机矢量生成的功能验证,该方法在满足约束条件的前提下,随机产生验证矢量。本文研究了受限随机矢量生成的功能验证在SoC设计中的应用,并以基于E语言和Specman验证平台验证了SoC芯片中的外部存储器接口,给出了具体的验证环境和验证步骤。验证结果表明,复杂验证场景和边缘情况的覆盖率均达到了100％。极大地提高了验证的效率和质量。     

基于FPGA的ETC通信芯片验证平台的设计

为了降低ETC（Electronic Toll Collection,电子不停车收费）通信芯片的开发成本和周期,设计了一款基于FPGA的ETC通信芯片的验证平台,并分析了ETC通信系统的数据帧格式,系统组成单元,给出了本次设计构建的硬件平台和软件流程.基于该平台的ETC通信芯片LX5811A验证过程说明该平台具有较强的通用性、可重用性和可配置性,缩短了芯片的开发周期.该平台已成功应用于ETC通信系列芯片开发的设计流程中.     

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

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

CPU验证平台的研究与实现

针对CPU设计的特点,建立完善的验证平台对CPU的验证至关重要。介绍了CPU验证平台一般形式和特点,提出了面向高性能CPU功能验证的全芯片验证平台的结构和构造方法,阐述了基于硬件加速器的CPU验证平台的实现。该验证平台已成功验证了自主设计的CPU的正确性和兼容性。