AI驱动的形式化验证：Formal Advisor实践教程，助力形式化验证一步到位【今日14:00直播】

今日14:00，新思科技芯课程AI系列之「Formal Advisor助力形式化验证“一步”到位」正式开讲！感兴趣的下滑预约学习👇

时间：3月27日 周五，14：00-15：00

内容简介：

Formal Advisor是一款基于Al的形式化验证辅助工具，集成于新思科技 VC Formal平台。它通过智能检索与生成技术，帮助用户自动生成、优化和管理形式化属性(如断言、覆盖点等)，大幅提升形式化验证的效率和质量。课程将系统讲解Formal Advisor的基本原理、主要功能、典型应用场景及实际操作流程。

课程还将结合实际案例，演示如何利用Formal Advisor提升属性生成的准确性和覆盖率，帮助设计与验证工程师快速上手并应用于实际项目中。

讲师介绍：

形式：线上

参与方式：下方扫码免费报名