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