九之星软件申请基于BDD的大规模数字电路输入独立性分析方法专利方法避免了指数级复杂度的运算瓶颈

　　国家知识产权局信息显示，杭州九之星软件有限公司申请一项名为“一种基于BDD的大规模数字电路输入独立性分析方法”的专利，公开号CN121435863A，申请日期为2025年12月。

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

　　天眼查资料显示，杭州九之星软件有限公司，成立于2024年，位于杭州市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本2704.6154万人民币。通过天眼查大数据分析，杭州九之星软件有限公司共对外投资了1家企业，专利信息6条。

　　声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。