龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
摘要：本发明公开了一种基于量化布尔公式的逻辑网络乘法复杂度优化方法，包括以下步骤：获取待优化的逻辑网络中的待优化区域；构建子电路并计算其AND节点数目n1；收集局部电路；对子电路和局部电路通过量化布尔公式写出约束文件；对约束文件调用量化布尔公式求解器进行求解，将得到的解解析成新的子电路并计算其AND节点数目n2；对比n2和n1，保留AND节点数目更小的子电路，插入回逻辑网络中，得到优化后的逻辑网络并清除其悬空节点，得到新的逻辑网络；迭代循环上述步骤。本发明方法可以降低逻辑网络的乘法复杂度，有效利用电路中存在的无关项进行优化，不仅可以适用于密码学和安全应用的安全性提升，而且适用于逻辑综合中富含异或的网络优化。
主权项：1.一种基于量化布尔公式的逻辑网络乘法复杂度优化方法，其特征在于，包括以下步骤：1）基于加密或安全应用中的函数构建待优化的逻辑网络，解析所述的逻辑网络的拓扑结构，按照重收敛路径查找所述的逻辑网络中的待优化的节点，收集以待优化的节点为根门的子电路M1，计算子电路M1中AND节点数量，在子电路M1中AND节点数量等于零的情况下，判定子电路M1中AND节点不是可优化节点，重新查找所述的逻辑网络中的待优化的节点；在子电路M1中AND节点数量大于零的情况下，记录子电路M1中AND节点数量n1，并以子电路M1作为旧的子电路，即将子电路M1作为所述的逻辑网络中的待优化区域，进入步骤2）；2）在所述的逻辑网络中收集所述的旧的子电路外的一个局部电路；3）对所述的旧的子电路和所述的局部电路通过量化布尔公式写出约束文件；再对所述的约束文件调用量化布尔公式求解器进行求解，在一定的时间内获取到一个满足约束的解，并将得到的解解析成新的子电路，计算所述的新的子电路中AND节点数目n2；4）对比所述的新的子电路中AND节点数目n2和所述的旧的子电路中AND节点数目n1，保留两者中AND节点数目更小的子电路，并将保留的子电路插入回所述的逻辑网络中，得到优化后的逻辑网络，清除优化后的逻辑网络中的悬空节点，得到新的逻辑网络；5）迭代循环上述步骤1）~5）。
全文数据：
权利要求：
百度查询： 宁波大学 一种基于量化布尔公式的逻辑网络乘法复杂度优化方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号