中山大学王自鑫获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉中山大学申请的专利一种基于差分约束系统的高层次综合工具优化方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115526135B 。
龙图腾网通过国家知识产权局官网在2025-08-05发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211227916.1，技术领域涉及：G06F30/343；该发明授权一种基于差分约束系统的高层次综合工具优化方法及系统是由王自鑫;张仕杰;宋杰;陈弟虎设计研发完成，并于2022-10-09向国家知识产权局提交的专利申请。
本一种基于差分约束系统的高层次综合工具优化方法及系统在说明书摘要公布了：本发明涉及硬件电路结构设计技术领域，提出一种基于差分约束系统的高层次综合工具优化方法及系统。其中包括以下步骤：将IP核转换为若干基本块bbk，并将所述IP核的约束条件转换为差分约束公式；基于所述差分约束公式，采用差分约束系统生成控制数据流图并进行资源预分配；基于模式匹配和算子机动性，对所述控制数据流图中的算子进行扫描、替换和调度，对所述控制数据流图进行优化；根据经过优化的控制数据流图进行资源分配，生成硬件电路结构。本发明能够为函数的实现指定特定的IP核模块，也可以在调度优化中自动识别并应用IP核，有效提高了高层次综合工具的开发效率，可广泛应用于硬件电路结构设计领域中。
本发明授权一种基于差分约束系统的高层次综合工具优化方法及系统在权利要求书中公布了：1.一种基于差分约束系统的高层次综合工具优化方法，其特征在于，包括以下步骤： 获取输入的IP核的电路描述，以及IP核的调度约束条件和权重； 将IP核转换为若干基本块bbk，并将所述IP核的约束条件转换为差分约束公式； 基于所述差分约束公式，采用差分约束系统生成控制数据流图并进行资源预分配； 基于模式匹配和算子机动性，对所述控制数据流图中的算子进行扫描、替换和调度，对所述控制数据流图进行优化； 根据经过优化的控制数据流图进行资源分配，生成硬件电路结构。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中山大学，其通讯地址为：510275 广东省广州市海珠区新港西路135号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号