北京
国家知识产权局信息显示，深圳国微芯科技有限公司申请一项名为“求解器的调度方法、形式验证方法”的专利，公开号CN121457409A，申请日期为2025年10月。
专利摘要显示，本发明公开了求解器的调度方法、形式验证方法。其中求解器的调度方法，包括：将硬件电路的寄存器传输级描述输入至包含不同验证场景对应的任务模块的形式验证应用中，生成每个验证场景对应的SMT文件；将各SMT文件与其对应的验证场景关联的硬件描述结合，提取语法级特征和硬件领域特征，形成综合特征向量；将综合特征向量与对应验证场景的历史求解时间标签一同存储为训练数据；基于预设数量的训练数据对多个候选模型进行训练与参数调优，挑选出适用于不同验证场景和求解器配置的最佳预测模型；获取待验证的硬件电路的综合特征向量，输入至最佳预测模型中预测求解时长，以选择合适的SMT求解器。本发明可以准确预测求解时长，并选择合适的求解器。
天眼查资料显示，深圳国微芯科技有限公司，成立于2018年，位于深圳市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本87130.8571万人民币。通过天眼查大数据分析，深圳国微芯科技有限公司共对外投资了4家企业，参与招投标项目21次，财产线索方面有商标信息165条，专利信息70条，此外企业还拥有行政许可12个。
声明：市场有风险，投资需谨慎。本文为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.
