金融界2025年1月24日消息，国家知识产权局信息显示，龙芯中科技术股份有限公司申请一项名为“处理器随机验证程序生成方法、装置、设备及存储介质”的专利，公开号CN119336387A，申请日期为2023年7月。
专利摘要显示，本发明实施例提供了一种处理器随机验证程序生成方法、装置、设备及存储介质，包括：针对循环指令序列中被循环执行时可能产生不可预测的执行结果的目标指令，生成目标处理指令；将目标处理指令插入循环指令序列中的指定位置；目标处理指令用于在每次循环执行过程中，目标指令被执行前，对目标指令的源寄存器中的操作数进行处理，使目标指令在该次循环过程中产生可预测的执行结果。这样，使得目标指令在循环指令序列中的执行结果可预测，无需避免在指令序列中出现执行结果无法预测的指令，丰富了循环指令序列中的指令类型，有利于提升微处理器的验证效率，提高了随机验证程序的质量以及功能验证覆盖率的收敛速度。
天眼查资料显示，龙芯中科技术股份有限公司，成立于2008年，位于北京市，是一家以从事计算机、通信和其他电子设备制造业为主的企业。企业注册资本40100万人民币，实缴资本36000万人民币。通过天眼查大数据分析，龙芯中科技术股份有限公司共对外投资了19家企业，参与招投标项目151次，知识产权方面有商标信息337条，专利信息990条，此外企业还拥有行政许可6个。
本文源自：金融界
