买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
申请/专利权人:北京芯驰半导体科技股份有限公司
摘要:本申请提供了一种优化逻辑综合的策略的方法、装置和存储介质。该方法包括基于预设的逻辑综合的策略,利用综合工具将寄存器传输级文件转换为网表;利用逻辑等价验证工具,将所述寄存器传输级文件和网表进行逻辑等价验证,并获取在逻辑等价验证结束后生成的分析报告;在逻辑等价验证结果显示寄存器传输级文件和网表的逻辑不等价的情况下,基于所述分析报告,确定出所述预设的逻辑综合的策略中的问题模块;基于所述综合工具,对所述问题模块的优化方式进行更改,以对所述预设的逻辑综合的策略进行更新。如此,提高了优化逻辑综合的策略的效率。
主权项:1.一种优化逻辑综合的策略的方法,其特征在于,所述方法包括:基于预设的逻辑综合的策略,利用综合工具将寄存器传输级文件转换为网表;利用逻辑等价验证工具,将所述寄存器传输级文件和网表进行逻辑等价验证,并获取在逻辑等价验证结束后生成的分析报告;在逻辑等价验证结果显示寄存器传输级文件和网表的逻辑不等价的情况下,基于所述分析报告,确定出所述预设的逻辑综合的策略中的问题模块;基于所述综合工具,对所述问题模块的优化方式进行更改,以对所述预设的逻辑综合的策略进行更新。
全文数据:
权利要求:
百度查询: 北京芯驰半导体科技股份有限公司 一种优化逻辑综合的策略的方法、装置和存储介质
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。