[发明专利]基于计算单元的验证方法及验证平台

权利要求书

1.一种基于计算单元的验证方法，其特征在于，包括：

获取待验证指令；

根据所述待验证指令，对虚拟序列库中的操作码序列、操作数序列以及寄存器序列进行调用，以构建验证激励；

利用监测器捕获所述验证激励，并将所述验证激励送入参考模型；

利用计分板对所述监测器收集的计算单元处理结果以及所述参考模型的输出结果进行比较核对，以得到验证结果；

其中，所述根据所述待验证指令，对虚拟序列库中的操作码序列、操作数序列以及寄存器序列进行调用，以构建验证激励，包括：

基于所述待验证指令进行功能场景组合到虚拟序列库；其中，所述虚拟序列库包括对应于至少两种类型的计算单元的序列；

利用测试用例库在所述虚拟序列库中确定所述操作码序列、所述操作数序列以及所述寄存器序列的调用，以得到对应于所述待验证指令的验证激励。

2.根据权利要求1所述的方法，其特征在于，还包括：

获取功能场景构建参数，所述功能场景构建参数包括指令编号、操作数类型及个数；

其中，所述基于所述待验证指令进行功能场景组合到虚拟序列库，包括：

利用所述指令编号从指令操作码序列库中定向选取具体指令序列；

利用所述操作数及个数选取随机操作数；

利用所述待验证指令对应的计算单元的宏定义从寄存器序列库中确定具体的输入寄存器；

利用所述具体指令序列、所述随机操作数以及所述具体的输入寄存器构建所述功能场景。

3.根据权利要求1所述的方法，其特征在于，还包括：

获取指令操作数、立即数和寄存器值；

利用所述指令操作数、所述立即数以及所述寄存器值构建所述功能场景。

4.根据权利要求1-3中任一项所述的方法，其特征在于，所述根据所述待验证指令，对操作码序列、操作数序列以及寄存器序列进行调用，以构建验证激励的步骤之前，还包括：

对所述待验证指令中的参数进行约束，所述参数包括操作数。

5.根据权利要求1所述的方法，其特征在于，所述参考模型与所述待验证指令对应的计算单元一一对应。

6.根据权利要求5所述的方法，其特征在于，所述参考模型采用C语言实现。

7.一种基于计算单元的验证装置，其特征在于，包括：

获取模块，用于获取待验证指令；

构建模块，用于根据所述待验证指令，对虚拟序列库中的操作码序列、操作数序列以及寄存器序列进行调用，以构建验证激励；

捕获模块，利用监测器捕获所述验证激励，并将所述验证激励送入参考模型；

比较模块，利用计分板对所述监测器以及所述参考模型的输出结果进行比较核对，以得到验证结果；

其中，所述根据所述待验证指令，对虚拟序列库中的操作码序列、操作数序列以及寄存器序列进行调用，以构建验证激励，包括：

基于所述待验证指令进行功能场景组合到虚拟序列库；其中，所述虚拟序列库包括对应于至少两种类型的计算单元的序列；

利用测试用例库在所述虚拟序列库中确定所述操作码序列、所述操作数序列以及所述寄存器序列的调用，以得到对应于所述待验证指令的验证激励。

8.一种验证平台，其特征在于，包括：

存储器和处理器，所述存储器和所述处理器之间互相通信连接，所述存储器中存储有计算机指令，所述处理器通过执行所述计算机指令，从而执行权利要求1-6中任一项所述的基于计算单元的验证方法。

9.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质存储有计算机指令，所述计算机指令用于使所述计算机执行权利要求1-6中任一项所述的基于计算单元的验证方法。