新华三半导体技术有限公司喻志伟获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉新华三半导体技术有限公司申请的专利一种芯片形式化验证方法、装置、电子设备及存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116149916B 。
龙图腾网通过国家知识产权局官网在2026-02-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310139683.8，技术领域涉及：G06F11/22；该发明授权一种芯片形式化验证方法、装置、电子设备及存储介质是由喻志伟;张栗榕;王锋设计研发完成，并于2023-02-20向国家知识产权局提交的专利申请。
本一种芯片形式化验证方法、装置、电子设备及存储介质在说明书摘要公布了：本发明实施例提供了一种芯片形式化验证方法、装置、电子设备及存储介质，涉及芯片测试技术领域，上述方法包括：接收用户输入的文件导入指令，导入用户指示的验证空间参数文件，验证空间参数文件中记录有：以基础空间为树根、以配置空间为树干、以测试空间为树叶构成验证空间树；接收用户输入的空间选择指令，确定用户指示的目标基础空间、目标配置空间与目标测试空间；基于目标基础空间的基础空间参数、目标配置空间的配置空间参数、目标测试空间的测试空间参数共同构建验证空间；基于预设的测试用例，采用所构建的验证空间对芯片进行形式化验证。应用本发明实施例提供的方案能够对芯片进行形式化验证。
本发明授权一种芯片形式化验证方法、装置、电子设备及存储介质在权利要求书中公布了：1.一种芯片形式化验证方法，其特征在于，所述方法包括： 根据文件导入指令导入验证空间参数文件，其中，所述验证空间参数文件中记录有：基础空间的基础空间参数、配置空间的配置空间参数与测试空间的测试空间参数，以所述基础空间为树根、以所述配置空间为树干、以所述测试空间为树叶构成验证空间树；所述基础空间参数为所有验证场景包含的参数的交集，各个验证场景独有的参数分别记录于各个不同的测试空间中，每一配置空间的配置空间参数为：除所述基础空间参数之外、该配置空间连接的测试空间对应的验证场景共同包含的参数； 获得空间选择指令，从所述验证空间参数文件记录的验证空间树中确定所述空间选择指令指示的目标基础空间、目标配置空间与目标测试空间； 基于所述目标基础空间的基础空间参数、目标配置空间的配置空间参数、目标测试空间的测试空间参数共同构建验证空间； 基于预设的测试用例，采用所构建的验证空间对芯片进行形式化验证。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人新华三半导体技术有限公司，其通讯地址为：610213 四川省成都市中国(四川)自由贸易试验区成都高新区和乐二街150号C6栋3层；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励