基于SystemVerilog的SoC功能验证方法研究

结合最新验证语言SystemVerilog的特点以及VMM（Verification Methodology Manual）验证架构,分别讨论了SoC设计过程中模块验证,集成验证和系统验证的一些改进措施,达到提高功能验证效率的目的。     

多通道并行TD-LTE小区搜索架构设计与FPGA实现

移动终端通过小区搜索完成与网络的接入工作.为了更快地完成时分长期演进 (time division long term evolution,TD-LTE)系统小区搜索过程,与传统数字信号处理(digital signal processing,DSP)串行模式对比,从速度和面积两方面综合考虑,提出一种基于现场可编程门阵列(field programmable gate array,FPGA)的多通道并行小区搜索架构.主要工作集中在小区搜索整体方案设计和FPGA硬件实现上,在算法上对整个小区搜索算法架构进行了改进,同时根据硬件需求,利用以时钟换取速度的思想对FPGA硬件实现架构进行了优化.采用多通道并行高速乘法器进行序列相关检测和动态门限配置的方法,大大缩短了TD-LTE小区搜索的处理时间.并以Altera的EP4SGX230KF40C2 芯片作为硬件平台进行了Modelsim功能仿真、板级验证等工作.实验结果表明,该设计方案的处理速度和数据精度均满足TD-LTE 系统测试要求,性能远优于传统的DSP架构模式,可以应用到实际工程中.     

LTE系统中下行信号质量RSRP测量研究

在LTE系统中,小区切换是空闲模式下UE端的一项重要任务。UE端一旦驻留在某一个小区后,它就需要不断地对当前服务小区和邻近小区的信号质量进行测量,为进行小区切换、确保UE端驻留在优质小区做准备。LTE系统中,RSRP做为衡量小区信号能量的重要参考因素,是小区切换和交接的标准和依据。本文设计了一种RSRP测量方法,并对其进行验证。3GPP没有给出RSRP测算方法的具体描述,因此本文对RSRP的数学模型进行分析,并搭建仿真链路,对RSRP测量过程进行仿真,比较不同测量模型的性能指标,以找到一个较优的RSRP测量方法。     

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

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

通信过程追踪系统的设计与实现

为了定量地分析评测IP通信系统性能或网络应用程序性能,提出了通信过程追踪系统的体系结构,阐述了通信过程追踪系统的基本工作原理,设计了该系统各主要模块的工作流程并实现了原型系统.通信追踪系统的主要模块(调度模块、追踪模块、Traceroute测量模块、返回追踪结果模块和结果显示模块)分布式地运行在监测中心和位于网络不同位置的探针上,位于监测中心上的调度模块通过策略系统协调各探针上的模块功能,共同完成通信过程追踪功能.实验结果表明,该系统原理可行,在网络性能评估方面能够发挥作用.     

WCDMA小区搜索中的功率分配

针对宽带码分多址 (WCDMA)系统中小区搜索过程的编码调制方案 ,在讨论同步信道 SCH(包括主同步信道PSCH和辅助同步信道 SSCH)性能基础上 ,研究了同步信道、公共导频信道 (CPICH)功率分配方案对小区搜索整体性能的影响。通过在加性高斯白噪声 (AWGN)信道下仿真了多时隙、多帧非相干累加的检测方法对小区搜索各步骤性能的改善 ,得到了在 16 0 m s小区搜索时间内同步信道和公共导频信道功率分配的最佳方案为 PSSCH:PPSCH=0 .2 5 :0 .75 ,PCPICH:PSCH=0 .35 :0 .6 5     

基于VMM的SOC可重用验证平台设计

当前集成电路设计规模空前增长,对验证提出了巨大挑战,搭建组件化和可重用的验证平台已逐渐被业界采用。以一款接入交换机芯片验证为例,介绍了应用VMM方法学搭建基于subenv的组件化和可重用的验证平台的方法和原则。项目实践表明此方法可以极大地提高验证效率。     

LTE终端RRC连接重建过程研究与实现

无线资源控制(radio resource control,RRC)连接重建过程在长期演进(1ongterm evolution,LTE)系统中对维持无线链路的可靠性,保证服务的连续性有着重要作用.对LTE系统特性和协议架构进行了介绍,对RRC连接重建过程的应用场景、发起原因、连接重建目的小区的选择、RRC连接参数更新...     

基于SystemVerilog的SoC功能验证方法研究

SoC功能复杂度不断提高,结合了最新验证语言SystemVerilog的断言、随机约束、功能覆盖率等特点以及Verification Methodology Manual(VMM)验证架构,对SoC验证的各阶段进行了改进.模块验证阶段灵活应用了形式验证和动态仿真验证;集成验证阶段依据可重性的思想搭建验证环境、采用迭代开发的思想提前了集成验证启动时间;系统验证阶段采取了软硬件协同验证;同时利用随机约束技术开发验证向量,利用功能覆盖率技术评价随机约束向量对功能的覆盖.通过这些改进措施达到了提SoC功能验证效率的目的.     

LTE系统中初始小区搜索研究

在3GPP LTE系统中,传统的初始小区搜索算法具有较大的运算复杂度,这就导致移动设备需要消耗更多的功率来完成搜索过程,同时也影响了小区搜索的可靠性。通过差分相关移除信道影响从而提高辅同步信号检测质量,以及运用量化后的互相关来简化辅同步检测算法。改进后的辅同步检测算法与传统算法相比,具有较低的运算复杂度。通过仿真分析比较传统算法和改进算法,表明改进算法的检测正确概率有所提升,可靠性得到了提高。     

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

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

基于无线控制和视频传输的多功能探测车

设计了一种基于远距离无线控制和视频传输的多功能探测车.以嵌入式系统作为控制核心,利用无线传输技术实现远距离无线控制和视频实时传输,实时地将图像传至电脑控制端,进而通过电脑实现对探测车的控制; 还可以通过控制者手臂上的传感器获知控制者手臂的动作,实现对小车上的机械臂进行简单、精准的控制.搭载了LTE模块,在超出传输距离时转到LTE模块,利用4G网承担数据和视频的无线传输以及无线控制,使探测车可以稳定可靠的工作.根据不同的任务要求,可搭载各种不同的传感器,探测所处环境的各种参数.探测车采用履带式设计,能适应各种不同路况.该探测车可替代人类进行危险和未知地域以及不适于人类进入的地域进行探测、救援、样本采集、危险排除等工作,有效防止了人类进入危险地域执行探测、救援等任务所造成的人身伤害和财产损失.     

基于多径的双极化信道信息反馈方法

天线部署空间限制和信道信息精度是影响大规模天线性能的重要因素,双极化天线能够有效地减少天线尺寸,在有限的空间内部署更多的天线,成为了大规模天线部署时的主流选择。但是由于信道的维度较大,目前,反馈技术面临码本中码字数目巨大、设计困难的问题,并且同时导致反馈开销大以及码字选择计算复杂度高。本文提出了一种新的基于多径的双极化信道反馈方法,这种方法仅仅需要少量的长周期宽带反馈的多径方向和幅度信息,结合一些短周期子带反馈的相位合并信息即可获得更加精确的预编码。结果表明这种方法能够有效地提高量化反馈效率并降低终端侧复杂度。      

一种动态视频采集系统的调试与验证方法

以SOPC软核技术为设计基础,通过采用一种双DMA模块与系统IP互连,实现了一种动态视频采集系统;给出了调试结果和验证方法,优化了动态图像处理系统的性能,最后方案在硬件开发平台DE2上实现。     

Research on object-oriented SOC design methodology

The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There are many practical problems in the application of object-oriented methods for this goal. Based on the analysis of traditional and system-level design methodology, a new object-oriented SOC design methodology with object-oriented design patterns is proposed, which emphasizes high-level design and verification. Aiming at the final goal of developing design patterns specific to SOC design, the reuse of design patterns in SOC systems and the capability of new SOC design patterns are discussed. With the illustration of some concrete examples of SOC design patterns, the application of object-oriented design methodology in the SOC design process is presented.     

基于单片机的出租车计价器检定装置的设计

为解决出租车计价器检定装置布线繁琐和检测效率不高的问题, 提出一种以AT89C52单片机为核心的出租车计价器检定装置的设计方法。以霍尔传感器作为检测元件并产生脉冲信号, 通过无线模块将记录的脉冲传送到与微处理器相连的无线接收模块, 并与出租车计价器记录的脉冲个数进行比对, 检测出租车计价器是否符
合计价标准。系统还对检测台的设计进行了改进, 使其在检测过程中更加快捷方便, 提高检测台的使用寿命和检测效率。实验测试结果表明, 该设计符合出租车计价器整车检定装置的技术指标要求, 系统操作方便, 检测精度较高, 稳定性较好, 能满足实际测试的需要。