[发明专利]中断随机验证方法、装置、计算机设备及存储介质

说明书

本发明涉及中断随机验证方法、装置、计算机设备及存储介质，该方法包括随机产生符合规定的变量；将变量赋予中断源输出使能寄存器；利用中断源以及中断源输出使能寄存器进行中断测试，获取中断结果；对中断结果进行自动比对，获取验证结果。本发明通过产生随机变量，将随机变量赋值于中断源输出使能寄存器，让所有中断源使能随机打开和关闭，覆盖各种中断场景，采用自动比对技术，能通过中断源以及中断使能寄存器检测中断输出是否正确，且通过中断输出和中断使能寄存器反检测中断源产生是否正确，以正向比对和反向检测达到验证目的，实现减少开发工作量，并使用灵活。

技术领域

本发明涉及芯片中断验证方法，更具体地说是指中断随机验证方法、装置、计算机设备及存储介质。

背景技术

中断是芯片众多功能中一个经常使用的功能。随着芯片规模越来越大，中断设计中中断源越来越多，为了全面覆盖各中断功能是否满足，需要对各条中断路径进行验证。

如图1所示，传统的中断验证采用直接测试用例方式，通过穷举法对各种组合情况进行穷举以达到验证目的，由于中断源越多，这种组合关系越多，造成测试用例越多，开发工作量越大，代码维护也更困难。

因此，有必要设计一种新的中断验证方法，实现减少开发工作量，并使用灵活。

发明内容

本发明的目的在于克服现有技术的缺陷，提供中断随机验证方法、装置、计算机设备及存储介质。

为实现上述目的，本发明采用以下技术方案：中断随机验证方法，所述方法包括：

随机产生符合规定的变量；

将变量赋予中断源输出使能寄存器；

利用中断源以及中断源输出使能寄存器进行中断测试，获取中断结果；

对中断结果进行自动比对，获取验证结果。

其进一步技术方案为：随机产生符合规定的变量的步骤，包括以下具体步骤：

编写class文件；

将中断源输出使能寄存器加入至class文件内，并定义为rand类型；

对class文件进行随机，产生符合规定的变量。

其进一步技术方案为：编写class文件的步骤之后，还包括：

设置class文件随机的随机种子。

其进一步技术方案为：对中断结果进行自动比对，获取验证结果的步骤，包括以下具体步骤：

采用system verilog断言设计自动比对模块；

利用自动比对模块对中断结果进行验证，获取中断源是否会产生相应的中断输出、当中断输出时是否有相应的中断源产生，形成验证结果。

其进一步技术方案为：采用system verilog断言设计自动比对模块的步骤之后还包括：

获取中断源产生后产生中断输出的时钟周期的个数，调整自动比对模块。

本发明还提供了中断随机验证装置，包括变量获取单元、赋值单元、测试单元以及比对单元；

所述变量获取单元，用于随机产生符合规定的变量；

所述赋值单元，用于将变量赋予中断源输出使能寄存器；

所述测试单元，用于利用中断源以及中断源输出使能寄存器进行中断测试，获取中断结果；

所述比对单元，用于对中断结果进行自动比对，获取验证结果。

其进一步技术方案为：所述变量获取单元包括文件编写模块、定义模块以及随机模块；