公司：深圳市創(chuàng)寶來科技有限公司
聯(lián)系人：蘇先生
聯(lián)系方式：18923859947QQ:3005367043
公司網(wǎng)址：www.szcblic.com
專做進口原裝，誠信經(jīng)營，大量現(xiàn)貨庫存，歡迎您隨時咨詢
從C/C++到RTL,提速100倍的形式化驗證加快AI算法到芯片的迭代
VC++Formal數(shù)據(jù)通路驗證應用基于形式化方法學，在C/C++算法和RTL設(shè)計實現(xiàn)之間的一致性檢查方面比傳統(tǒng)技術(shù)提高了100多倍。
采用芯片業(yè)界公認的的HECTOR先進技術(shù)，并且集成了以Verdi界面為基礎(chǔ)的VC Formal的多樣化調(diào)試功能。
新思科技近日推出了數(shù)據(jù)通路驗證(DPV)應用，這是其VC Formal®解決方案的一部分。數(shù)據(jù)通路驗證應用采用芯片業(yè)界公認的HECTOR™先進技術(shù)，在設(shè)計和驗證周期內(nèi)為廣大的數(shù)據(jù)通路密集型設(shè)計用戶提供完備的形式化驗證收斂。該應用基于形式化方法學，其在C/C++算法和RTL設(shè)計實現(xiàn)之間的一致性檢查上比傳統(tǒng)的復雜芯片系統(tǒng)(SoC)設(shè)計技術(shù)快100多倍，并且支持遍歷式驗證確保設(shè)計的正確性。
“我們的使命是為移動芯片應用開發(fā)高質(zhì)量的CPU、GPU和系統(tǒng)IP，這就要求在非常緊的時間內(nèi)實現(xiàn)具有高度競爭力的功能、卓越的整體性能和極低的功耗。C/C++算法與具體RTL設(shè)計實現(xiàn)的一致性形式化方法學為我們以數(shù)據(jù)通路為主的設(shè)計提供完備的驗證，以便在幾分鐘內(nèi)有效地發(fā)現(xiàn)很多極端應用場景下觸發(fā)的設(shè)計錯誤，而使用其他傳統(tǒng)仿真技術(shù)是不可能做到的。VC Formal的HECTOR技術(shù)提供同類最佳的表現(xiàn)和結(jié)果質(zhì)量，能夠成功減少傳統(tǒng)仿真工作量，并幫助在設(shè)計中捕獲30多個RTL錯誤�！薄猉iushan Feng
”人工智能(AI)、圖形和處理器設(shè)計涉及復雜的算法功能模塊，其數(shù)據(jù)通路量很大，需要用C/C++等高級語言對它們的行為進行建模。這些設(shè)計所實現(xiàn)的RTL因此需要與其對應的C/C++模型進行功能等價性驗證。VC Formal與Verdi®自動調(diào)試系統(tǒng)的內(nèi)在集成使設(shè)計和驗證團隊能夠輕松地使用形式化驗證技術(shù)和自動對形式化結(jié)果根源分析功能。此外，VCS在VC Formal中的內(nèi)在集成便于將形式化分析融入到現(xiàn)有的驗證環(huán)境中。
數(shù)據(jù)通路驗證應用加入了不斷增長的VC Formal應用組合中，其還包括屬性驗證(FPV)、時序電路等價驗證(SEQ)、寄存器驗證(FRV)、形式化覆蓋分析器(FCA)、連接性檢查(CC)、X-Propogation檢查(FXP)、形式化Testbench分析器(FTA)、屬性自動提取(AEP)和回歸模式加速器(RMA)。
“越來越多的數(shù)據(jù)通路密集型設(shè)計需要專門的數(shù)據(jù)通路驗證技術(shù)來實現(xiàn)更快的驗證收斂。我們長期以來一直與業(yè)界領(lǐng)頭羊合作，為先進的芯片提供全面的驗證解決方案。我們在數(shù)據(jù)通路驗證技術(shù)上的投資能夠更快地幫助用戶完成算法驗證，并加快其芯片產(chǎn)品上市時間。”——Ajay Singh
