层次化验证平台

作品数：7被引量：19H指数：2
导出分析报告
相关领域：电子电信自动化与计算机技术更多>>
相关作者：申敏万超吴英攀庄伟薛可更多>>
相关机构：重庆邮电大学中国航天北京微电子技术研究所中国科学院中国科学院研究生院更多>>
相关期刊：《微电子学与计算机》《电子测试》《电子质量》《微电子学》更多>>
相关基金：国家火炬计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
利用VMM建立基于事务的层次化验证平台被引量：4
《微计算机信息》2010年第11期97-98,21,共3页林健 杨志家 
VMM是一种基于SystemVerilog语言的验证方法学,它通过引入断言、抽象化、自动化与重用这四种机制提高了项目验证的生产率。本文通过一个实例介绍怎样利用VMM建立基于事务的可重用的层次化验证平台。
关键词：验证 VMM 事务 验证平台 
SVA在层次化验证平台中的应用
《电子测试》2009年第5期65-69,共5页李忠孝 申敏 
在越来越复杂的SoC芯片验证开发中,ABV(基于断言的验证)已经成为一种先进且有效的验证方法。SVA(System Verilog断言)是一种基于描述性的验证语言,它作为System Verilog语言的一个子集已成为IEEE1800标准。本文以AMBA APB总线上的IIC总...
关键词：SVA nn压 ABV 断言检查器 IIC控制器 
基于层次化验证平台的存储器控制器功能验证被引量：14
《微电子学与计算机》2009年第2期25-28,共4页吴英攀 于立新 薛可 庄伟 
文中描述了一种基于层次化的验证平台存储器控制器功能验证方法.根据VMM(Verification Methodology Manual)验证方法学构建的一个层次性的验证平台,它易于维护并且具有很好的灵活性和可重用性.文中中的覆盖率模型是采用分类树方法构建....
关键词：VMM 分类树 验证 存储器控制器 
RVM在SoC验证中的应用及覆盖率驱动技术被引量：1
《重庆邮电大学学报（自然科学版）》2007年第5期562-565,共4页万超 申敏 
国家"863"引导项目(2004AA001390);国家"火炬"计划项目(2006GH011409)
介绍了RVM的层次化验证平台的结构,描述了RVM提供的基类和它们相互之间的关系。并且以USB为例,给出了利用RVM搭建模块级验证平台的方法,阐述了基于代码覆盖率和功能覆盖率的覆盖率驱动技术。
关键词：RVM SOC验证 层次化验证平台 覆盖率驱动 
利用RVM搭建可重用SOC验证平台
《微电子学》2007年第5期648-650,655,共4页万超 申敏 
2004年国家"863"引导项目(2004AA001390)课题:TD-SCDMA手机关键技术的研究与应用;2006年国家"火炬"计划项目(2006GH011409)课题:TD-SCDMA(LCR)手机基带芯片和无线模块
介绍了当前SOC验证领域的可重用性策略和RVM层次化验证平台的结构;以USB为例,给出了利用RVM搭建模块级验证平台的方法;阐述了如何使RVM验证平台重用于不同的IP核之间,以及如何把模块级验证平台重用到系统级验证平台上。
关键词：RVM SOC验证 可重用性 层次化验证平台 
遗传算法在层次化验证平台中的应用
《电子质量》2007年第8期20-23,共4页万超 申敏 陈辉 
在当前SoC验证领域中,如何提高验证平台的可靠性和效率是一个迫切需要解决的问题。传统的向量产生方法存在着效率低、覆盖率不高等缺陷。本文介绍了一种基于遗传算法的随机向量产生器。它结合覆盖率驱动技术,能够自动搜索适合于待测模...
关键词：遗传算法 SOC 产生器 层次化验证平台 
通道在层次化验证平台中的应用
《电子测试》2007年第5期4-8,共5页万超 申敏 张亚楠 
2004年国家"863"引导项目(2004AA001390);2006年国家"火炬"计划项目(2006GH011409)
本文首先引入了通道的概念,接着介绍了层次化验证平台的结构,并说明了RVM验证方法学中Channel类的函数及其用法。最后,我们在USB测试平台上给出了一个用通道连接处理器和驱动器的实例。
关键词：SOC 测试平台 层次化 通道 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部