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

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

基于JS和正则表达式的客户端数据验证方法研究

介绍了数据验证的含义和重要性,通过对传统服务器端数据验证方式及其弊端的分析,以及对客户端数据验证可行性分析,给出了基于JS和正则表达式的客户端数据验证方法及其组成,同时说明了客户端数据验证方式的局限性并提出客户端验证和服务器端验证相结合的解决方法.     

时间自动机与信号自动机的互模拟算法

基于时间自动机的验证工具已被广泛应用于实时系统模型验证。信号自动机为一类实时系统建立了比时间自动机更适合的模型,但是它还不能用于实际的实时系统模型验证,因为没有验证算法可用。把信号自动机验证问题归约到了时间自动机验证问题：证明了两种自动机具有相同的识别语言能力,证明了二者具有双向模拟关系,并在此基础上提出了线性的互模拟算法。把互模拟算法和已有的时间自动机验证算法结合起来,就得到了信号自动机的验证算法,从而解决了对信号自动机模型的验证问题。     

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

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

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

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

FDA的高压灭菌器验证方法的讨论

文章对高压灭菌器在FDA认证中的验证方法进行了讨论,具体提出了验证方法和验证要求,并提出具体验证报告的编写过程。     

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

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

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

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

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

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

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

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

DT整环的研究

引入了DT整环的概念,证明了当R是v-凝聚环时,如果R是DT整环,那么R的局部化也是DT整环,以及其它几种等价情况.在拉回图的情况下,研究了DT整环与某些特殊整环的一些关系,并讨论了在拉回图中环R,D,T间的关系.通过例子给出了DT整环与DW整环和TW整环之间的联系.     

复流形上的CR-子流形

利用不变形式的方法对复流形上的CR-子流形进行了一定的研究，首先考虑外围空间是复空间型的情形，得到了子流形是平坦流形或CR-乘积的条件，进一步考虑外围流形为更一般的不定复空间型，得到了它的子流形是全纯子流形和类空全纯子流形的条件。     

Barrer的一个排队模型的进一步研究

本文进一步研究Barrer的一个排队模型,首先证明该模型的主算子是dispecsive算子,然后将 此结果与已有结果结合得到核算子生成一个正压缩C0-半群,由此推出该模型存在唯一的概率态解,第三步证明0是此主算子的主因子算子的代数贡数为1的特征值,最后此结果与已有结果合并后得到该模型的时间依赖解强收敛于该模型的稳太解.     

λ-演算的一种扩充

对任一固定的集合ＡＮ（Ｎ表示自然数集）,本文定义了λ－演算的一种扩充λＡ－演算．证明了λＡ－演算具有Ｃｈｕｒｃｈ－Ｒｏｓｓｅｒ性质,从而是协调的．并证明了λＡ－可定义全函数与Ａ－递归函数是等价的．     

Hilbert空间中广义变分不等式的近似-似投影算法

在Hilbert空间中研究了广义变分不等式解的近似-似投影算法,该算法包含了近似点算法和似投影算法.首先通过近似算法,获得暂时迭代点,然后利用似投影算法将该暂时的迭代点投影到广义变分不等式的可行集上,获得下一步的迭代点.在集值映象为极大单调的条件下,证明了迭代序列的任意弱聚点都是变分不等式的解.最后,在取特殊的似距离泛函的情况下证明了序列具有唯一的弱聚点.     

英语教学中的交际法及需要注意的几个方面

语言是交际的工具。语言教学的最终目的是培养学生的交际能力,但这并不是说可以完全摒弃传统教学法,而是对语法教学提出了更新、更高的要求,即不是机械地操练句型,而是在体现情景的话语中综合运用语法知识。本文在强调交际法教学的重要性的同时,提出了几个需要注意的方面。     

基于熵的非参数估计的音乐声纹提取方法

提出了一种音乐片段的声纹提取方法,通过这种方法可以得到更具有鲁棒性的声纹特征,利用声纹,即使对音乐名称不确定,也能够找到喜欢的音乐。首先对音乐信号进行预处理,得到各分帧序列的各个子带;对于每一个子带,利用Parzen窗函数法估计它的概率分布函数;然后利用信息论中香农公式的相关算法计算它的熵,最后利用差分算法得出它的声纹。结果显示非参数方法比参数方法具有更低的误码率和更好的识别率。由此得出非参数方法抗各种失真的效果更好。     

浅析平等问题的分歧

今天,在平等问题上,我们正遭遇着前所未有的冲突:一方面,面对着现实中的极大不平等,人们呼唤平等,并将之看作现代社会制度所应当追求的价值目标和基础;另一方面,在理论上,关于要不要平等以及要什么样的平等的问题,却存在着严重的分歧,这就使得对平等分歧的思考成为必要。     

素质教育应遵循的基本法则

本文致力于从一般教育现象以及普遍教育理念着手，针对当今素质教育理论探讨中出现的某些简单化趋向，提出素质教育应遵循的三个基本法则：（1）自然法则；（2）认同法则；（3）自由选择法则。     

关于新时期研究生党建工作的思考

新时期研究生党建工作的工作对象、工作体制、工作内容、工作环境都呈现出新的特点。从加强院系党校的建设,开展分层次的教育培训活动;加强党支部的建设,充分发挥基层党支部政治核心作用;加强研究生社团组织建设,将党建工作与校园文化建设紧密结合;加强社会实践活动的开展,开辟党建工作新途径;加强网络建设,开辟党建工作新阵地五个方面对做好新时期研究生党建工作进行了阐述。