高效验证平台在TD-SCDMA终端芯片功能验证中的应用

介绍了基于事务级验证的验证方法学（RVM）和覆盖率驱动技术,以及如何将RVM方法学和覆盖率驱动技术结合而搭建高效的验证平台,并详细分析了使用此验证平台对TD-SCDMA终端芯片进行完备和高效的RTL级功能验证.此验证平台比传统验证平台在效率上大大提高,有效地缩短了SoC芯片模块级和系统级的验证时间,缩短了3 SoC芯片的开发周期.     

高效验证平台在TD-SCDMA终端芯片功能验证中的应用。

介绍了基于事务级验证的验证方法学（RVM）和覆盖率驱动技术,以及如何将RVM方法学和覆盖率驱动技术结合而搭建高效的验证平台,并详细分析了使用此验证平台对TDSCDMA终端芯片进行完备和高效的RTL级功能验证。此验证平台比传统验证平台在效率上大大提高,有效地缩短了SoC芯片模块级和系统级的验证时间,缩短了3 SoC芯片的开发周期     

RVM在SoC验证中的应用及覆盖率驱动技术

介绍了RVM的层次化验证平台的结构,描述了RVM提供的基类和它们相互之间的关系。并且以USB为例,给出了利用RVM搭建模块级验证平台的方法,阐述了基于代码覆盖率和功能覆盖率的覆盖率驱动技术。     

基于UVM的AXI4-Stream可重用验证平台设计

文章针对传统寄存器传输级代码验证平台重用性差、覆盖率低以及自动化程度低等问题,利用通用验证方法学(universal verification methodology,UVM)设计了一个支持多AXI4-Stream设备互联结构验证的通用AXI4-Stream验证平台;设计了受约束随机测试、基础测试及直接测试3种测试用例...     

芯片功能验证流的高效生成方法

设计验证（Design Verification）在数字系统设计中已经非常重要。功能验证成为了现代数字系统设计周期地瓶颈。作为对基于仿真地验证方法改进的一次尝试,介绍了一种基于有限状态机生成测试向量的方法。它有效地提高了状态空间的覆盖率。     

多FPGA系统在SoC验证中的应用

片上系统（SoC）是一个前沿的科研方向,随着其理论和技术的逐步成熟与完善,验证是一个非常重要的部分。实现一个实用的SoC,一般先要进行FPGA（现场可编程门阵列）验证。多片FPGA验证还处于起步阶段,其验证方法和工具有很大的研究和发展空间,本文给出了实用的多FPGA验证平台的结构,提出了涉及到的关键技术问题以及解决方案。     

协同形式验证环境Co-Formal的建立与应用

形式验证存在状态爆炸的问题,特别是软硬件的协同验证难以解决.为此研究了片上系统的协同形式验证问题,给出了一种高效的协同形式验证环境Co-Formal,用于从行为级到具体实现级的软硬件协同形式验证.以一个实际的硬件系统验证了该环境的可用性.     

SoPC光纤通道控制器IP核的仿真验证

通过片上可编程系统(SoPC)设计方法构建光纤通道(FC)控制器,详细分析了硬件设计的功能模块图.FC控制器硬件集成了NIOS II处理器、DDR SDRAM控制器、flash控制器、定时器、串口和带Avalon接口的光纤通道接口逻辑,通过Avalon交换总线进行互连.采用自底向上的方法,分别从功能模块级、知识产权(IP)核级和系统级给出了FC控制器的仿真验证框架,并用Altera公司的Stratix GX系列现场可编程逻辑门电路(FPGA)进行了上板调试.验证结果表明,提出的仿真验证方案正确可行,能较好地完成验证任务.     

模型驱动体系结构MDA及xUML规范在其语境中的探讨

介绍OMG提出的模型驱动体系结构MDA ,它将与实现技术无关的模型和基于特定技术的模型分离 ,并通过模型间的变换 ,使系统能适应技术的发展 ,解决系统在不同中间件平台的集成、互操作性、可移植性等问题 ,提高生产力 ,保证程序质量 .并对在MDA语境中的xUML作进一步的讨论     

声卡数据采集在模型验证试验中的应用

声卡是PC中常见的声音信号采集硬件。介绍一种使用计算机声卡采集振动试验台的摆杆加速度信号;并对采集到的数据与仿真数据进行初步对比分析;以此来验证动力学仿真分析结果。此方法作为一种低成本的动力学模型仿真数据试验验证的解决方案,可广泛应用于教学实验课程。     

TD-SCDMA芯片设计中的串扰分析

集成电路进入了超深亚微米领域,金属层增加,线宽减小,使电路的性能和密度都得到了很大的提高,但也引入了愈来愈严重的互连线效应,并最终引发了信号完整性问题。在这其中,串扰噪声是一个关键的问题,论述了TD-SCDMA芯片设计中串扰噪声的成因及影响,介绍了串扰预防、分析和修复的一般方法。     

TD-SCDMA芯片设计中的串扰分析

集成电路进入了超深亚微米领域,金属层增加,线宽减小,使电路的性能和密度都得到了很大的提高,但也引入了愈来愈严重的互连线效应,并最终引发了信号完整性问题.在这其中,串扰噪声是一个关键的问题,论述了TD-SCDMA芯片设计中串扰噪声的成因及影响,介绍了串扰预防、分析和修复的一般方法.     

TD-SCDMA芯片中USB核的设计与验证

讨论了TD-SCDMA芯片中USB核的设计方法,并进行了ModelSim的验证.简述了USB的传输方式与设计思路,着重描述了USB的结构划分以及各个模块的设计思想与接口信号,并给出了ModelSim的验证方法与实验结果,说明此IP核可以作为一个独立的模块嵌入到ASIC的系统中.     

TD-SCDMA芯片中USB核的设计与验证

讨论了TD-SCDMA芯片中USB核的设计方法,并进行了ModelSim的验证。简述了USB的传输方式与设计思路,着重描述了USB的结构划分以及各个模块的设计思想与接口信号,并给出了ModelSim的验证方法与实验结果,说明此IP核可以作为一个独立的模块嵌入到ASIC的系统中。     

酉空时编码在TD-SCDMA系统中的应用研究

酉空时编码（USTC）是一种可以在发送端和接收端都不需要知道信道信息时使数据能够可靠传输的空时编码方案,目前对于酉空时码大多拘于理论上的研究,本文给出酉空时码在TD—SCDMA系统中的应用方案并对其性能进行仿真分析．     

多项式回归在TD-SCDMA接收系统中的应用

根据TD-SCDMA接收系统样本数据特点,对多项式回归过程进行了合理组合并将其作为最佳样本数据选择依据。传统多项式回归算法计算量很大,不适合移动通信接收系统芯片的实时处理,分析了相应参数对拟合结果的影响,给出了适用于实际系统的一般算法,给出了减少运算量的途径并指出改进方向。研究表明:采用该算法将提高选中最佳样本的可能性,对提高整个通信系统性能具有重要的理论意义和工程应用前景。     

前馈技术在TD-SCDMA功率放大器中的应用

前馈技术是功率放大器线性化的主要技术之一。针对TD-SCDMA系统对功率放大器的线性要求较高的特点，介绍了前馈技术的基本原理和性能，并通过仿真证明基于功率最小化的自适应前馈技术可以改善系统邻信道泄漏功率比(ACLR)指标，从而适用于TD—SCDMA系统的功率放大器线性化技术。     

AFDX-ES芯片设计中主机端接口的设计与验证

目的 基于ARM9的AFDX-ES芯片的PCI主机接口的设计与逻辑验证.方法 以软硬件协同设计方法学、验证方法学为指导,提出了以PowerPC处理器为核心的主机端软硬件平台下SoC软硬件协同方法,并搭建了基于芯片的FPGA原型验证平台.结果 通过主机上VxWorks对AFDX-EX芯片上资源进行管理以及对各功能模块进行功能调用,有效地验证了SoC主机接口逻辑功能的正确性.结论 文中方法设计合理,运行可靠,可以应用于类似芯片的设计中.