北京
金融界2025年4月10日消息，国家知识产权局信息显示，太初（无锡）电子科技有限公司申请一项名为“一种处理器验证方法、装置、设备及介质”的专利，公开号CN 119782171 A，申请日期为2024年12月。
专利摘要显示，本发明公开了一种处理器验证方法、装置、设备及介质。其中，方法包括：通过指令生成组件，根据待验证处理器的验证参数，生成验证测试用例；通过指令模拟器组件，将验证测试用例发送至待验证处理器；通过覆盖率收集组件，收集覆盖率数据，根据覆盖率，确定验证测试用例是否是高价值验证测试用例，得到价值评估结果；覆盖率包括指令覆盖率、代码覆盖率以及功能覆盖率；通过反馈调节组件，对验证参数进行更新；通过输出组件，将覆盖率、价值评估结果以及新的验证参数提供给目标用户。本发明实施例可以自动根据验证参数生成验证测试用例，根据指令覆盖率、代码覆盖率以及功能覆盖率对验证测试用例进行价值评估，提高验证过程的效率和可靠性。
天眼查资料显示，太初（无锡）电子科技有限公司，成立于2019年，位于无锡市，是一家以从事研究和试验发展为主的企业。企业注册资本1890.953328万人民币，实缴资本1418.050526万人民币。通过天眼查大数据分析，太初（无锡）电子科技有限公司共对外投资了4家企业，参与招投标项目7次，财产线索方面有商标信息224条，专利信息150条，此外企业还拥有行政许可9个。
本文源自：金融界
作者：情报员
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
