| 一种基于核心数据区监视的交叉验证方法 |
| |
| 引用本文： | 刘胜,杨焕荣,陈书明,李勇,侯申.一种基于核心数据区监视的交叉验证方法[J].国防科技大学学报,2011,33(4):80-85. |
| |
| 作者姓名： | 刘胜 杨焕荣 陈书明 李勇 侯申 |
| |
| 作者单位： | 1. 国防科技大学计算机学院,湖南长沙,410073
2. 西安通信学院电子工程系,陕西西安,710106 |
| |
| 基金项目： | “核高基”重大专门项目(2009ZX01034-001-001-006); 国家自然科学基金项目(61070036); 国家863计划基金项目(2009AA011704) |
| |
| 摘 要： | 通常商用体系结构模拟器不开源,仿真过程中无法直接获取中间结果.提出了一种基于核心数据区监视的交叉验证方法,可将体系结构模拟器运行过程中核心数据区的变化情况提取出来,用以支持该模拟器与寄存器传输级代码的模拟结果进行交叉比对,快速精确定位两者的执行差异,提高验证人员的查错效率.实验分析和实际应用表明,本方法比传统方法可将查...
|
| 关 键 词： | 核心数据区 监视 验证 查错 |
| 收稿时间： | 2010/11/8 0:00:00 |
A Cross-verification Method Based on the Key Data Region Monitoring |
| |
| LIU Sheng,YANG Han-rong,CHEN Shu-ming,LI Yong,HOU Shen.A Cross-verification Method Based on the Key Data Region Monitoring[J].Journal of National University of Defense Technology,2011,33(4):80-85. |
| |
| Authors: | LIU Sheng YANG Han-rong CHEN Shu-ming LI Yong HOU Shen |
| |
| Institution: | LIU Sheng1,YANG Han-rong1,CHEN Shu-ming1,LI Yong1,HOU Shen2(1.College of Computer,National Univ.of Defense Technology,Changsha 410073,China,2.Department of Electronic Engineering,School of Xi'an Communications,Xi'an 71006,China) |
| |
| Abstract: | Usually the intermediate results can hardly be obtained in the simulation process from the business architecture(ARC) simulator since its source is non-open.A method based on key data region monitoring was proposed to distill the value in the key region of ARC simulator automatically when it is running.In this way,the results from ARC simulator and RTL simulator can be cross-checked to help the verification engineer debugging the RTL codes quickly and efficiently.Compared with the traditional method,it can ... |
| |
| Keywords: | key data region verification error checking |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
| 点击此处可从《国防科技大学学报》下载免费的PDF全文 |
|
