形式驗證是檢測設計過程中深層錯誤最有效的方法，這些錯誤在仿真測試中很可能會遺漏。為了做到全面檢測，形式驗證使用了大量強大的引擎來對驗證過程中所需要的成千上萬的設計屬性進行證明。因此最大限度地提高引擎性能，對于確保形式驗證的效率至關重要。

新思科技VC Formal 是業(yè)內(nèi)首個在引擎編排、回歸和調試中利用ML技術的形式化驗證工具。引擎編排旨在將引擎與屬性正確配對，在物理計算資源和時間的限制下實現(xiàn)最短運行時間和最佳收斂效果，且VC Formal在處理每個屬性時均采用了即時強化學習法。

在今年的形式驗證虛擬研討會上，英特爾、英偉達、聯(lián)發(fā)科技、中興微電子等領先企業(yè)，將分享他們部署新思科技VC Formal解決方案的成功經(jīng)驗。歡迎參加新思科技為期兩天的線上虛擬形式驗證研討會，了解這些行業(yè)領先公司在其突破性應用中的成功部署經(jīng)驗。

此外，新思科技還將展示VC Formal 2022年6月版本中的新功能，并提供有關VC Formal Signoff的教程。

研討會時間

北京時間 8月26日 1:00 a.m. - 3:00 a.m.

北京時間 8月27日 3:00 a.m. - 5:00 a.m.

具體議程

8月26日議程

1:00 a.m.

主題演講

形式驗證：為更多維度Formal驗證快速增長做好準備

1:30 a.m.

使用VC Formal驗證因timing等ECO的后期代碼的對等性

2:00 a.m.

使用VC Formal DPV對HLS流程中的代碼進行對等性驗證

2:30 a.m.

應用VC Formal的Formal Core Coverage實現(xiàn)高效的Formal Signoff

3:00 a.m.

新思科技VC Formal新功能和更新

8月27日議程

3:00 a.m.

主題演講

形式驗證：為更多維度Formal驗證快速增長做好準備

3:30 a.m.

新思科技VC Formal的新功能和更新

4:00 a.m.

使用新思科技VC Formal的FXP進行早期高效的DFT時鐘X-bash測試

4:30 a.m.

利用VC Formal的強大功能進行智能手機SoC驗證

5:00 a.m.

應用VC Formal工具更早期捕獲關鍵的低功耗錯誤

5:30 a.m.

使用VC Formal DPV對復雜算法進行C與RTL代碼對等性驗證

6:00 a.m.

使Formal驗證易于部署的多種方法

6:30 a.m.

新思科技VC Formal Sigoff教程