基于FPGA的SoC/IP验证平台的应用

基于FPGA的验证平台能够缩短SoC芯片的开发时间,提高验证工作的可靠性,并具有可重用性。利用Xilinx公司的FPGA作为一个基于标准总线连接的IP模块验证平台,并将待验证IP模块综合后下载于FPGA中,通过软硬件协同验证的方法,验证了待测IP模块的正确性。通过介绍SPI模块的验证方法,给出了基于FPGA的SoC/IP验证的软件设计思路。     

基于UVM的高效SOC验证环境

SOC(system on chip)的复杂度和尺寸不断增加,且很多验证工程师协同工作,验证的模块各不相同,因此迫切需要一种有效的结构化验证环境.本文给出了UVM(universal verification methodology)验证方法学的参考验证平台,包括目录的设置,接口和寄存器指针等关键技术.该标准化的验证平台可以使得许多工程师协同工作,IP模块可以在顶层验证中得到重用;并且缺少验证技术的硬件工程师可以编写直接测试例来验证硬件功能.总之,该平台提高了验证效率,缩短了SOC设计周期,有利于SOC的面市.     

基于System Verilog的航空电子组件验证平台的搭建

针对航空领域传统的功能验证方法验证效率低、完备性差等问题,本文介绍了基于System Verilog的先进的功能验证方法学,并且详细阐述了搭建验证平台的方法。最后以航空无线电管理面板的ARINC模块为例,搭建了分层验证平台,并给出了功能覆盖率结果。结果表明方法可用性与完备性,基于System Verilog的先进的功能验证方法学对于未来航空电子组件验证具有重要意义。     

基于RVM的I2C总线控制器的验证

首先简述验证的基本概念,然后介绍模拟验证的关键技术和RVM方法学,最后阐述IIC总线协议,并通过RVM方法学搭建验证平台对IIC控制器进行验证.     

基于RVM的12C总线控制器的验证

首先简述验证的基本概念,然后介绍模拟验证的关键技术和RVM方法学,最后阐述ⅡC总线协议,并通过RVM方法学搭建验证平台对ⅡC控制器进行验证。     

正则表达式在.NET中的数据验证机制研究

微软的.NET框架提供了一套完善的编写安全代码的技术,其中包括功能强大的正则表达式。正则表达式能够有效地实现数字验证、字符串验证、数字和字符串混合验证、HTML处理等各个方面的数据验证。深入地分析了.NET中正则表达式进行数据验证的原理和机制,给出了在MVC设计模式中分层实现数据验证的设计策略。     

基于RVM的随机测试例技术应用

首先介绍随机测试方法以及随机测试方法在大规模芯片验证中的优越性,然后简介RVM验证方法学,并通过CIF(Camera Interface)重点讨论如何利用随机测试方法进行模块功能的验证,实现对CIF模块功能验证的完备性。     

基于断言的nandflash功能验证

在目前功能性睦证技术中通常使用的是基于约束的随机测试。这只是解决了验证测试平台中的输入激励问题,但存在难以定位错误的缺点,在本文中把断言技术运用在基于约束的随机测试层次化（rvm）设计平台中。通过实时监控待验证的模块的接口信号,增强了debug能力;减小了验证工作量,并且以nandflash接口模块为例,用实际的验证表明可以缩短验证的时间,加快验证的进度。     

一种基于Petri网的模型调度方法

针对软件模型的时间约束能力不强以及形式化验证复杂的问题,本文提出一种基于Petri网的形式化模型调度方法,从时间层次上对模型的合理性进行验证与分析.该方法通过构建系统领域模型到Petri网模型的转换规则,利用Petri网的分析验证技术,实现对软件模型的正确性验证,解决了系统建模时存在的问题.应用实例和实验结果验证了该方...     

发达国家概念验证计划及概念验证中心研究

为填平基础研究成果与可市场化成果之间的间隙,欧盟、新加坡、美国在全球率先实施概念验证计划,支持研究型大学建立概念验证中心,推动基础研究成果进一步开展技术可行性、商业可行性等研究,减少基础研究成果转化的风险和不确定性。主要分析欧洲研究理事会概念验证计划、新加坡概念验证资助计划以及美国研究型大学概念验证中心建设经验,并提出推动我国基础研究成果转化的对策建议。     

总有机碳(TOC)在注射液清洁验证中的应用

目的:考察总有机碳(TOC)在硫酸依替米星氯化钠注射液清洁验证中的适用性。方法:通过对检测方法的灵敏度和可操作性等方面的比较,筛选不同的检测方法,最终选择TOC法进行硫酸依替米星氯化钠注射液清洁验证残留物的检测。对方法检测限、线性、精密度、准确度进行验证,并进行三批产品清洁验证样品检测。结果:总有机碳分析方法验证的检测限、线性、精密度、准确度均符合要求,在实际应用中方便快捷。三批清洁验证样品的检测结果低于规定的允许残留值。结论:总有机碳(TOC)检测适用于硫酸依替米星氯化钠注射液的清洁验证检测。     

机载软件适航验证技术现状及展望研究

机载软件具有实时性、高可靠性、嵌入式的特点。软件的特殊性,给机载软件验证带来了严峻的挑战。本文首先研究了软件验证现状以及软件测试、评审方法,最后对目前软件适航验证的前沿技术进行了探索。它对于机载软件适航验证研究具有一定的借鉴意义。     

北安至五大连池铁路桥涵小流域暴雨径流验证计算浅析

主要叙述了北安至五大连池铁路桥涵小径流暴雨验证计算过程,着重叙述了小流域暴雨径流验证公式的选取和引用。通过验证比较,确定了本线小流域流量计算公式。     

浅谈能力验证工作经验

能力验证可以为实验室提供一个用以监控和提升正常分析监测质量的工具,其结果直接关系到实验室的监测工作能否继续进行。因此,能力验证工作对每个实验室都具有非常重要的意义。本文总结了能力验证工作中的一些经验,以期对能力验证参加者提供一些有益的帮助。     

ASP.NET数据验证机制研究

数据验证是Web程序设计的重要环节,本文针对ASP.NET中验证控件的使用方法进行详细阐述,并结合实例说明在ASP.NET中数据验证的方便性与灵活性.     

种植业产品重金属能力验证技巧

<正>能力验证是利用实验室间比对,按照预先制定的准则评价参与者的能力。能力验证是监管机构和客户评定检测实验室能力主要依据之一,也是检测实验室自我评定的重要手段,是评价实验室内部质量管理有效性的最直观的方法之一。监管机构要求检测机构应参加其要求的能力验证或检验检测机构间比对,监管机构会根据能力验证结果对检测机构作出或监管分级或保留、取消资质等的处理。因此,检验检测机构应高度重视能力验证,确保能力验证顺利通过。     

基于大型飞机的综合处理机综合验证系统研究

综合处理机综合验证系统为综合处理机的综合测试和演示验证提供支持平台,文章介绍了基于大型飞机的综合处理机综合验证系统的实现。综合处理机作为航电系统的核心,在航电系统综合前对其先进行充分的综合测试验证,这将为航电系统的综合打下坚实的基础。     

冻干工艺和设备验证的研究

冻干工艺和设备验证存在不重视设计确认;缺乏效力的确认;确认代替工艺验证;灭菌验证达标等问题。本文对冻干工艺和设备验证进行综述。     

验证型实验的数据分析处理方法探讨

本文以大学物理实验中典型的验证型实验一牛顿第二定律的验证实验为例,讨论了验证型物理实验中的数学处理方法,得出该类实验中,数学处理方法不但要得出所验证的物理规律的数学式,而且更重要的是要通过计算物理量的相关系数确证该数学式所确立的物理规律成立。     

电子设备BIT验证技术研究

简要分析了对电子设备中的BIT系统进行技术验证的必要性,比较了目前应用较普遍的几种验证技术,指出基于后驱动技术的故障注入方法是BIT验证技术中的一个重要的发展方向。