微处理器验证

作品数：10被引量：11H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王朋宇沈海华陈云霁樊晓桠顾瑜更多>>
相关机构：中国科学院国防科学技术大学西北工业大学浙江大学更多>>
相关期刊：《科学技术与工程》《计算机工程与应用》《微电子学与计算机》《微处理机》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划北京市自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于多模拟器协同模拟的微处理器验证技术研究
《小型微型计算机系统》2015年第9期2130-2134,共5页宋慧静 赵天磊 吴虎成 张民选 
国家自然科学基金项目(61202125)资助
提出并实现了一种基于Verilog模拟器与C模拟器协同模拟的微处理器验证平台Bug Finder.该平台通过System Verilog DPI(Direct Programming Interface)和操作系统共享内存机制,将待验证微处理器的RTL模型与GEM5模拟器相连,并自动比较每条...
关键词：微处理器验证 GEM5 SYSTEMVERILOG DPI 协同模拟 快速定位错误 
基于OVM的32位微处理器验证被引量：1
《微计算机信息》2012年第6期119-122,48,共5页吴勇昊 毕卓 
硬件描述与验证语言System Verilog可以克服传统仿真验证方法的缺陷,使验证平台的搭建更加灵活,可重用性更强。开放验证方法学(Open Verification Methodology,OVM)是一个在验证环境中使用System Verilog对数字硬件进行功能验证的框架。...
关键词：IC验证 SYSTEM VERILOG OVM 微处理器 
一种基于PLI和Simics的微处理器协同验证平台
《微电子学与计算机》2010年第11期162-165,共4页周文涛 樊晓桠 黄小平 
国家自然科学基金项目(60773223)
面向微处理器验证,构建了一种基于Verilog PLI和Simics模拟器的微处理器验证平台.该平台通过Ver-ilog PLI,利用设计的控制模块将待测微处理器设计模型与Simics模拟器相连,协同自动化比较运行结果.该平台应用在龙腾R处理器的验证中.结果...
关键词：微处理器验证 VERILOG PLI SIMICS 
一种面向微处理器验证的分层随机激励方法被引量：7
《计算机应用研究》2010年第4期1284-1288,共5页张欣 黄凯 孟建熠 殷燎 严晓浪 葛海通 
国家"863"高技术研究发展计划资助项目(2004AA1Z1020)
针对日趋复杂的微处理器功能验证,提出一种基于分层思想的受限随机激励产生方法,通过测试层、场景层、功能层和指令层的多层约束,实现随机激励在不同粒度范围的高度可控性,精炼测试空间,加快验证的收敛速度。采用可配置的功能库,将处理...
关键词：分层 随机 激励 微处理器 功能 验证 约束 
使用支持向量机的微处理器验证向量优化方法被引量：1
《高技术通讯》2010年第1期68-74,共7页王朋宇 郭崎 沈海华 陈云霁 张珩 
国家自然科学基金(60603049,60673146);863计划(2007AA01Z112,2008AA110901);973计划(2005CB321600);北京市自然科学基金(4072024)资助项目
为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。...
关键词：支持向量机(SVM) 功能覆盖率模型 微处理器验证 仿真验证 验证向量优化 
一种基于图模型提高代码覆盖率的验证方法
《微处理机》2008年第6期46-48,共3页刘卫华 喻明艳 王进祥 
随着微处理器复杂度的不断提高,用全功能验证方法将花费大量的计算资源和时间。提出一种基于图模型的验证方法,首先利用功能抽象的方法得出微处理器的图模型,然后由基于图模型功能覆盖的代码生成算法生成验证代码。我们将这种方法应用...
关键词：微处理器验证 图模型 功能覆盖 代码覆盖率 
基于动态伪随机技术的微处理器验证被引量：3
《计算机应用研究》2008年第6期1704-1706,共3页吴列治 张盛兵 沈绪榜 
国家自然科学基金资助项目(60573107)
通过分析现有微处理器验证方案的不足,提出了一种以功能覆盖率为参考条件的动态伪随机验证方法。实验结果表明,与传统验证手段相比,该方法在仿真时间相同的情况下,条件覆盖率平均提高了13%;在测试指令数目相同的情况下,条件覆盖率平均...
关键词：微处理器 动态伪随机 验证 功能覆盖率 
使用Simics模拟器辅助微处理器验证被引量：1
《科学技术与工程》2008年第7期1847-1850,1855,共5页吴松林 樊晓桠 安建峰 
国家自然科学基金(60573143;60573107)资助
在微处理器功能验证中,仿真激励生成和复杂仿真环境构建经常耗费大量的时间。提出一种基于Simics模拟器的验证平台VMSIM,并介绍这种平台在龙腾C2486兼容处理器上的应用。使用VMSIM可以在软件仿真环境中,构造真实的操作系统运行环境,可...
关键词：微处理器 龙腾C2 SIMICS 验证 仿真 
面向微处理器验证的约束描述语言及其编译器
《计算机工程与应用》2005年第19期83-86,136,共5页朱丹 冷彪 李暾 梁磊 郭阳 李思昆 
该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验...
关键词：体系结构描述语言 约束满足问题 约束描述语言 
基于指令分解的微处理器验证与RTL级错误定位
《计算机工程与科学》2005年第5期97-100,共4页沈胜宇 李思昆 
国家自然科学基金资助项目(90207019)国家863计划资助项目(2002AA1Z1480)
本文提出并实现了一种新的基于指令分解的微处理器验证与RTL级错误定位方法。该方法从指令集模拟器的模拟结果中将指令分解为功能单元上的操作序列,并且输入和输出数据。将该结果与RTL模型的模拟结果比较,使RTL级错误定位精确到功能单...
关键词：微处理器 指令分解 动态模拟 控制电路 指令集模拟器 RTL级错误定位方法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部