时间自动机的事务级形式验证

提出了一种形式方法用于验证TLM-2.0的设计方案.该方法中TLM-2.0设计方案将被转换成定时自动机形式模型.定义若干种属性,验证将根据这些属性执行,并引入一种模拟事务级设计方案差错的故障模型来评估这些属性.然后这些属性通过使用形式UPPAAL验证工具在系统的定时自动机表示上针对这些故障被验证.最后通过一个实例研究说明该方法的有效性.     

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

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

运用遗传算法的深亚微米输出缓冲器优化设计方法

分析了小尺寸效应对深亚微米器件性能的影响，结合输入输出耦合电容和漏极扩散层寄生电容对CMOS反相器延迟影响很大的特点，建立了小尺寸器件延时估算模型．采用变尺寸率反相器级连方法，建立了深亚微米输出缓冲器优化设计模型，并运用遗传算法建立了新的优化方法．该方法利用罚函数将小尺寸输出缓冲器优化问题转化为无约束问题，通过适应度函数设计和染色体编码，得到遗传优化结果，克服了传统方法处理非线性多变量问题时存在的效率降低等缺陷．SPICE仿真表明，应用新的深亚微米缓冲器设计模型及方法的优化结果与传统设计比较，延时减少了1个数量级以上，尺寸减小了30%以上，验证了新的深亚微米缓冲器设计模型及设计方法的可靠性．     

基于PSL/Sugar语言的RISC模块验证

由于RISC具有流水线结构和指令多样性的特点．传统的Co-Verification方法使RISC验证工作复杂而艰巨．在用PERI，语言编写产生的随机测试机器码的基础上，利用Accellera组织提出的PSL／Sugar语言．结合Cadence公司的ABV验证工具．探讨了一种新颖的RTL级RISC模块的ABV验证模式．实验证明．该方法简单、快捷、可靠．能保证验证功能覆盖率达到100％．可以节省大量验证工作量．缩短SOC的开发周期．为加快芯片从设计到产品化的过程增加了一道安全的技术保障．     

多变量模糊控制系统的前馈解耦

为实现多变量模糊控制系统的动态解耦，基于前馈解耦思想和神经网络理论，提出了一种多变量模糊控制系统解耦的新方法——模糊前馈解耦法,模糊控制器和解耦部分独立设计，解耦由两层神经网络实现，节点少，其活化函数采用分段线性函数．利用简化的学习算法，根据系统输出误差，在线调整网络权值，从而实现动态解耦而无需辨识被控对象的模型，该方法结构简单且计算量小，适于实时多变量过程控制，仿真证明了该方法的有效性。     

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

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

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

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

多变量终端约束预测控制器及其在挤出机系统中的应用

设计了一种新型的多变量预测控制器．该算法在目标函数中加入了对输出增量的加权，并且增加了对预测值终端的约束，因而增加了系统的稳定性．在拉伸挤出机过程中的应用研究验证了这种方法的优良性能．     

实时事务的可预报性研究

结合ＡＲＴｓ－Ⅰ的研制过程，提出了影响实时事务可预报性的关键因素，给出了一种实时事务的预处理方法．该方法可以获取实时事务对数据库存取行为的有关信息．当事务开始运行时，便可基于这些信息为实现实时事务的可预报性提供有力支持．     

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

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

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

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

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

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

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

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

操作系统形式化验证综述

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

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

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

涉外民商事审判中外国法查明问题探讨

在外国法的查明制度中,有关查明责任的问题,审判实践中可采取一些具体措施而对决定查明责任的外国法性质规定予以“模糊”处理;有关查明途径的问题,应从全方位来扩展查明渠道,只要有质证程序的保障;在不能查明时的补救措施问题上,适用最密切联系原则显然比其他传统做法更为合理。     

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

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

ESD模拟器电流波形校验装置

分析了静电放电模拟器的实验原理,研制成功符合国际电工委员会ＩＥＣ６１０００４－２标准的ＥＳＤ模拟器电流校验系统,该系统的自动采集ＥＳＤ电流波形,计算上升时间、峰值电流、３０ｎｓ时电流、６０ｎｓ时电流等参数,该装置还可广泛应用于其它形式静电放电电流测量和静电放机理研究。     

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

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