今日14:00，新思科技芯課程AI系列之「Formal Advisor助力形式化驗證“一步”到位」正式開講！感興趣的下滑預約學習??

時間：3月27日 周五，14：00-15：00

內容簡介：

Formal Advisor是一款基于Al的形式化驗證輔助工具，集成于新思科技 VC Formal平臺。它通過智能檢索與生成技術，幫助用戶自動生成、優化和管理形式化屬性(如斷言、覆蓋點等)，大幅提升形式化驗證的效率和質量。課程將系統講解Formal Advisor的基本原理、主要功能、典型應用場景及實際操作流程。

課程還將結合實際案例，演示如何利用Formal Advisor提升屬性生成的準確性和覆蓋率，幫助設計與驗證工程師快速上手并應用于實際項目中。

講師介紹：

形式：線上

參與方式：下方掃碼免費報名