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