高效验证平台在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搭建模块级验证平台的方法，阐述了基于代码覆盖率和功能覆盖率的覆盖率驱动技术。     

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

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

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

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

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

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

SoC自动化验证方法的研究与实现

为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60％降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

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

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

一种基于UVM面向RISC CPU的可重用功能验证平台

以UVM验证方法学和UVM1.1标准库为基础建立验证环境, 按照面向方面的模式分离功能、时序和结构属性, 设计参考模型, 在事务级利用知识库自动产生高功能覆盖率效果的测试用例。面向RISC CPU的功能验证实现领域重用, 以PKU-DSPII为例建立完整的验证平台。实验结果表明, 可重用性得到大幅提升, 且测试用例的覆盖率效果提升约7%。     

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

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

基于Transaction模式的SoC软硬件协同验证策略

SoC的验证越来越成为集成电路发展的突出问题，而传统的信号级别的验证方法由于工作量巨大，已经很难满足系统的要求。研究了基于Transaction模式的验证方法，并通过开发的验证平台，用实验进行了验证。该方法在Transaction级别上实现对系统的验证。提高了验证速度，可以缩短设计周期。降低设计成本。     

以评促改 推动高校艺术学科读者服务的创新

通过对上海应用技术学院图书馆的一个读者服务窗口——艺术设计资料室的介绍,提出了如何以评促改、推动图书馆读者服务工作不断创新的问题。     

一种可重用于不同总线的验证IP的方法

随着市场压力逐渐增大，设计验证的效率已经成为芯片设计领域中关注的焦点之一。传统的设计验证方法已经很难满足当前对芯片设计的要求，本文提出了一种综合了多种验证方法的可重用于不同总线的验证IP的方法来提高对IP设计验证的效率。     

基于神经网络时间序列预测器的弯管流量计传感器数据验证

传感器数据验证技术具有重要的实用价值。介绍了一种基于神经网络时间序列预测器的传感器数据验证方法，并利用Matlab对弯管流量计的传感器数据验证进行了仿真，结果表明这种方法是切实可行的。     

基于MCLP的WSN定位参考点选择算法

为了避免经验算法和SHARP算法的覆盖度低和可靠性差的缺点,采用最大覆盖布局模型(MCLP)对定位参考点的选择进行研究,并将贪婪随机自适应算法(GRASP)应用到该模型.在此基础上提出了以覆盖度为目标的基于覆盖理论的定位参考点选择算法(CRS).该算法从构造最大三角形布局开始,然后采用逐步扩散的方式为定位参考点选择位置.最后利用Matlab进行仿真实验.仿真实验结果显示在不需要增加额外硬件开销情况下,CRS算法以增加布局时间为代价增加了覆盖度.     

一种基于隐马尔可夫模型的在线手写签名认证算法

给出一种对签名特殊点的提取方法, 并以此特殊点作为签名的分割点, 获取每段中的重要特征进行分析. 在此基础上, 提出一种基于隐马尔可夫模型(HMM)的在线手写签名认证算法, 并利用第一届国际手写签名认证竞赛(SVC 2004)的测试数据库检验了算法的有效性.     

浅析高校图书馆在构建创业型大学中的价值——以馆办刊物《决策参考》为例

以浙江万里学院图书馆馆办刊物《决策参考》为例,阐述了馆刊的办刊宗旨、栏目、特色和作用意义,并提出了改进的措施。     

一个模型转换的验证框架

模型驱动体系结构（Model Driven Architecture，MDA）是OMG为充分利用基于UML的建模技术并分离软件系统的抽象描述和具体事项而提出的。模型转换对MDA的成功至关重要，但对于同传统软件开发过程中的测试部分同等重要的模型转换中的验证和有效性确认（V＆V），目前的研究比较少。为此，尝试提供一个基于MDA上下文的模型转换性能的验证框架。该框架用于验证原模型包涵的性质，检查源模型与／或目标模型的各个元素是否通过模型转换规则实现了语义等价。同时，采用EMFAPI开发了一个用来分析Tefkat语言描述的模型转换规则的verifier原型系统，并通过实例验证了其有效性。     

电力有源滤波器的关联指令分区控制研究

对电力有源滤波器(APF)采用关联指令分区(CRS)控制方法进行了研究.研究了APF中电流补偿关联指令的构成和计算方法,并对采用CRS控制的APF进行了实验研究.结果表明,APF中的控制关联指令由补偿指令电流和电网电压构成;关联指令控制方法用于APF中,能取得满意的补偿效果.