CAJ | 학술논문

模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模策略为处理器构建抽象设计模型,然后使用模型检验引擎读入该模型并产生测试生成指导规则,最后,随机测试生成器依据指导规则产生大量测试程序作为模拟器输入,完成功能验证工作.以北大众志UniCore32定点处理器核的功能验证为例评估本文方法,结果表明,使用该方法可以快速完成对未覆盖功能点的验证,加速验证收敛.
모의방진방법시당전미처리기공능험증적주요방법,연이재험증공작후기수요모비대량적시간래검험여하복잡적공능점,험증수렴속도완만.침대해문제,본문재복개솔증장완만시,인입결합모형검험인경적측시정서생성방법.해방법수선채용국부건모책략위처리기구건추상설계모형,연후사용모형검험인경독입해모형병산생측시생성지도규칙,최후,수궤측시생성기의거지도규칙산생대량측시정서작위모의기수입,완성공능험증공작.이북대음지UniCore32정점처리기핵적공능험증위례평고본문방법,결과표명,사용해방법가이쾌속완성대미복개공능점적험증,가속험증수렴.