国防科技大学学报
國防科技大學學報
국방과기대학학보
JOURNAL OF NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY
2011年
4期
80-85
,共6页
刘胜%杨焕荣%陈书明%李勇%侯申
劉勝%楊煥榮%陳書明%李勇%侯申
류성%양환영%진서명%리용%후신
核心数据区%监视%验证%查错
覈心數據區%鑑視%驗證%查錯
핵심수거구%감시%험증%사착
通常商用体系结构模拟器不开源,仿真过程中无法直接获取中间结果.提出了一种基于核心数据区监视的交叉验证方法,可将体系结构模拟器运行过程中核心数据区的变化情况提取出来,用以支持该模拟器与寄存器传输级代码的模拟结果进行交叉比对,快速精确定位两者的执行差异,提高验证人员的查错效率.实验分析和实际应用表明,本方法比传统方法可将查错效率提高一个数量级以上.
通常商用體繫結構模擬器不開源,倣真過程中無法直接穫取中間結果.提齣瞭一種基于覈心數據區鑑視的交扠驗證方法,可將體繫結構模擬器運行過程中覈心數據區的變化情況提取齣來,用以支持該模擬器與寄存器傳輸級代碼的模擬結果進行交扠比對,快速精確定位兩者的執行差異,提高驗證人員的查錯效率.實驗分析和實際應用錶明,本方法比傳統方法可將查錯效率提高一箇數量級以上.
통상상용체계결구모의기불개원,방진과정중무법직접획취중간결과.제출료일충기우핵심수거구감시적교차험증방법,가장체계결구모의기운행과정중핵심수거구적변화정황제취출래,용이지지해모의기여기존기전수급대마적모의결과진행교차비대,쾌속정학정위량자적집행차이,제고험증인원적사착효솔.실험분석화실제응용표명,본방법비전통방법가장사착효솔제고일개수량급이상.
