摘要
通常商用体系结构模拟器不开源,仿真过程中无法直接获取中间结果。提出了一种基于核心数据区监视的交叉验证方法,可将体系结构模拟器运行过程中核心数据区的变化情况提取出来,用以支持该模拟器与寄存器传输级代码的模拟结果进行交叉比对,快速精确定位两者的执行差异,提高验证人员的查错效率。实验分析和实际应用表明,本方法比传统方法可将查错效率提高一个数量级以上。
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.
出处
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2011年第4期80-85,共6页
Journal of National University of Defense Technology
基金
"核高基"重大专门项目(2009ZX01034-001-001-006)
国家自然科学基金项目(61070036)
国家863计划基金项目(2009AA011704)
关键词
核心数据区
监视
验证
查错
key data region
verification
error checking