芯钛信息申请面向车规级芯片的触发网络形式化安全核签方法及系统专利实现触发网络的完备验证

来源：网络日期：2026-04-12 浏览：

芯钛信息申请面向车规级芯片的触发网络形式化安全核签方法及系统专利实现触发网络的完备验证(图1)

　　国家知识产权局信息显示，上海芯钛信息科技有限公司申请一项名为“面向车规级芯片的触发网络形式化安全核签方法及系统”的专利，公开号CN121792233A，申请日期为2026年1月。

　　专利摘要显示，本发明涉及面向车规级芯片的触发网络形式化安全核签方法及系统，通过利用形式化工具的CSR App对触发网络模块中寄存器的属性进行验证，FPV App对触发网络模块的功能点进行验证，COV App对CSR App和FPV App执行的验证过程中收集到的覆盖率进行合并后，进行覆盖率分析并迭代至覆盖率达标，形成使用覆盖率驱动的策略达到对触发网络模块的安全签核。该方案可以贯穿整个触发网络的设计开发PG电子通信周期，并不依赖于完全设计开发好的设计代码，验证环境搭建时间短且能穷举所有的验证空间，及时发现深层次缺陷并可安全签核，实现触发网络的完备验证。

　　天眼查资料显示，上海芯钛信息科技有限公司，成立于2017年，位于上海市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本3999.7093万人民币。通过天眼查大数据分析，上海芯钛信息科技有限公司共对外投资了6家企业，参与招投标项目3次，财产线条，此外企业还拥有行政许可3个。

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