一种基于核心数据区监视的交叉验证方法

• 作者: 侯申 刘胜 李勇 杨焕荣 陈书明
• 来源期刊: 国防科技大学学报
• 学科: 工学
• 关键词: 核心数据区 监视 验证 查错
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 电子工程·计算机工程
• 页码范围: 80-85
• 分类号: TP302.2
• 字数: 5929字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2486.2011.04.016

摘要

通常商用体系结构模拟器不开源,仿真过程中无法直接获取中间结果.提出了一种基于核心数据区监视的交叉验证方法,可将体系结构模拟器运行过程中核心数据区的变化情况提取出来,用以支持该模拟器与寄存器传输级代码的模拟结果进行交叉比对,快速精确定位两者的执行差异,提高验证人员的查错效率.实验分析和实际应用表明,本方法比传统方法可将查错效率提高一个数量级以上.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈书明	国防科技大学计算机学院	65	467	11.0	18.0
2	侯申	西安通信学院电子工程系	8	4	1.0	1.0
3	李勇	国防科技大学计算机学院	26	900	10.0	26.0
4	刘胜	国防科技大学计算机学院	13	38	3.0	5.0
5	杨焕荣	国防科技大学计算机学院	1	0	0.0	0.0