国家知识产权局信息显示，杭州九之星软件有限公司申请一项名为“一种基于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基于第三方数据生成，仅供参考，不构成个人投资建议。

本文源自：市场资讯

作者：情报员