%0 Journal Article
%T 基于多模拟器协同模拟的微处理器验证技术研究
%A 吴虎成
%A 宋慧静
%A 张民选
%A 赵天磊
%J 中山大学学报（自然科学版）
%D 2015
%X 摘要 提出并实现了一种基于Verilog模拟器与C模拟器协同模拟的微处理器验证平台BugFinder.该平台通过SystemVerilog DPI (Direct Programming Interface)和操作系统共享内存机制，将待验证微处理器的RTL模型与GEM5模拟器相连，并自动比较每条指令的运行结果，可以发现深层次的设计错误并快速定位.在实际验证中的应用结果显示，BugFinder平台可以快速定位到大量RTL设计和验证环境中的错误，有效缩短了处理器的验证周期
%K 微处理器验证
%K GEM5
%K SystemVerilog DPI
%K 协同模拟
%K 快速定位错误
%U http://xwxt.sict.ac.cn/CN/abstract/abstract3079.shtml