北京
国家知识产权局信息显示，青岛本原微电子有限公司申请一项名为“一种背景机制循环冗余校验算法的验证装置及验证方法”的专利，公开号CN121072424A，申请日期为2025年11月。
专利摘要显示，本发明公开了一种背景机制循环冗余校验算法的验证装置及验证方法，涉及集成电路验证技术领域，引入形式化验证自动穷举输入状态空间，将硬件设计RTL与软件黄金参考模型的计算结果进行比对并形成差异报告；在形式化验证基础上进行仿真验证，构造与背景CRC计算模块处于相同通信层级的主端和背景CRC计算模块相对于从端设备的竞争场景，执行仿真验证并交叉覆盖不同主端功能组合，通过监测中断发现是否存在校验错误，实现从发起访存到内存数据加载到输出数据校验结果流程中，对于验证对象背景机制、计算、错误通知功能的全面验证。最后通过回归管理将形式化验证和仿真验证封装为可传参执行的回归任务，将验证转化为可靠运行的自动化方案。
天眼查资料显示，青岛本原微电子有限公司，成立于2018年，位于青岛市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本3730.6518万人民币。通过天眼查大数据分析，青岛本原微电子有限公司共对外投资了1家企业，参与招投标项目5次，财产线索方面有商标信息7条，专利信息70条，此外企业还拥有行政许可8个。
声明：市场有风险，投资需谨慎。本文为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.
