杭州电子科技大学吴悦获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉杭州电子科技大学申请的专利一种高效简化数字逻辑电路方法及其系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120145956B 。
龙图腾网通过国家知识产权局官网在2025-07-29发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510602657.3，技术领域涉及：G06F30/33；该发明授权一种高效简化数字逻辑电路方法及其系统是由吴悦;王海航;龚浩;周益龙;周凌峰;杨晓燕设计研发完成，并于2025-05-12向国家知识产权局提交的专利申请。
本一种高效简化数字逻辑电路方法及其系统在说明书摘要公布了：本发明公开一种高效简化数字逻辑电路方法及其系统。本发明对同一数字逻辑电路进行多次随机仿真，取每次仿真结果都相同的节点作为一个候选集；对候选集中的节点进行增量仿真，得到等价类集；筛选出位于高层且仿真结果为常量的节点，通过SAT求解得到主输入节点的取值；用主输入节点的取值对原始数字逻辑电路进行仿真，过滤掉仿真结果值不同的等价类集中节点，进一步得到优化后等价类集；基于优化后等价类集，使用SAT求解器测试所有节点对，简化原始数字逻辑电路。本发明通过创新性的增量仿真、层次优化及混合验证技术减少了SAT求解器调用次数，有助于提高芯片设计效率，减少无效工作和设计迭代次数，从而缩短芯片设计周期。
本发明授权一种高效简化数字逻辑电路方法及其系统在权利要求书中公布了：1.一种高效简化数字逻辑电路方法，其特征在于，所述方法包括： 对同一数字逻辑电路进行多次随机仿真，取每次仿真结果都相同的节点作为一个候选集； 对候选集中的节点进行增量仿真，得到等价类集；增量仿真过程包括构建代表节点集过程、验证候选集中非头节点并过滤冲突过程； 对等价类集中的所有节点按层次逆序排列，筛选出位于高层且仿真结果为常量的节点，进而通过SAT求解，得到主输入节点的取值； 用主输入节点的取值对原始数字逻辑电路进行仿真，过滤掉仿真结果值不同的等价类集中节点，进一步得到优化后等价类集； 基于优化后等价类集，使用SAT求解器测试所有节点对，简化原始数字逻辑电路。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人杭州电子科技大学，其通讯地址为：310018 浙江省杭州市钱塘区白杨街道2号大街1158号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号