国家知识产权局信息显示，深圳国微芯科技有限公司申请一项名为“基于层次控制流分支启发的形式验证方法”的专利，公开号CN121279209A，申请日期为2025年10月。

专利摘要显示，本发明公开了基于层次控制流分支启发的形式验证方法，包括：步骤1，将集成电路设计的待验证属性转化为ＳＭＴ问题；步骤2，读取ＳＭＴ问题；步骤3，获取满足性模理论问题的所有ITE结构以及每个ITE结构关联的变量范围；步骤4，形成满足性模理论问题对应的控制变量森林；步骤5，制定各变量的优先级；步骤6，优先对高优先级的变量进行赋值，采用满足性模理论求解器执行求解，并在得到求解结果后，返回步骤2读取下一个满足性模理论问题进行处理，直至所有的满足性模理论问题处理完毕。本发明可以有效提升形式化验证的效率，避免盲目选择变量进行赋值。

天眼查资料显示，深圳国微芯科技有限公司，成立于2018年，位于深圳市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本87130.8571万人民币。通过天眼查大数据分析，深圳国微芯科技有限公司共对外投资了4家企业，参与招投标项目21次，财产线索方面有商标信息165条，专利信息68条，此外企业还拥有行政许可11个。

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

本文源自：市场资讯

作者：情报员