龙芯中科申请处理器随机验证程序生成专利，提升微处理器验证效率

　　2025年1月24日消息，国家知识产权局信息显示，龙芯中科技术股份有限公司申请一项名为“处理器随机验证程序生成方法、装置、设备及存储介质”的专利，公开号CN 119336387 A，申请日期为2023年7月。

　　专利摘要显示，本发明实施例提供了一种处理器随机验证程序生成方法、装置、设备及存储介质，包括：针对循环指令序列中被循环执行时可能产生不可预测的执行结果的目标指令，生成目标处理指令；将目标处理指令插入循环指令序列中的指定位置；目标处理指令用于在每次循环执行过程中，目标指令被执行前，对目标指令的源寄存器中的操作数进行处理，使目标指令在该次循环过程中产生可预测的执行结果。这样，使得目标指令在循环指令序列中的执行结果可预测，无需避免在指令序列中出现执行结果无法预测的指令，丰富了循环指令序列中的指令类型，有利于提升微处理器的验证效率，提高了随机验证程序的质量以及功能验证覆盖率的收敛速度。