[发明专利]一种基于RISCV架构的中断验证方法及系统

说明书

本发明涉及中断验证技术领域，具体涉及一种基于RISCV架构的中断验证方法及系统，包括：RTL设计模块，连接状态寄存器，通过对状态寄存器的操作，实现随机注入不同类型的中断以及随机配置产生处理中断特权模式；缓存模块，用于在处理完中断异常后，通过对应的xret指令返回并存放不同的特权模式的指令；检查模块，用于在插入中断的时候，屏蔽check，并且在插入随机中断后，做check的调整；中断信号发生装置，用于与所述RTL设计模块、缓存模块及检查模块进行连接交互。本发明在模块验证阶段，通过force手段验证复杂的中断场景，将中断的验证场景覆盖全面，使得中断的验证更快收敛。

技术领域

本发明涉及中断验证技术领域，具体涉及一种基于RISCV架构的中断验证方法及系统。

背景技术

当前中断具有随机性、多样性及不确定性。基于riscv架构的中断类型就有如下繁多的类型：

Machine mode:machine timer interrupt；machine software interrupt；machine external interrupt；

Supervisor mode:supervisor timer interrupt；supervisor softwareinterrupt；supervisor external interrupt；

User mode:user timer interrupt；user software interrupt；user externalinterrupt；

Hypevisor supervisor mode(no virtual):supervisor guest externalinterrupt；hypervisor guest interrupt(id 0～N多个中断源可配置)；

Hypevisor supervisor mode(virtual):virtual supervisor timerinterrupt；virtual supervisor software interrupt；virtual supervisor externalinterrupt；

Hypevisor user mode(virtual):virtual user timer interrupt；virtualuser software interrupt；virtual user external interrupt；

对于不同类型的中断，能处理的特权模式还有所差异：用virtual supervisortimer interrupt举例如下：

如果当前的工作模式是Machine mode,则处理中断异常的特权模式可以是Mmode；如果当前的工作模式是supervisor mode,则处理中断异常的特权模式可以是M mode和S mode；如果当前的工作模式是virtual supervisor mode,则处理中断异常的特权模式可以是M mode,S mode和VS mode。

由于中断验证一般都是比较后期才开始，并且基本都是在比较顶层环境进行验证，顶层验证相对较繁琐。在模块化验证中，很难覆盖中断的繁多场景，经常漏bug到软件层次验证中，软件程序相对较庞大复杂，调试相对不直观。

发明内容

针对现有技术的不足，本发明公开了一种基于RISCV架构的中断验证方法及系统，用于解决中断验证一般都是比较后期才开始，并且基本都是在比较顶层环境进行验证，顶层验证相对较繁琐。在模块化验证中，很难覆盖中断的繁多场景，经常漏bug到软件层次验证中，软件程序相对较庞大复杂，调试相对不直观的问题。

本发明通过以下技术方案予以实现：

第一方面，本发明公开一种基于RISCV架构的中断验证系统，包括：