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

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

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

此外，新思科技還將展示VC Formal 2022年6月版本中的新功能，并提供有關(guān)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.

主題演講

形式驗(yàn)證：為更多維度Formal驗(yàn)證快速增長做好準(zhǔn)備

1:30 a.m.

使用VC Formal驗(yàn)證因timing等ECO的后期代碼的對等性

2:00 a.m.

使用VC Formal DPV對HLS流程中的代碼進(jìn)行對等性驗(yàn)證

2:30 a.m.

應(yīng)用VC Formal的Formal Core Coverage實(shí)現(xiàn)高效的Formal Signoff

3:00 a.m.

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

8月27日議程

3:00 a.m.

主題演講

形式驗(yàn)證：為更多維度Formal驗(yàn)證快速增長做好準(zhǔn)備

3:30 a.m.

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

4:00 a.m.

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

4:30 a.m.

利用VC Formal的強(qiáng)大功能進(jìn)行智能手機(jī)SoC驗(yàn)證

5:00 a.m.

應(yīng)用VC Formal工具更早期捕獲關(guān)鍵的低功耗錯誤

5:30 a.m.

使用VC Formal DPV對復(fù)雜算法進(jìn)行C與RTL代碼對等性驗(yàn)證

6:00 a.m.

使Formal驗(yàn)證易于部署的多種方法

6:30 a.m.

新思科技VC Formal Sigoff教程