Document
拖动滑块完成拼图
个人中心

预订订单
服务订单
发布专利 发布成果 人才入驻 发布商标 发布需求

在线咨询

联系我们

龙图腾公众号
首页 专利交易 IP管家助手 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 中山大学;广州安凯微电子股份有限公司王自鑫获国家专利权

中山大学;广州安凯微电子股份有限公司王自鑫获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网获悉中山大学;广州安凯微电子股份有限公司申请的专利高层次综合的快速线性规划方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115438614B

龙图腾网通过国家知识产权局官网在2025-07-15发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202211170165.4,技术领域涉及:G06F30/343;该发明授权高层次综合的快速线性规划方法是由王自鑫;张仕杰;陈弟虎;杨杭;胡胜发;汤锦基;袁悦来设计研发完成,并于2022-09-22向国家知识产权局提交的专利申请。

高层次综合的快速线性规划方法在说明书摘要公布了:本发明提供的高层次综合的快速线性规划方法,方法包括以下步骤:构建压缩树库,所述压缩树库包括若干个压缩树,所述压缩树用于描述硬件电路的输入输出以及面积成本;基于所述压缩树库,生成整数线性规划约束,并根据所述整数线性规划约束,构建整数线性规划模型;对所述整数线性规划模型求解,根据求解结果生成压缩树网络描述;根据所述压缩树网络描述,整合得到目标硬件电路描述;法通过通用并行计数器的级联和绑定,从而在不牺牲面积的前提下提高综合后电路的速度,提高时钟频率,能够实现快速线性规划;可广泛应用于电路仿真技术领域。

本发明授权高层次综合的快速线性规划方法在权利要求书中公布了:1.高层次综合的快速线性规划方法,其特征在于,包括以下步骤: 构建压缩树库,所述压缩树库包括若干个压缩树模型,所述压缩树模型用于描述硬件电路的输入输出以及面积成本; 基于所述压缩树库,生成整数线性规划约束,并根据所述整数线性规划约束,构建整数线性规划模型; 对所述整数线性规划模型求解,根据求解结果生成压缩树网络描述; 根据所述压缩树网络描述,整合得到目标硬件电路描述; 所述基于所述压缩树库,生成整数线性规划约束,并根据所述整数线性规划约束,构建整数线性规划模型这一步骤,包括: 根据第一约束条件对全部压缩树模型进行求和;所述第一约束条件为: Ps,k,i=Es,k,i+Fs,k,i+Gs,k,i+Hs,k,i+Rs,k,i+Ms,l,i+Ms,m,i+Ms,h,i 其中,压缩树模型包括专用压缩树和非专用压缩树,i∈[0,imax-1],s∈[0,Smax-1]; Ps,k,i为s阶段中位于列i的压缩树模型类型k的数量;Es,k,i为s阶段中位于列i非专用压缩树类型k的数量;Fs,k,i为s阶段中位于列i的映射于绑定的专用压缩树类型k的数量;Gs,k,i为s阶段中位于列i的映射于绑定的压缩树模型类型k的数量;Hs,k,i为s阶段中位于列i的用于级联的专用压缩树类型k的数量;Rs,k,i为s阶段中列i的用于级联的全部压缩树模型类型k的数量;Ms,l,i为s阶段中位于列i的行加法器的最低有效组件;Ms,m,i为s阶段中位于列i的行加法器的中间有效组件;Ms,h,i为s阶段中位于列i的行加法器的最高有效组件;imax为压缩树模型最大列数;Smax为压缩树模型最大阶段数。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中山大学;广州安凯微电子股份有限公司,其通讯地址为:510275 广东省广州市海珠区新港西路135号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。