论文研究图同构的一个充分必要条件.pdf

建立了一种基于硬件加速器FPGA和指令集模拟器ISS对嵌入式系统功能进行软硬件协同验证的方法。针对此方法的实现，分析了协同验证过程中软硬件交互技术，并给出总线功能模型BFM结构及其实现方法。经实例验证分析表明，基于FPGA和ISS的协同验证方法，在对嵌入式应用系统验证中与其他几种常用方法比较具有较明显的优势。