形式驗證是檢測設計過程中深層錯誤最有效的方法,這些錯誤在仿真測試中很可能會遺漏。為了做到全面檢測,形式驗證使用了大量強大的引擎來對驗證過程中所需要的成千上萬的設計屬性進行證明。因此最大限度地提高引擎性能,對于確保形式驗證的效率至關重要。
新思科技VC Formal 是業(yè)內(nèi)首個在引擎編排、回歸和調(diào)試中利用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教程
-
驗證工具
+關注
關注
0文章
11瀏覽量
7627 -
引擎
+關注
關注
1文章
367瀏覽量
23340 -
新思科技
+關注
關注
5文章
905瀏覽量
52481
原文標題:周五開播!新思科技VC Formal線上虛擬研討會報名開啟!
文章出處:【微信號:Synopsys_CN,微信公眾號:新思科技】歡迎添加關注!文章轉(zhuǎn)載請注明出處。
發(fā)布評論請先 登錄
空中客車與愛立信成功部署5G專網(wǎng)解決方案
新思科技旗下Ansys仿真和分析解決方案產(chǎn)品組合已通過臺積公司認證
新思科技將剝離光學解決方案部門和PowerArtist業(yè)務
新思科技半導體設計解決方案拓展GenAI能力
新思科技首屆汽車高層論壇成功舉辦
DALI數(shù)字照明控制的解決方案
中科曙光超智融合解決方案加速量子材料研發(fā)
DeepSeek在昇騰上的模型部署的常見問題及解決方案

新思科技VC Formal解決方案部署的成功經(jīng)驗
評論