加(jia)州山景(jing)城2019年6月25日 /美通社/ --
重點：
新思科技（Synopsys, Inc.，納斯達克股票代碼：SNPS）近日推出了數據通路驗證(DPV)應用，這是其VC Formal®解決方案的一部分。數據通路驗證應用采用芯片業界公認的HECTOR?先進(jin)技術，在設計(ji)和(he)驗證(zheng)周(zhou)期內為廣大的(de)(de)數據通路密集型(xing)設計(ji)用(yong)(yong)戶提供完備(bei)的(de)(de)形式化驗證(zheng)收(shou)斂。該應用(yong)(yong)基于形式化方(fang)法(fa)學，其在C/C++算(suan)法(fa)和(he)RTL設計(ji)實現之(zhi)間的(de)(de)一致性檢查上比傳統(tong)的(de)(de)復雜芯(xin)片系統(tong)(SoC)設計(ji)技術快100多倍(bei)，并(bing)且支持遍歷式驗證(zheng)確保設計(ji)的(de)(de)正(zheng)確性，以前的(de)(de)仿真方(fang)案是無法(fa)做(zuo)到的(de)(de)。
三星奧斯(si)汀研(yan)發(fa)中心(xin)(SARC)和高(gao)(gao)級計(ji)算(suan)實(shi)驗(yan)(yan)室GPU/CPU團隊驗(yan)(yan)證負責(ze)人Xiushan Feng表示：“我們(men)的(de)(de)(de)(de)使(shi)命(ming)是為移動(dong)SoC應用(yong)開發(fa)高(gao)(gao)質(zhi)(zhi)量(liang)的(de)(de)(de)(de)CPU、GPU和系統IP，這(zhe)就要求在(zai)非常緊的(de)(de)(de)(de)時(shi)間內實(shi)現(xian)具有(you)高(gao)(gao)度競爭(zheng)力的(de)(de)(de)(de)功能(neng)、卓(zhuo)越的(de)(de)(de)(de)整體性(xing)能(neng)和極低(di)的(de)(de)(de)(de)功耗。C/C++算(suan)法與具體RTL設計(ji)實(shi)現(xian)的(de)(de)(de)(de)一致性(xing)形式化方法學(xue)為我們(men)以(yi)數據通路為主(zhu)的(de)(de)(de)(de)設計(ji)提供(gong)完備的(de)(de)(de)(de)驗(yan)(yan)證，以(yi)便在(zai)幾分鐘(zhong)內有(you)效地發(fa)現(xian)很多極端應用(yong)場景下觸發(fa)的(de)(de)(de)(de)設計(ji)錯(cuo)誤(wu)，而使(shi)用(yong)其他傳統仿(fang)真(zhen)技術是不可能(neng)做(zuo)到的(de)(de)(de)(de)。VC Formal的(de)(de)(de)(de)HECTOR技術提供(gong)同(tong)類最(zui)佳(jia)的(de)(de)(de)(de)表現(xian)和結(jie)果質(zhi)(zhi)量(liang)，能(neng)夠成功減少傳統仿(fang)真(zhen)工作量(liang)，并幫助在(zai)設計(ji)中捕獲30多個(ge)RTL錯(cuo)誤(wu)。”
人工智能(AI)、圖形和處理器設計涉及復雜的算法功能模塊，其數據通路量很大，需要用C/C++等高級語言對它們的行為進行建模。這些設計所實現的RTL因此需要與其對應的C/C++模型進行功能等價性驗證。VC Formal與Verdi®自動(dong)調(diao)試系統的(de)(de)內(nei)在集(ji)成(cheng)使設計和驗證團(tuan)隊能夠輕松(song)地使用形(xing)(xing)式化驗證技術和自動(dong)對(dui)形(xing)(xing)式化結(jie)果根源分析功能。此外，VCS在VC Formal中的(de)(de)內(nei)在集(ji)成(cheng)便(bian)于將形(xing)(xing)式化分析融入(ru)到現有的(de)(de)驗證環境中。
數據通路(lu)驗證應(ying)(ying)用(yong)加入了不(bu)斷增長的VC Formal應(ying)(ying)用(yong)組(zu)合中，其還包括(kuo)屬(shu)性驗證(FPV)、時(shi)序電路(lu)等價驗證(SEQ)、寄存器(qi)驗證(FRV)、形(xing)式化(hua)覆蓋分析(xi)器(qi)(FCA)、連接性檢查(CC)、X-Propogation檢查(FXP)、形(xing)式化(hua)Testbench分析(xi)器(qi)(FTA)、屬(shu)性自動(dong)提取(AEP)和回歸模式加速器(qi)(RMA)。
新思科技(ji)芯片(pian)驗(yan)(yan)(yan)(yan)證(zheng)事業(ye)部高級副總裁Ajay Singh表示：“越來越多的(de)(de)(de)(de)數據通路(lu)(lu)密集型設計需要專門的(de)(de)(de)(de)數據通路(lu)(lu)驗(yan)(yan)(yan)(yan)證(zheng)技(ji)術(shu)來實現更快(kuai)的(de)(de)(de)(de)驗(yan)(yan)(yan)(yan)證(zheng)收(shou)斂。我們(men)長期以來一(yi)直與業(ye)界領頭羊合作，為先進的(de)(de)(de)(de)SoC提(ti)供全面(mian)的(de)(de)(de)(de)驗(yan)(yan)(yan)(yan)證(zheng)解決方案。我們(men)在(zai)數據通路(lu)(lu)驗(yan)(yan)(yan)(yan)證(zheng)技(ji)術(shu)上的(de)(de)(de)(de)投資能(neng)夠更快(kuai)地(di)幫(bang)助用戶完(wan)成(cheng)算法驗(yan)(yan)(yan)(yan)證(zheng)，并加快(kuai)其芯片(pian)產(chan)品(pin)上市時間。”
供貨
VC Formal 數(shu)據通路驗證應用現已(yi)上市。
更多資源
有關VC Formal的更多(duo)信息，請訪問(wen)：
新思科技簡介
新思科技（Synopsys, Inc. , 納斯達克股票代碼：SNPS）是眾多創新型公司的 Silicon to Software?（“芯片到軟件”）合作伙伴，這些公司致力于開發我們日常所依賴的電子產品和軟件應用。作為全球第 15 大軟件公司，新思科技長期以來一直是電子設計自動化（EDA）和半導體IP領域的全球領導者，并且在軟件安全和質量解決方案方面也發揮著越來越大的領導作用。無論您是創建高級半導體的片上系統（SoC）設計人員，還是編寫需要最高安全性和質量的應用程序的軟件開發人員，新思科技都能夠提供您所需要的解決方案，幫助您推出創新性的、高質量的、安全的產品。有關更多信息，請訪問 www.synopsys.com。
