[发明专利]处理器核验证的指令耦合装置、方法、设备及存储介质

权利要求书

1.一种处理器核验证的指令耦合装置，所述处理器核验证的指令耦合装置应用于RISC-V处理器，其特征在于，所述处理器核验证的指令耦合装置包括：配置信息解析器、约束求解器、指令生成器和指令发射器，其中，所述配置信息解析器用于将处理器核中测试用例对应的配置信息解析为对应的第一约束数据；所述约束求解器用于基于所述第一约束数据进行约束求解，确定求解约束的结果，并基于所述第一约束数据生成对应的第二约束数据；所述指令生成器用于基于所述第二约束数据生成对应的耦合指令或非耦合指令；所述指令发射器用于将所述耦合指令或所述非耦合指令发送至驱动器，以及将生成的指令信息反馈至约束求解器。

2.如权利要求1所述的处理器核验证的指令耦合装置，其特征在于，所述测试用例对应的配置信息包括非耦合配置信息和耦合配置信息，所述配置信息解析器包括非耦合配置信息解析器和耦合配置信息解析器，所述指令生成器包括耦合指令生成器和非耦合指令生成器，其中，所述非耦合配置信息包括测试指令的指令数量和指令类型，以及测试模式；所述耦合配置信息包括耦合类型和耦合度；所述非耦合配置信息解析器用于解析所述非耦合配置信息；所述耦合配置信息解析器用于解析所述耦合配置信息；所述耦合指令生成器用于基于所述第二约束数据生成所述耦合指令；所述非耦合指令生成器用于基于所述第二约束数据生成所述非耦合指令。

3.一种处理器核验证的指令耦合方法，其特征在于，所述处理器核验证的指令耦合方法应用于RISC-V处理器，所述处理器核验证的指令耦合方法包括以下步骤：

获取处理器核中测试用例对应的配置信息，基于所述配置信息确定对应的约束数据；

获取基于指令发射器产生的指令信息，基于所述指令信息和所述约束数据确定对应的求解约束数据，并检测所述求解约束数据中是否存在耦合指示；

若检测到所述求解约束数据中存在所述耦合指示，则基于所述求解约束数据生成对应的耦合指令。

4.如权利要求3所述的处理器核验证的指令耦合方法，其特征在于，所述若检测到所述求解约束数据中存在所述耦合指示，则基于所述求解约束数据生成对应的耦合指令的步骤包括：

若检测到所述求解约束数据中存在所述耦合指示，则基于约束求解器将所述求解约束数据生成对应的第一耦合约束数据，并基于所述约束求解器将所述第一耦合约束数据发送至耦合指令生成器；

基于所述耦合指令生成器将所述第一耦合约束数据生成对应的耦合指令。

5.如权利要求3所述的处理器核验证的指令耦合方法，其特征在于，所述获取处理器核中测试用例对应的配置信息，基于所述配置信息确定对应的约束数据的步骤包括：

获取所述处理器核中测试用例对应的配置信息，所述配置信息包括非耦合配置信息和耦合配置信息；

基于非耦合配置信息解析器将所述非耦合配置信息解析为非耦合约束数据，并基于耦合配置信息解析器将所述耦合配置信息解析为第二耦合约束数据；

将所述非耦合约束数据和所述第二耦合约束数据确定为所述约束数据。

6.如权利要求4所述的处理器核验证的指令耦合方法，其特征在于，所述获取基于指令发射器产生的指令信息，基于所述指令信息和所述约束数据确定对应的求解约束数据，并检测所述求解约束数据中是否存在耦合指示的步骤包括：

获取指令发射器在上次循环完成时产生的指令信息，基于约束求解器将所述指令信息和非耦合约束数据和第二耦合约束数据进行约束求解，确定所述求解约束数据；

基于所述约束求解器检测所述求解约束数据中是否存在产生耦合指令的耦合指示。

7.如权利要求3所述的处理器核验证的指令耦合方法，其特征在于，所述获取基于指令发射器产生的指令信息，基于所述指令信息和所述约束数据确定对应的求解约束数据，并检测所述求解约束数据中是否存在耦合指示的步骤之后，还包括：

若检测到所述求解约束数据中不存在所述耦合指示，则基于所述求解约束数据生成对应的非耦合约束数据，并将所述非耦合约束数据发送至非耦合指令生成器；

基于所述非耦合指令生成器将所述非耦合约束数据生成对应的非耦合指令。