山东云海国创云计算装备产业创新中心有限公司邵海波获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉山东云海国创云计算装备产业创新中心有限公司申请的专利一种芯片最大功耗确定方法、装置、设备及介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN114861580B 。
龙图腾网通过国家知识产权局官网在2025-07-08发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210462108.7,技术领域涉及:G06F30/3323;该发明授权一种芯片最大功耗确定方法、装置、设备及介质是由邵海波;贾晓龙;崔盼设计研发完成,并于2022-04-28向国家知识产权局提交的专利申请。
本一种芯片最大功耗确定方法、装置、设备及介质在说明书摘要公布了:本发明涉及集成电路技术领域,尤其涉及一种芯片最大功耗确定方法、装置、设备及介质。所述方法包括:搭建带有形式验证工具的形式验证环境;在形式验证环境中对目标芯片的RTL级设计代码进行编译以生成门级模型;对门级模型中的各逻辑门进行组合以生成若干逻辑门组合;通过形式验证工具生成与各逻辑门组合对应的断言,并基于断言从所有逻辑门组合中筛选出同时翻转逻辑门最多的逻辑门组合作为目标逻辑门组合,其中断言用以证明逻辑门组合中的所有逻辑门是否能同时翻转;通过形式验证工具为目标逻辑门组合生成波形,并基于目标逻辑门组合的波形确定目标芯片的最大功耗。本发明的方案极大的提高了波形文件的产生效率,节省了大量的人力物力。
本发明授权一种芯片最大功耗确定方法、装置、设备及介质在权利要求书中公布了:1.一种芯片最大功耗确定方法,其特征在于,所述方法包括: 搭建带有形式验证工具的形式验证环境; 在所述形式验证环境中对目标芯片的RTL级设计代码进行编译以生成门级模型; 对所述门级模型中的各逻辑门进行组合以生成若干逻辑门组合; 通过所述形式验证工具生成与各逻辑门组合对应的断言,并基于所述断言从所有逻辑门组合中筛选出同时翻转逻辑门最多的逻辑门组合作为目标逻辑门组合,其中,所述断言用以证明逻辑门组合中的所有逻辑门是否能同时翻转; 通过所述形式验证工具为所述目标逻辑门组合生成波形,并基于所述目标逻辑门组合的波形确定所述目标芯片的最大功耗。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人山东云海国创云计算装备产业创新中心有限公司,其通讯地址为:250000 山东省济南市中国(山东)自由贸易试验区济南片区浪潮路1036号浪潮科技园S01楼35层;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。