北京
国家知识产权局信息显示，深圳国微芯科技有限公司申请一项名为“基于层次控制流分支启发的形式验证方法”的专利，公开号CN121279209A，申请日期为2025年10月。
专利摘要显示，本发明公开了基于层次控制流分支启发的形式验证方法，包括：步骤1，将集成电路设计的待验证属性转化为ＳＭＴ问题；步骤2，读取ＳＭＴ问题；步骤3，获取满足性模理论问题的所有ITE结构以及每个ITE结构关联的变量范围；步骤4，形成满足性模理论问题对应的控制变量森林；步骤5，制定各变量的优先级；步骤6，优先对高优先级的变量进行赋值，采用满足性模理论求解器执行求解，并在得到求解结果后，返回步骤2读取下一个满足性模理论问题进行处理，直至所有的满足性模理论问题处理完毕。本发明可以有效提升形式化验证的效率，避免盲目选择变量进行赋值。
天眼查资料显示，深圳国微芯科技有限公司，成立于2018年，位于深圳市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本87130.8571万人民币。通过天眼查大数据分析，深圳国微芯科技有限公司共对外投资了4家企业，参与招投标项目21次，财产线索方面有商标信息165条，专利信息68条，此外企业还拥有行政许可11个。
声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。
本文源自：市场资讯
作者：情报员
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
