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

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

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

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

研討會(huì)時(shí)間

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

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

具體議程

8月26日議程

1:00 a.m.

主題演講

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

1:30 a.m.

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

2:00 a.m.

使用VC Formal DPV對(duì)HLS流程中的代碼進(jìn)行對(duì)等性驗(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ǎng)做好準(zhǔn)備

3:30 a.m.

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

4:00 a.m.

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

4:30 a.m.

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

5:00 a.m.

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

5:30 a.m.

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

6:00 a.m.

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

6:30 a.m.

新思科技VC Formal Sigoff教程