UVM的JTAG控制器模块验证

本文提出了一种基于IEEE1149.1标准的JTAG控制器模块的验证平台,该平台使用UVM(Universal Verification Methodology)验证方法学。设计了受约束的随机激励和定向激励使得验证更加完备。验证结果表明,已覆盖所有测试点,达到验证目的。随着技术的发展,小小的芯片容纳了大量的门电路,同时验证的要求也越来越高,UVM验证方法学便是在这样的背景下,成为了现今主流的验证方法学。

基于UVM验证方法学的SWP接口模块验证方法

本文提出和实现了一种基于通用验证方法学(Universal Verification Methodology,UVM)的单线协议(SingleWire Protocol,SWP)接口模块验证方法。通过此验证方法实现的验证环境可以对SWP接口模块进行充分验证。具体来讲,通过引入随机激励提高了验证效率,通过添加计分板组件实现了通信数据的自动比对。此外,本方法中层次化的验证组件还可重用到类似的接口模块验证中。

一种用于字节码程序模块化验证的逻辑系统

字节码既是运行于虚拟机的解释指令,也是定义良好的中间表示,是当今网络软件和计算设备中广泛使用的重要技术.字节码验证可以提高相关软件的可信程度,同时为构造证明保持编译器提供中间表示支持,具有重要的实用价值和理论价值.虽然近年提出了一些用于字节码程序的逻辑系统,但由于字节码本身的特点,造成了抽象控制栈复杂、控制流结构信息不足,因而字节码程序的"模块化验证"依然是一个巨大的挑战,并没有得到有效解决.将FPCC(foundationalproof-carryingcode)方法引入中间表示字节码,借鉴汇编程序的验证方法.设计出一种逻辑系统,给出字节码程序运行环境BCM(ByteCodemachine)的逻辑系统CBP(certifyingbytecodeprogram)定义,完成系统的合理性证明和一组代表性实例程序的模块化证明,并实现机器自动检查.该工作为字节码验证提供一种良好的解决方案,同时也向着构造证明保持编译器环境迈出了坚实的一步,还可以为广泛使用的基于虚拟机复杂网络应用程序的深刻理解和深入分析提供理论帮助.

基于Flex的RIA限时登陆验证模块的实现

如今随着网络电子商务的日益繁荣,网络交易的安全问题成为业界一个新的研究课题,而登陆模块作为其中的重要一环,各种登陆模块安全方案随之产生,相较其他技术的网页重复刷新、需重定向;服务器消耗高、网络通信量大等问题,Flex技术作为RIA领域一门新技术,凭借无需刷新、"富前台"、兼容性好等特点逐渐成为开发登陆模块的新兴主流技术。本文将从主要技术分析、限时登陆模块的设计及实现几方面,详细介绍基于Flex技术的RIA限时登陆验证模块的实现。

基于UVM实现APB-I^2C模块的功能验证

APB-I^2C模块是SOC系统中实现APB总线和外围I^2C设备连接通信的重要模块,负责将APB和I^2C的不同的总线协议进行转换,因此对该模块功能正确性的验证有着重要意义。通过应用UVM通用验证方法学搭建了适用于该模块的完整的验证平台和验证环境,建立了APB Master和I^2C的代理作为验证IP与APB-I^2C模块进行通信,通过采用受约束的随机测试激励,能够大量减少验证激励的开发时间,简化了验证流程,提高验证准确性并缩短验证周期。

模块级验证环境在顶层验证中的复用

模块级验证环境在顶层验证中的复用可以有效地提高生产率,利用Synopsys先进的NTB验证语言可以方便地实现验证环境复用。本文介绍了验证环境复用的方法,并通过一个实例说明了验证环境复用的实现细节。

分割图描述的正确性验证

提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。该方法把经过验证的分割图描述自动转换成Ｃ语言程序，在分割图级别上能够比较容易地构造程序模块的验证条件。

字节码虚拟机的构造和验证

提出一种虚拟机构造和验证方案.给出字节码程序运行环境BVM(bytecode virtual machine)的形式化定义;采用X86机器语言构造虚拟机CertVM(certified virtual machine);并证明该虚拟机实现符合相应程序规范并和BVM之间具有模拟关系.利用辅助工具Coq给出证明,所有证明均可机器自动检查.CertVM确保在硬件环境满足其语义规范的情况下,已验证的字节码程序能够在给定虚拟机环境中正常运行.给出的方案不仅为虚拟机验证提供理论基础,而且为可信软件构造提供了一种有益的尝试.

一种基于总线的可重用验证平台研究

提出了一种基于总线的可重用验证平台结构。该结构在传统的模块化和抽象技术的基础上,采用了层次化的片上总线结构,同时引入了参数化的设计方法,使可重用性进一步提高。实验结果表明,使用此方法构建的验证平台,可重用率至少可达60%,验证效率提高约35%。

基于UVM的高效SOC验证环境

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

系统芯片验证平台设计

使用验证平台可以提高验证效率,传统的验证平台是针对特定的待验证模块设计的,不同的设计需要开发不同的验证平台。验证平台的开发既浪费时间,又很难保证验证平台本身100%正确。文中提出了一种系统芯片验证平台开发方法,按该方法开发出的验证平台具有高可重用性、可扩展性、可升级性、可维护性和自动化等功能,提高了验证平台的开发效率,从而提高了验证效率。

Linux中PAM验证体系分析

PAM(插件式鉴别模块)机制是一种灵活可靠的服务验证机制,文章分析了Linux系统中PAM机制的主要构成和基本结构,深入分析了PAM验证机制在Linux系统中的服务验证过程,并结合实例给出修改和控制服务验证过程的基本方法。

基于FPGA的芯片功能性验证自动化实现

针对传统半导体设计流程中对MCU芯片进行功能性验证时涉及到多个芯片之间的互联,手工操作连接十分烦琐且易出现错误,介绍了一种基于FPGA的MCU引脚自动互联的设计与实现。介绍了MCU模块功能性验证自动化实现的概念,从硬件逻辑角度给出了一种解决方法,并且从FPGA模块设计、功能仿真和系统实现等方面,证明了新的测试方法不但降低了人为操作错误的可能性,而且提高了模块功能验证的覆盖率和验证效率,大大缩短了产品的上市时间。

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

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

一种可信虚拟平台底层环境验证方案

分析IBM的vTPM方案缺乏对可信虚拟平台底层环境隐私保护的问题,提出一种具有平台底层隐私保护的底层环境验证方案。改变IBM方案中的物理PCR与vPCR映射关系、远程证明方案,防止上层虚拟机获取底层配置信息;提出可信虚拟平台下的二级远程证明方案;设计可信验证模块,建立底层平台环境完整性、安全策略的静态和动态验证机制。实验结果表明,该方案能够在平台底层隐私保护前提下为用户进行平台底层环境验证,建立用户对底层平台的信任关系。

计算机网络可靠性验证系统设计

针对传统验证系统一直存在验证效率及验证精度低的问题,提出并设计基于双验证模块的计算机网络可靠性验证系统。通过分析用户设备、网络拓扑结构对计算机网络可靠性的影响,给出计算机网络可靠性与可靠度定义,构建基于双验证模块的可靠性验证系统,实现对计算机网络可靠性的验证。实验结果表明,在以验证时延为指标进行计算机网络可靠性验证时,采用改进系统与传统验证系统为对比,其验证时延及效率均要优于传统验证系统,具有一定的优势。

结合覆盖率驱动技术的RVM验证方法学在SOC验证中的应用

本文首先介绍RVM验证方法学和覆盖率驱动技术,然后详细分析如何使用结合覆盖率驱动技术的RVM验证方法学对SOC(SystemOnChip)进行完备的功能验证,最后探讨如何利用此方法学提高验证的效率。

基于Cadence CHI和IVD VIP的多核SoC系统数据一致性验证

在多核的SoC系统中,不同的处理器核对内存空间和设备空间进行着大量的数据读写操作,维护Cache一致性面临严峻挑战。集中于控制流方面的验证环境搭建已非常复杂,而包含数据正确性检查的验证由于控制流程复杂、数据量大等问题而更加困难。针对这一问题,基于Cadence公司提供CHI VIP、AXI VIP和IVD VIP,实现多核环境下的系统级数据一致性验证。搭建的验证平台中采用CHI VIP通过笔者开发的CHI协议转换桥发出访存请求,使用AXI VIP收集到达主存的数据,由IVD VIP对CHI端口的请求数据与AXI端口的访存数据进行实时分析比对,实现在较高抽象层次上的激励产生和响应检查。该验证平台能够在子系统级及系统级进行数据一致性验证,具有验证环境搭建快速和功能点覆盖完备的优点。

基于UVM验证方法学的IIS接口设计的验证

本文基于UVM的模块级验证来自毕业设计项目课题,目标模块是I2S接口控制器,基于平头哥无剑100(Risc-V架构)音频解码Soc的一部分。利用UVM验证方法学,构建一个基本的验证环境,根据模块功能撰写对应的测试激励,使用Mentor Questa进行仿真,对目标模块开展验证工作,根据仿真结果验证模块功能对设计要求与协议规范的适配。验证方法具有的可复用性、互操作性等特性的组件和验证环境,提高了可编程逻辑器件功能验证的效率,为验证人员构建了一个标准、高效、结构化的芯片验证环境,以满足Soc验证的各种要求。

同型号瓦锡兰flex机电子调速器模块通用性分析

回顾船用低速柴油机调速器系统的变化,简要分析当前使用广泛的电子调速器控制原理及柴油机上对调速器指令的执行与信号反馈系统。通过理论分析讨论相同机型的瓦锡兰flex机电子调速器通用性的可能,并试验验证与调速器相关的相关参数在更换调速器模块后的结果及变化,通过试验对比,论证理论分析是否正确。