CVA6项目中Spike-Tandem验证环境的DPI功能升级

背景与需求

在CVA6开源处理器项目的验证过程中，Spike-Tandem作为一种重要的协同验证工具，需要与RTL实现保持高度一致。特别是在测试CSR寄存器、中断处理等关键场景时，当前的Spike-Tandem环境存在一些功能限制，无法完全模拟硬件行为。

技术挑战

验证团队识别出几个关键的技术需求点：

1. CSR寄存器访问：需要实现直接访问Spike内部CSR寄存器的能力，包括读写操作，以确保与RTL实现的状态同步。

2. 中断信号处理：Spike需要能够感知外部中断信号的触发与取消，以验证中断处理流程的正确性。

3. 调试信号支持：虽然CV32A65X架构目前不支持调试功能，但验证框架需要预留相关接口。

解决方案

针对上述需求，验证团队提出了通过DPI(直接编程接口)功能扩展的方案：

1. CSR访问DPI函数：

   • 实现了一组专门的DPI函数，允许验证环境直接读写Spike内部的CSR寄存器
   • 考虑到某些寄存器可能不会被Spike主动更新，设计了相应的状态同步机制

2. 中断信号DPI函数：

   • 开发了中断信号更新接口，使Spike能够实时响应外部中断事件
   • 实现了中断优先级和嵌套中断的模拟支持

3. 调试信号预留：

   • 虽然当前架构不需要，但仍保留了调试信号接口的设计空间
   • 为未来可能的调试功能扩展奠定了基础

实现效果

通过上述改进，Spike-Tandem验证环境现在能够：

• 更精确地模拟RTL处理器的状态和行为
• 支持更全面的CSR寄存器测试场景
• 准确验证中断处理流程
• 为未来的功能扩展提供了良好的框架支持

技术价值

这项改进显著提升了CVA6项目的验证质量：

1. 验证覆盖率提升：能够覆盖更多CSR寄存器和中断场景的测试用例
2. 调试效率提高：当RTL与Spike行为不一致时，可以更快速定位问题根源
3. 框架可扩展性：为未来可能的处理器功能扩展预留了验证接口

这项技术改进已通过UVM测试平台的全面验证，成为CVA6项目验证基础设施的重要组成部分。