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

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

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

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

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

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

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

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

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

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

基于UVM的报文验收滤波模块验证方法

针对当前芯片验证平台搭建速度慢和验证覆盖率收集困难的问题,提出一种基于通用验证方法学（UVM）的报文验收滤波模块验证方法。该方法利用Python脚本语言搭建UVM平台框架结构,引入随机事件种子并结合可约束随机测试技术收集验证覆盖率,实现报文验收滤波模块的验证。测试结果表明,该方法收集模块功能的验证覆盖率为100%,与Verilog语言搭建的验证平台相比,代码数据量减少94%,缩短验证平台搭建时间。     

事务级随机测试功能验证方法

针对事务级和寄存器传输级(RTL)功能验证效率低的问题,提出了采用随机测试在片上系统(SoC)事务级进行功能验证的方法,用对比评估法论证了该方法的有效性.采用高级建模语言构建事务级的测试平台,并采用多种随机化机制生成测试向量.有效性评估结果表明,划分测试仅在错误区包含某个或几个子域的特殊情况下优于随机测试的验证效果,而随机测试则可能在更一般的情况下优于划分测试的验证效果.实验证明该方法具有较高的功能覆盖率和较低的测试成本.     

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

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

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

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

遗传基因算法在验证中的改进

随着SOC系统越来越复杂,将遗传基因算法应用于芯片验证,实现验证的自动化,可大幅度提高SOC验证的功能覆盖率。介绍了一种基于遗传算法的验证向量自动生成算法遗传基因算法,并在此基础上提出了一种改进算法,即生长算法。其思路是在遗传基因算法的基本原理上,通过由覆盖率较小的向量群成长为覆盖率较大的向量群。通过在SOC验证平台的应用证明了它们能快速达到较高覆盖率,缩短了验证周期。     

操作系统形式化验证综述

介绍操作系统验证理论、语言和工具等技术基础,阐述验证路径、精化关系验证和大规模验证等新的验证方法和理念.比较分析多个操作系统验证项目研究内容、验证方法、主要贡献以及最新进展.分析操作系统验证过程中存在的问题,认为验证成本高、验证工具局限性是制约操作系统形式化验证的关键因素,随着验证工具、框架和定理库的完善,以及深度学习...     

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

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

2013年以来我国碳交易试点的碳排放权交易核查的发展进程及对策建议

碳排放核查的科学性、公平性很大程度上决定了碳市场发展的深度和广度。通过研究发现,在碳核查机构角色扮演、核查机构数量、核查人员能力、核查指南、核查标准、核查费用来源、核查监管体系及碳交易立法等方面还存在一定不足。为此,核查机构要做好角色转换,逐步强化咨询服务功能;建立核查机构退出机制,规范市场秩序,提升核查业务能力;完善和出台《全国碳排放权交易的第三方核查指南》,夯实碳排放监测核算基础;加快组建碳核查行业协会,搭建核查机构间的交流平台,统筹完善核查监管体系;加快建立和完善以《碳排放权交易管理条例》为核心的法律体系,建立健全政策保障体系。     

一种提高二级气象检定自动化程度的方案

介绍了一种能够提高二级气象仪器检定自动化程度的方案及其软硬件的研制方法。该方案在现有二级气象仪器检定系统的基础上通过自行设计硬件和开发软件系统，采用Windows下串行通讯技术实现部分数据的实时自动录入，自动进行数据处理，并建立了检定数据库，能够对五种地面气象仪器进行检定控制及结果查询。该方案不仅达到了二级气象检定自动化程度和总体效率的目的，而且符合检定的未来发展趋势，具有较高的实用价值。     

CPU系统级验证平台的研究与实现

随着CPU设计尺寸和设计复杂度的不断增加，功能验证已经成为整个设计过程中的严重瓶颈，文章回顾了系统级验证的一些技术，针对我们设计的64位CPU系统级验证，设计了CPU系统级自动化验证平台．实用表明，该平台简化了验证流程，提高了验证效率．     

注册会计师如何规避验资风险

介绍了验资及验资风险的概念及防范验资风险的意义,阐述了验资风险产生的原因,提出了验资风险的防范措施。     

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

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

数字式汽车衡检定分析

论述了数字式汽车衡的首次检定、后续检定和使用中的检验,进行了检定前的分析,详细阐述了电子汽车衡各称量点的检定及计算。     

数控铣削程序图形验证技术国内外研究现状

从数控铣削程序的图形验证技术入手,以国外数控铣削程序的几何与物理验证技术、国内数控程序的图形验证技术为视角,较全面地对该项技术的发展历史与研究现状进行了阐述,并分析了其优缺点和发展趋势.