基于RVM的可重用测试方法及应用

介绍了如何运用Synopsys提供的层次化验证方法来快速搭建高质量验证平台，通过将验证模块部分或全部重用到系统级芯片（SoC）验证平台中，大大减少了验证平台的搭建时间，提高了验证环境的执行效率；最后，以一个异步串行通信接口模块UART为例，描述了如何快速搭建一个系统级验证平台。     

基于RVM的可重用测试方法及应用

介绍了如何运用Synopsys提供的层次化验证方法来快速搭建高质量验证平台,通过将验证模块部分或全部重用到系统级芯片（SoC）验证平台中,大大减少了验证平台的搭建时间,提高了验证环境的执行效率;最后,以一个异步串行通信接口模块UART为例,描述了如何快速搭建一个系统级验证平台.     

基于SystemVerilog的数字基带通信芯片的验证

随着集成电路设计复杂度的提高,验证的难度也随之提高,传统的基于Verilog 搭建的验证平台已经不能满足要求. 以数字基带通信芯片为验证对象,基于SystemVerilog 语言建立一种双向通信的验证平台. 该验证平台采用类的思想进行设计,使其更易于修改和可重用. 与传统的验证平台相比,分层次的验证平台具有更高的灵活性和易操作性.     

验证平台中的可重用监视器

随着SoC芯片复杂度的提高，功能验证及其验证平台的构建日益成为电子产品开发和设计的瓶颈.而建立基于事务的可重用的验证平台是提高验证效率的关键之一.该文在基于事务的验证平台基础上,提出了一种模块化可重用的监视器设计方法，该监视器将物理信号的监测与数据的接收分离开来，且可进行信号到事务的转换，由此加快验证平台的构建和调试的过程，提高验证效率.     

基于RVM的AVS视频解码芯片的验证

随着集成电路设计规模和复杂度的不断增大,验证工作越来越重要,如何快速地搭建一个强大、高效的验证平台是工程师们关注的重点。本文基于业内常用的高级验证方法学RVM(Reference Verification Methodology),利用Vera验证语言搭建了一个层次化验证平台,对AVS视频编解码芯片进行验证。本设计中,AVS(Audio Video coding Standard)视频解码芯片的验证一共开发测试用例2400多条,覆盖率也已达到项目要求,其中行覆盖率为99.2%,条件覆盖率为95%,状态机覆盖率是98.1%,跳转覆盖达95.2%,且平台可重用性较好。 验证结果表明,基于RVM的vera平台可以准确高效地对芯片进行验证。     

基于精简指令集的内核验证参考模型设计

功能验证能在芯片设计前期快速、低成本发现缺陷,对于保证设计质量具有重要意义.针对内核模块验证中指令序列随机性差、测试用例编写繁琐和验证平台重用性差等问题,设计了一款8位精简指令集内核验证参考模型,通过对指令集单独建模、可配置化参数设计等方法满足了指令序列随机组合的验证需求和重用性,且结合自动化脚本的使用解决上述相关问题...     

基于UVM的AHB-UART模块验证

对于SOC上应用十分普遍的AMBA总线而言,传统的验证方法已经远不能满足需求.使用UVM方法对AHB总线和UART模块之间的通信进行了统一的功能验证.验证结果覆盖了所有的测试点,并表明该验证平台具有很好的可重用性.     

电子商务中XML安全技术的应用研究

针对目前电子商务安全技术中的高代价和弱互操作性问题,提出了组件化思想,基于微软最新开发平台VS.Net2008,通过应用XML描述被传输信息,然后对其中的敏感信息进行签名、加密等安全处理,既保证了XML数据的安全,又提高了软件的重用性。     

模型机虚拟实验平台的设计与实现

提出一种基于组件的模型机虚拟实验平台(CPU_VLAB)的设计模型和实现方法.CPU_VLAB采用Java语言实现,具有良好的平台无关性;以Java Bean组件技术开发模型机的基本部件,提高软件的重用性;结合多线程技术的wait和notify机制以及锁的同步控制技术,提出一种组件分类触发调度机制,有效地解决具有复杂关系组件之间的调度运行问题,保证微命令的有序执行.与已有的模型机虚拟实验平台相比,该实验平台不仅在通用性、自主性和可重用性等方面有较大的提高,而且具有良好的可交互性,同时,CPU_VLAB的组件调度机制为开发计算机硬件类课程虚拟实验平台提供参考.实验结果表明:在此平台上,学生能够搭建和验证模型机实验,从而巩固对CPU工作原理的理解,大大提高学生的实践动手能力和创新能力.     

一种通用CSCW平台的设计

随着CSCW在各个领域的广泛应用，越来越迫切地需要开发一种通用的CSCW平台，以避免在不同应用环境中对该类平台基本模块的重复开发，同时为特定的协同应用设计提供一个良好的开发环境，在对CSCW环境综合分析的基础上，建立了通用CSCW平台的模型及其基本运行机制，并构造出通用CSCW平台的基本结构框架，在平台的实现中采用了面向对旬的设计方法，并利用CORBA进行对象的组织和管理，实现了在不同系统环境对通用CSCW平台的支持，平台最终提供了一套核心类库和API，用户可基于此平台通过组件化的开发模式来开发新系统，从而大大提高开发效率和代码重用率。     

基于扩展有限状态机和断言的总线接口协议测试平台

在SoC设计流程中，传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷．为此，提出了一种基于扩展有限状态机（EFSM）和断言的SoC接口协议测试平台，该平台是一种自反馈测试平台，它不仅可以自动产生大量符合协议规范的测试激励矢量，而且可以通过对断言统计信息的反馈提供多种偏置选择，从而进一步提高验证的自动化水平．将该平台用于对视频后处理芯片中Wishbone总线接口协议的功能验证当中，验证结果表明，该平台可以缩短仿真验证时间大约55％～65％左右，有效地提高了验证的效率和质量．     

基于Open Vera的IIC总线接口功能验证平台的搭建

文章讨论了基于Open Vera的功能验证平台的搭建方法,重点研究了如何挖掘Open Vera所支持的各种新技术和新功能,并与传统验证方法所搭建的验证平台进行了性能比较;表明该硬件验证语言的优势,对验证IP(VIP:Verification IP)的编写有一定的借鉴意义。     

基于VMM的LTE小区搜索模块验证

随着芯片设计规模和复杂度的增加,功能验证变得越来越复杂,验证面临着诸多挑战。有统计数据显示,验证工作占整个设计开发工作60%～80%的时间。在长期演进系统(long term evolution,LTE)中,小区搜索是一个非常关键的过程,是移动终端开机后首先要做的步骤。小区搜索的性能好坏直接影响LTE系统后续过程的进行,对LTE系统的性能有很大的影响。以LTE系统小区搜索模块为例,简要介绍了VMM(verifacation methodology man-ual)验证方法学,并基于VMM验证方法学搭建了小区搜索模块验证平台,对小区搜索模块进行了全面的功能验证。验证结果表明,本模块能够完成预期的目标,采用VMM验证方法学可以极大地提高验证效率,缩短验证周期。     

论经济史研究的经济学方法

经济史是介于经济学与历史学之间的交叉学科,在经济学领域它属于理论经济学,在历史学领域它又属于专门史,因此,研究经济史既可用经济学方法也可用历史学方法。就经济学方法而言,主要包括：运用经济学理论来研究经济史;证伪与证真研究法;实证研究法;假设研究法;计量经济学方法。     

可测性DSP软硬件协同仿真验证平台设计

针对数字信号处理器的不同仿真和验证要求，提出了一种可测性软硬件协同仿真和验证平台的设计．采用可配置IP模块和总线结构，实现了硬件平台可配置性和可重用性，采用在线仿真模块，实现了实时的仿真验证功能；采用分层的方法设计软件平台，实现了软件平台的可配置性．实验结果表明，在50MHz的工作频率下，此平台对16位数字信号处理器进行了指令集测试和FIR等应用程序的仿真验证工作．     

可重用面向对象数控软件及其开发环境研究

通过对数控软件的标准化、规范化研究,运用面向对象机制,对数控软件功能与数据进行抽象并进行封装,设计成具有稳定、通用接口的可重用的软件芯片,建立一个类似硬件芯片的高可靠性数控系统软件芯片库．设计了软件芯片库管理器;实现芯片库的浏览、检索及维护,以及图形化应用程序集成工具;完成应用程序的功能配置与代码生成;实现ＣＮＣ软件的自动化或半自动化开发     

管理信息系统中的软件重用

当今CMIS的开发和维护都是基于手工方式,工作量大而且繁杂,很少利用以前开发的软件,导致长周期、高费用、低效能和有时甚至系统整个失败。作坊式的软件开发方式促使人们重新评价和探索CMIS的软件研制技术,软件可重用性就是要推动软件生产的工程化和商品化。 1 重用技术的必然性 每个企业的CMLS都有其特有的性质,但它们之间也存在众多的共性。CMIS开发的重复     

软件重用在故障诊断专家系统设计中的应用

简述了故障诊断专家系统的概念，介绍了在开发与设计过程中所用到的软件重用技术、面向对象方法以及领域与领域工程的方法，通过对故障诊断专家系统进行领域分析，同时应用面向对象的方法，设计出了故障诊断专家系统的可重用构架和可重用构年，并将其构造到一个实用的系统中，作为结论，软件重用技术在实际应用中切实可行，并且可以大幅度提高系统的设计与开发效率。