引用本文: | 刘胜,杨焕荣,陈书明,等.一种基于核心数据区监视的交叉验证方法[J].国防科技大学学报,2011,33(4):80-85.[点击复制] |
LIU Sheng,YANG Huanrong,CHEN Shuming,et al.A Cross-verification Method Based on the Key Data Region Monitoring[J].Journal of National University of Defense Technology,2011,33(4):80-85[点击复制] |
|
|
|
本文已被:浏览 6491次 下载 5206次 |
一种基于核心数据区监视的交叉验证方法 |
刘胜1, 杨焕荣1, 陈书明1, 李勇1, 侯申2 |
(1.国防科技大学 计算机学院, 湖南 长沙 410073;2.西安通信学院 电子工程系,陕西 西安 710106)
|
摘要: |
通常商用体系结构模拟器不开源,仿真过程中无法直接获取中间结果。提出了一种基于核心数据区监视的交叉验证方法,可将体系结构模拟器运行过程中核心数据区的变化情况提取出来,用以支持该模拟器与寄存器传输级代码的模拟结果进行交叉比对,快速精确定位两者的执行差异,提高验证人员的查错效率。实验分析和实际应用表明,本方法比传统方法可将查错效率提高一个数量级以上。 |
关键词: 核心数据区 监视 验证 查错 |
DOI: |
投稿日期:2010-11-08 |
基金项目:“核高基”重大专门项目(2009ZX01034-001-001-006);国家自然科学基金项目(61070036);国家863计划基金项目(2009AA011704) |
|
A Cross-verification Method Based on the Key Data Region Monitoring |
LIU Sheng1, YANG Huanrong1, CHEN Shuming1, 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 710106, 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 speed up the error checking by one order of magnitude according to the experiment and real chip design. |
Keywords: key data region verification error checking |
|
|
|
|
|