形式驗(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教程
-
驗(yàn)證工具
+關(guān)注
關(guān)注
0文章
9瀏覽量
7476 -
引擎
+關(guān)注
關(guān)注
1文章
357瀏覽量
22500 -
新思科技
+關(guān)注
關(guān)注
5文章
778瀏覽量
50270
原文標(biāo)題:周五開(kāi)播!新思科技VC Formal線上虛擬研討會(huì)報(bào)名開(kāi)啟!
文章出處:【微信號(hào):Synopsys_CN,微信公眾號(hào):新思科技】歡迎添加關(guān)注!文章轉(zhuǎn)載請(qǐng)注明出處。
發(fā)布評(píng)論請(qǐng)先 登錄
相關(guān)推薦
評(píng)論