|
|||||
|
|
| 一种基于核心数据区监视的交叉验证方法 | |
| 作者姓名： | 刘胜 杨焕荣 陈书明 李勇 侯申 |
| 作者单位： | 1. 国防科技大学计算机学院,湖南长沙,410073 2. 西安通信学院电子工程系,陕西西安,710106 |
| 基金项目： | “核高基”重大专门项目(2009ZX01034-001-001-006); 国家自然科学基金项目(61070036); 国家863计划基金项目(2009AA011704) |
| 摘 要： | 通常商用体系结构模拟器不开源,仿真过程中无法直接获取中间结果.提出了一种基于核心数据区监视的交叉验证方法,可将体系结构模拟器运行过程中核心数据区的变化情况提取出来,用以支持该模拟器与寄存器传输级代码的模拟结果进行交叉比对,快速精确定位两者的执行差异,提高验证人员的查错效率.实验分析和实际应用表明,本方法比传统方法可将查... |
| 关 键 词： | 核心数据区 监视 验证 查错 |
| 收稿时间： | 2010-11-08 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 | |
| 点击此处可从《国防科技大学学报》下载全文 | |