利用RVM搭建SOC芯片的高效验证平台

本文介绍了用于SOC功能验证的RVM验证方法学,描述RVM验证平台的层次化结构,介绍了RVM的随机测试和基于覆盖率驱动技术的验证策略.文中以一个UART模块为例,详细说明了RVM验证平台在SOC功能验证中的应用;并对验证平台的重用性进行了阐述.     

TD-LTE系统RLC层协议一致性测试

为了进行TD-LTE(时分长期演进)系统级测试仪表的开发,需要对各层的功能进行测试和验证,RLC(无线链路控制)层主要完成数据处理功能。文章在对3GPP(第3代合作伙伴计划)开发测试协议进行认真分析研究的基础上,首先在CCS软件中编写测试例进行软仿真来验证RLC层协议一致性;然后搭建TTCN-3(测试与测试控制第三版)软件平台,通过系统级的测试来验证RLC层的功能。结果表明,在两种平台下该层功能都得以正确实现,这为测试仪表的开发奠定了基础。     

以太网MAC层IP软核设计方法研究

主要论述了在SOC产品开发中如何设计以太网MAC层IP软核.针对目前以太网MAC层IP软核设计的实际情况,分析了三种常用的IP软核设计方法的优缺点,提出了一种改进的U型IP软核设计方法.并运用此方法先对以太网MAC层IP软核进行层次化的自顶而下设计,再对其进行自底而上地实现与集成,最后得到该IP软核整体.经过对该软核的测试与结果分析,验证了其能够实现以太网MAC层协议功能,达到了设计目标.该研究将对今后的以太网MAC层IP软核及相关产品开发具有重要的参考价值.     

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

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

SOC设计方法学和可测试性设计研究进展

随着微电子工艺技术和设计方法的发展，系统级芯片(SOC)设计成为解决日益增长的设计复杂度的主要方法。文章概述了SOC设计方法学和SOC可测试性设计的发展现状，阐述了目前SOC测试存在的和需要解决的问题，描述了目前开发的各种SOC测试结构和测试策略。最后，提出了今后进一步研究的方向。     

基于事务级软硬件协同仿真技术的研究

介绍了基于事务级的软硬件协同仿真技术的基本概念,提出了一种层次化的实现结构。该结构将事务级软硬件协同仿真功能进行逻辑划分,便于系统的模块化实现和功能扩展。并在电子科技大学研制的“CD6501型SoC软硬件协同验证系统”上对一个分组交换模块进行事务级软硬件协同仿真;通过测试,表明该分层结构能较好地完成事务级软硬件协同仿真任务,同时提高了协同仿真速度。     

如何进行SOC系统的功能验证？

文章简要介绍了在SOC系统设计中如何进行功能验证。从SOC系统的简化，验证平台的构建，如何提高验证系统代码的复用性以及如何提高验证系统的可维护性方面讲述如何进行SOC系统的功能验证．     

基于RVM的SOC验证方法与技术

本文介绍了SOC的层次化验证方法,SOC层次化验证平台的一般结构.重点介绍了RVM验证方法学.详细描述了利用RVM搭建验证平台的屡次化结构,"以及RVM覆盖率驱动技术,和Synopsys公司提供的RVM基类."     

SOC设计的软硬件协同验证研究

软硬件协同验证是SOC的核心技术.通过分析SOC验证方法与软硬件协同验证技术,提出C与平台相合的协同验证方法.该方法是在系统级用SystemC确定SOC系统的体系框架、存储量大小、接口IO与验证软件算法的可行性、有效性、可靠性.在硬件设计中,利用验证可重用的硬IP和软IP快速建立SOC系统,并把核心IP集成嵌入进SOC系统中.在软件设计中,利用成熟的操作系统与应用系统来仿真验证SOC芯片的功能与性能.该方法应用于一个基于ARM7TDMI的SOC设计,大大缩短了验证时间,提高了验证效率与质量.     

基于RVM的SOC验证方法与技术

本文介绍了SOC的层次化验证方法,SOC层次化验证平台的一般结构.重点介绍了RVM验证方法学.详细描述了利用RVM搭建验证平台的屡次化结构,“以及RVM覆盖率驱动技术,和Synopsys公司提供的RVM基类.“     

基于UVM的HIMAC验证平台的设计

HINOC是一种新型同轴电缆宽带接入技术.HINOC系统的媒质接入控制层核心模块HIMAC的功能验证是整个HINOC 2.0 SOC芯片验证工作的重要组成部分.围绕HIMAC模块的功能验证这一目标,基于通用验证方法学(UniversalVerification Methodology,UVM)机制设计实现了HIMAC模块的功能验证平台,阐述了该平台的结构和实现原理,并利用该平台实现了对HIMAC模块组帧拆帧功能的验证.采用UVM设计的验证平台可重用性强、自动化程度高、层次清晰,有效提高了验证效率,为HIMAC的全面验证和HINOC芯片设计打下了良好基础.     

UML到Verilog同态映射在SOC系统级建模上的应用

SOC设计变得日益复杂要求我们在更高层次抽象上分析和验证系统行为。更精细的系统级建模方法变得日趋重要。文章主要目标是阐述怎样使用统一建模语言UML来构建一个复杂SOC设计框架及抽象其各个模块间行为的交互，建立了一个UML到Verilog的同态映射。提出了一个基于同态映射的从UML模型子集自动导出相应可综合Verilog描述的算法，为UML模型对于建模硬件系统提供了形式化的语义，从而能够验证并综合UML模型，加快了SOC设计流程。     

SoC基于可重用性的RVM层次化验证方法及应用

本文主要运用了可重用性和层次化的验证方法来建立模块化的高质量验证平台.通过将IP单元验证平台的模块部分甚至全部重用到SoC系统验证平台中,有效减少了构造验证平台的时间;通过层次化的验证方法的应用,有效提高了验证环境的执行效率;并以一个基于PWT架构的SoC系统为例从模块级,系统级两个方面应用了这种方法进行验证.     

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

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

Password Authentication Using Hopfield Neural Networks

Password authentication is a common approach to system security. The conventional verification table approach has significant drawbacks. Recently, neural networks have been used for password authentication to overcome the shortcomings of traditional approaches. In neural network approaches to password authentication, no verification table is needed; rather, encrypted neural network weights are stored within the system. Existing layered neural network techniques have their limitations such as long training time and recall approximation. This study proposes the use of a Hopfield neural network technique for password authentication. In comparison to existing layered neural network techniques, the proposed method provides better accuracy and quicker response time to registration and password changes.     

基于ML-AHB总线的家庭网关SOC设计

家庭网关是家庭信息化的关键设备。随着以IP核复用为基础的SOC设计技术的发展,片上互联变得越来越重要,要求使用多层总线,以提供尽可能高的带宽。采用ARM公司的高性能总线(ML-AHB,Advanced High-performance Bus),设计了一个家庭网关SOC。将3条主总线分别连接到ARM核的数据总线、指令总线和DMA总线,再将8条从总线连接到外围总线及外围存储器等。经系统验证,取得了很好的效果。     

基于eRM建立自动化的验证平台

为了缩短SoC项目开发中前端验证的时间,实现自动化的可重用性验证环境平台,采用了eRM验证方法学,通过Sequence,BFM,Monitor,Scoreboard,Coverage等验证组件来实现此验证平台,并给出了基于此平台的一个应用实例,极大地提高了验证的效率和功能覆盖率。     

基于E语言的数字电视DVB-H系统数据链路层功能验证研究

随着数字电视的迅速发展和移动多媒体设备——手机,PDA等的普及,新的技术被发展并应用于手持设备数字电视的接收,DVB-H手机电视标准提供了很好的手机电视接收解决方案。该标准是DVB-T的扩展应用,在数据链路层实现了时间分片、多协议封装和前向纠错功能,从而降低了平均功耗,增强了移动接收的鲁棒性。提出了基于E语言的DVB-H系统数据链路层的功能验证环境,并给出了具体验证步骤和结果分析,最后通过验证分析完善和改进了DVB-H数据链路层系统功能,此外对基于E语言的验证方法进行了一定的研究。