随着IC设计自动化程度的提高和芯片集成度的上升,验证工作的复杂度和工作量呈指数趋势上升。系统实现部分的RTI代码每多一倍,验证的工作量往往要增加到四倍甚至更大。传统验证方法的很多劣势在当前大规模的DSP处理器的验证中凸现出来本,如何提高验证效率和节省验证代价成为一个新的挑战。 本文提出了两级平台的验证方法,用BFM模型搭建验证平台对每个模块进行独立的验证,系统集成后用C++语言建立ISA参考模型验证整个DSP核,测试矢量同时激励参考模型和RTL代码,通过比较两者的输出结果来定位故障,达到快速验证排错和故障定位的目标。本验证方案成功应用于在浙江大学和中天微系统有限公司合作开发的拥有自主知识产权的媒体DSP处理器Spock的设计中,提高了验证自动化及标准化水平,缩短了设计过程中验证的时间。该验证平台有良好的可重用性,为DSP开发提供了一套通用的验证环境和验证方法。 本文还介绍了一种基于JTAG协议的嵌入式DSP处理器的集成仿真调试器的设计方法。该调试器中嵌入了ISS仿真器,同时具有软件调试和硬件调试的功能。指令的硬件执行和软件仿真同时进行,可以对硬件运行结果进行实时检验,实现了软硬件协同调试,大大提高了调试效率。为了提高调试模式下写存储器的速度,调试器采用了硬件辅助下载的方法。该调试工具应用于DSP核Spock中,加速了调试进程,有良好的参考价值。