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

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

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

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

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

　　特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。

　　顶级恐怖！MIT数学实锤证明：ChatGPT正诱发「AI精神病」，全球14人已死亡

　　亲人离世后微信QQ零钱怎么办？清明节前夕 腾讯客服宣布：已升级逝者微信QQ零钱资金继承专属服务

　　天龙三号运载火箭发射失利！性能对标SpaceX猎鹰9号，可实现一箭36星组网发射

　　河南辉县南太行一小车从盘山公路坠崖，救援人员称车内一老人和一年轻女子遇难，涉事车辆所属公司回应

　　山西一小吃店3人死亡，知情人：店铺刚接手没几天，店主夫妇和小姨子凌晨加工“碗秃”时遇难，原计划天亮后开展免费试吃活动庆祝新店开张

　　周薪30万镑 31岁曼城队长确定自由身离队 9年随队夺19冠 去向曝光

　　又是明末！Steam特别好评国产佳作续作今日上线岁何润东直播《三角洲》火了！全程手柄操作引热议

　　工信部提醒苹果用户：iOS 13至17.2.GPK官网1存在高危漏洞，请尽快升级