论文部分内容阅读
为满足处理器中JTAG控制逻辑的功能验证需求,本文提出一种基于指令集模拟器的软硬件协同验证方案,通过考察JTAG调试器的功能正确性,间接实现对JTAG控制逻辑的验证。对调试器功能进行了合理的抽象,分析了对指令集模拟器仿真精度的要求并给出了适用的时钟模型。在Linux下实现该验证系统,实际应用证明该方案能够满足JTAG控制逻辑功能验证的需求,并且也是对处理器内核验证的一种补充。