恭喜上海韬润半导体有限公司王泽坤获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网恭喜上海韬润半导体有限公司申请的专利芯片逻辑功能验证方法、计算机设备、程序产品及介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120046551B 。
龙图腾网通过国家知识产权局官网在2025-07-04发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510520075.0，技术领域涉及：G06F30/33；该发明授权芯片逻辑功能验证方法、计算机设备、程序产品及介质是由王泽坤;宋柯贤;黄现设计研发完成，并于2025-04-24向国家知识产权局提交的专利申请。
本芯片逻辑功能验证方法、计算机设备、程序产品及介质在说明书摘要公布了：本发明提供了一种芯片逻辑功能验证方法、计算机设备、程序产品及介质，包括：获取后端设计对芯片各个子模块的划分方案使芯片重新划分为若干待验证模块；获取与待验证模块相对应的RTL设计方案；保持待验证模块的端口不变，获取与RTL设计方案相对应的门级网表；通过门级网表和EDA工具进行待验证模块的物理实现，并获取物理实现后的设计网表；根据设计网表获取时序收敛后各个待验证模块的时序信息以及各个待验证模块的端口到目标寄存器的第一延时，分别以预设延时减去第一延时标注各个待验证模块的端口，以对待验证模块进行带时序信息的逻辑功能验证。该方案能够实现整个设计流程中人力和计算器资源的优化，提高芯片逻辑功能验证的效率。
本发明授权芯片逻辑功能验证方法、计算机设备、程序产品及介质在权利要求书中公布了：1.一种芯片逻辑功能验证方法，其特征在于，包括步骤： 获取后端设计对待验证芯片的各个子模块的划分方案，使所述待验证芯片重新划分为若干待验证模块； 对所述待验证模块进行不带时序信息的逻辑功能验证，获取与所述待验证模块相对应的寄存器传输级设计方案； 保持所述待验证模块的端口不变，获取与所述寄存器传输级设计方案相对应的门级网表； 保持所述待验证模块的端口不变，通过所述门级网表和EDA工具进行所述待验证模块的物理实现，并获取物理实现后与所述待验证模块相对应的设计网表； 根据所述设计网表获取时序收敛后的各个所述待验证模块的时序信息； 根据所述时序信息获取各个所述待验证模块的端口到其对应的目标寄存器的第一延时，并分别以预设延时减去所述第一延时获得的第二延时标注各个所述待验证模块的端口，以对所述待验证模块进行带时序信息的逻辑功能验证。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人上海韬润半导体有限公司，其通讯地址为：201203 上海市浦东新区中国(上海)自由贸易试验区海科路929弄1号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号