青岛本原微电子有限公司吴亚男获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉青岛本原微电子有限公司申请的专利一种背景机制循环冗余校验算法的验证装置及验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121072424B 。
龙图腾网通过国家知识产权局官网在2026-01-20发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511620668.0，技术领域涉及：G06F30/3308；该发明授权一种背景机制循环冗余校验算法的验证装置及验证方法是由吴亚男;高玉鑫;彭轶群;薛晓军设计研发完成，并于2025-11-07向国家知识产权局提交的专利申请。
本一种背景机制循环冗余校验算法的验证装置及验证方法在说明书摘要公布了：本发明公开了一种背景机制循环冗余校验算法的验证装置及验证方法，涉及集成电路验证技术领域，引入形式化验证自动穷举输入状态空间，将硬件设计RTL与软件黄金参考模型的计算结果进行比对并形成差异报告；在形式化验证基础上进行仿真验证，构造与背景CRC计算模块处于相同通信层级的主端和背景CRC计算模块相对于从端设备的竞争场景，执行仿真验证并交叉覆盖不同主端功能组合，通过监测中断发现是否存在校验错误，实现从发起访存到内存数据加载到输出数据校验结果流程中，对于验证对象背景机制、计算、错误通知功能的全面验证。最后通过回归管理将形式化验证和仿真验证封装为可传参执行的回归任务，将验证转化为可靠运行的自动化方案。
本发明授权一种背景机制循环冗余校验算法的验证装置及验证方法在权利要求书中公布了：1.一种背景机制循环冗余校验算法的验证装置，其特征在于，包括： 形式化验证模块，用于导入背景CRC计算模块的硬件设计RTL和软件黄金参考模型，配置形式化验证引擎参数，穷举背景CRC计算模块的输入状态空间，将硬件设计RTL的计算结果与软件黄金参考模型的计算结果进行对比，形成差异报告； 仿真验证模块，用于在系统级构造与背景CRC计算模块处于相同通信层级的主端和背景CRC计算模块相对于从端设备的竞争场景，执行仿真验证并交叉覆盖不同主端功能组合，通过监测中断发现是否存在校验错误； 回归管理模块，用于将形式化验证与仿真验证流程封装为可传参执行的回归任务，形成包括约束文件生成、批量回归及结果收集的自动化流程。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人青岛本原微电子有限公司，其通讯地址为：266205 山东省青岛市即墨区宁东路168号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励