Godson-T众核处理器验证：软硬件协同策略

"本文主要探讨了RISC指令集众核处理器的验证策略和实现方法，以Godson-T众核处理器为例。验证过程中，采用了‘被动式’思想，即处理器核主动执行，验证平台被动调试。同时，利用软硬件协同验证策略，确保每个测试程序的所有指令都能通过比对。在处理器小核的验证中，针对顺序双发射的设计，大部分指令在提交阶段可进行常规验证，通过对比小核与模拟器的执行结果。" 在Godson-T众核处理器的验证策略中，关键点在于处理器核与验证平台之间的协同工作。这种协同验证方法基于“被动式”理念，处理器核主动执行程序，而验证平台则被动地适应并调试，确保处理器核的正确性。这一策略的实施依赖于小核与模拟器同时执行相同的测试程序，并比较它们的执行结果。 对于处理器小核的验证，其采用了顺序双发射设计方案，允许指令乱序执行但顺序提交。在验证过程中，当小核的两条提交总线中有任何一条有效时，测试平台会调用`test_xy_step(x[i],y[i])`函数，使得模拟器中的对应小核执行相同指令。模拟器能够快速执行并返回结果，这些结果可以立即与小核的执行结果进行比较。通过`test_xy_read_pc(x[i],y[i])`函数获取指令的程序计数器（PC）值，以确认两者是否执行了同一指令。如果PC值匹配，就继续验证执行结果是否一致。验证结果的比较涉及FPR（浮点寄存器）、GPR（通用寄存器）、FCC（浮点条件码寄存器）和FCR（浮点控制寄存器）。 为了实现有效的比对，测试平台使用了六个核心函数来获取和比较执行结果。这六个函数根据不同的指令类型和执行状态，调用相应的小核执行结果，并进行对比。通过这种方法，验证平台能够全面覆盖Godson-T众核处理器的指令执行情况，确保其功能正确无误。 总体而言，Godson-T众核处理器的验证策略结合了硬件执行和软件模拟的优势，通过严谨的对比和检查机制，保证了处理器在大规模并发环境下的正确性和可靠性。这种验证方法对于其他RISC指令集的众核处理器设计也具有重要的参考价值。