上海阵量智能科技有限公司刘才齐获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉上海阵量智能科技有限公司申请的专利一种集成电路的验证方法、装置、计算机设备及存储介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN114462338B 。
龙图腾网通过国家知识产权局官网在2026-01-02发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202111435844.5,技术领域涉及:G06F30/3308;该发明授权一种集成电路的验证方法、装置、计算机设备及存储介质是由刘才齐;冷祥纶;李益全;李林鹏;叶婧茹设计研发完成,并于2021-11-29向国家知识产权局提交的专利申请。
本一种集成电路的验证方法、装置、计算机设备及存储介质在说明书摘要公布了:本公开提供了一种集成电路的验证方法及装置,其中该方法包括:基于自动化脚本,执行下述步骤:获取待测试集成电路的寄存器级转换电路RTL代码、以及配置文件;基于所述配置文件中的配置信息对仿真器进行配置,在所述仿真器中生成目标验证环境;在所述目标验证环境中,基于所述RTL代码,对所述待测试集成电路进行仿真,得到所述待测试集成电路的仿真结果;基于所述仿真结果、以及与所述待测试集成电路对应的真实结果,得到所述待测试集成电路的验证结果。本公开实施例通过自动化脚本自动生成目标验证环境,并利用目标验证环境实现对集成电路的验证,因而能够提升验证效率。
本发明授权一种集成电路的验证方法、装置、计算机设备及存储介质在权利要求书中公布了:1.一种集成电路的验证方法,其特征在于,包括: 获取待测试集成电路的寄存器级转换电路RTL代码、以及所述待测试集成电路的原始配置文件; 对所述原始配置文件进行格式转换,得到仿真器能够识别的配置文件; 基于所述配置文件中的配置信息对所述仿真器进行配置,在所述仿真器中生成目标验证环境; 在所述目标验证环境中,基于所述RTL代码,对所述待测试集成电路进行仿真,得到所述待测试集成电路的仿真结果; 基于所述仿真结果、以及与所述待测试集成电路对应的真实结果,得到所述待测试集成电路的验证结果; 所述配置文件包括:与所述待测试集成电路中的多个功能块分别对应的初始化数据文件;所述配置信息包括:对应功能块的激励数据;所述对所述原始配置文件进行格式转换,得到仿真器能够识别的配置文件,包括: 根据所述待测试集成电路中的多个所述功能块分别对应的激励数据、以及所述激励数据在对应功能块中的交织顺序,对原始初始化数据文件进行切分,得到与多个所述功能块分别对应的初始化数据文件;所述激励数据在对应功能块中的交织顺序是指不同激励数据之间的相互转换逻辑、传输逻辑、处理顺序中至少一种。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人上海阵量智能科技有限公司,其通讯地址为:200235 上海市徐汇区永嘉路698号518室;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励