基于多模拟器协同模拟的微处理器验证技术研究

摘要 提出并实现了一种基于Verilog模拟器与C模拟器协同模拟的微处理器验证平台BugFinder.该平台通过SystemVerilog DPI (Direct Programming Interface)和操作系统共享内存机制，将待验证微处理器的RTL模型与GEM5模拟器相连，并自动比较每条指令的运行结果，可以发现深层次的设计错误并快速定位.在实际验证中的应用结果显示，BugFinder平台可以快速定位到大量RTL设计和验证环境中的错误，有效缩短了处理器的验证周期