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

龙图腾网获悉杭州九之星软件有限公司申请的专利一种基于BDD的大规模数字电路输入独立性分析方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121435863B 。

龙图腾网通过国家知识产权局官网在2026-03-10发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202512001229.8，技术领域涉及：G06F30/33；该发明授权一种基于BDD的大规模数字电路输入独立性分析方法是由储著飞;胡强强;费奕天;夏银水;王伦耀;吕晨;邱成楷设计研发完成，并于2025-12-29向国家知识产权局提交的专利申请。

本一种基于BDD的大规模数字电路输入独立性分析方法在说明书摘要公布了：本发明公开了一种基于BDD的大规模数字电路输入独立性分析方法，将电路Verilog文件转换为与非图AIG并逻辑优化，提取输入输出变量集合；将AIG网络转换为全局BDD表示并减小节点数量；构建关于输入组S和X的多变量乘积项cube；计算Di关于输入组S中每个输入变量的布尔微分，将结果进行逻辑或运算，得到综合敏感性函数diff_or_i并取逻辑反操作和执行全称量化，再提取输入组L的具体逻辑赋值向量，判定Di关于输入组S的独立性。方法避免了指数级复杂度的运算瓶颈，在大规模数字电路中仍具备良好的计算性能与可扩展性；其独立性判定结果唯一且可靠，可广泛应用于逻辑综合、形式验证、安全性与可测试性分析等场景。

本发明授权一种基于BDD的大规模数字电路输入独立性分析方法在权利要求书中公布了：1.一种基于BDD的大规模数字电路输入独立性分析方法，其特征在于，该方法针对的待分析电路包含三个输入组L、S、X和一个输出组D，该方法的步骤如下： S1、将包含待分析电路信息的Verilog文件转换为与非图AIG，并进行逻辑优化，再提取电路的输入变量集合和输出变量集合； S2、将优化后的AIG网络转换为全局BDD表示，并通过动态变量重排序策略减小BDD节点数量； S3、构建关于输入组S和X的多变量乘积项cube； S4、对于输出组D中的每个输出变量Di，依次计算其关于输入组S中每个输入变量的布尔微分，并将所有微分结果进行逻辑或运算，得到综合敏感性函数diff_or_i； S5、对diff_or_i取逻辑反操作得到¬diff_or_i，并对¬diff_or_i关于cube执行全称量化； S6、从全称量化结果中提取输入组L的具体逻辑赋值向量，当存在一组赋值使全称量化结果为真，则判定输出变量Di在输入组L的赋值情况下不依赖于输入组S，其逻辑值仅由输入组L和X的组合逻辑决定。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人杭州九之星软件有限公司，其通讯地址为：310024 浙江省杭州市西湖区转塘街道转塘科技经济区块16号7幢211室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。