一种基于核心数据区监视的交叉验证方法
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

“核高基”重大专门项目(2009ZX01034-001-001-006);国家自然科学基金项目(61070036);国家863计划基金项目(2009AA011704)


A Cross-verification Method Based on the Key DataRegion Monitoring
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    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.

    参考文献
    相似文献
    引证文献
引用本文

刘胜,杨焕荣,陈书明,等.一种基于核心数据区监视的交叉验证方法[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.

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2010-11-08
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2012-08-28
  • 出版日期:
文章二维码