《電子技術應用》
您所在的位置:首頁 > 嵌入式技術 > 新品快遞 > 新思科技憑借突破性機器學習技術將形式屬性驗證性能提高10倍

新思科技憑借突破性機器學習技術將形式屬性驗證性能提高10倍

2018-09-07

  新思科技(Synopsys, Inc.,,納斯達克股票市場代碼: SNPS)宣布,,推出一種基于人工智能(AI)的最新形式驗證應用,即回歸模式加速器,。作為新思科技VC Formal?解決方案的組成部分,,VC Formal采用最先進的機器學習算法,將設計和驗證周期中的性能驗證速度提高10倍,。除了顯著的性能提升,,使用此應用還可加速形式屬性驗證,以便后續(xù)運行實現(xiàn)更好的形式收斂,?;貧w模式加速器應用還能夠在每日回歸測試時顯著節(jié)省計算資源,以驗證復雜的芯片系統(tǒng)(SoC)設計,,從而在過去無法實現(xiàn)的情況下運行形式驗證,。

  意法半導體研發(fā)設計經(jīng)理David Vincenzoni表示,,“作為領先的集成設備制造商,意法半導體致力于提供創(chuàng)新的解決方案,,推動智能駕駛和物聯(lián)網(wǎng)(包括智能工業(yè))的最新技術發(fā)展,,因此,設計人員需要能夠提供最佳性能,、易用性和高質量結果的形式驗證解決方案,。新思科技新推出的VC Formal回歸模式加速器應用能夠穩(wěn)定地提供數(shù)量級的性能優(yōu)化,同時改進了我們設計模塊上最復雜的System Verilog Assertions其他不確定屬性的收斂,?!?/p>

  日益復雜的SoC系統(tǒng)以及日益增加的上市時間壓力對形式屬性驗證性能和吞吐量的持續(xù)創(chuàng)新提出了新的需求。新思科技VC Formal包含全面的正式應用程序,,包括屬性驗證(FPV),、時序等效性檢查(SEQ)、寄存器驗證(FRV),、形式覆蓋率分析器(FCA),、連通性檢查(CC)和屬性自動提取(AEP),,這些為意法半導體的多種不同應用提供了更快的屬性收斂,。結合新思科技VCS?功能驗證解決方案的VC Formal和Verdi?自動調試系統(tǒng)的原生集成使設計和驗證團隊能夠輕松利用形式技術,并自動對形式結果進行根本原因分析,。此外,,VCS強大的覆蓋引擎在VC Formal中的原生集成有助于將形式分析輕松插入到現(xiàn)有的驗證環(huán)境中。

  新思科技驗證部門Manish Pandey表示,,“機器學習已經(jīng)成為解決高度復雜和前沿設計驗證的強大技術。我們與意法半導體等行業(yè)領導者長期合作,,為先進的SoC提供全面的驗證解決方案,。通過這些合作,我們正在將AI技術的研發(fā)擴展到驗證流程和方法中,,從而加快產(chǎn)品上市速度,。”

  上市時間

  包含回歸模式加速器的VC Formal2018.09版本計劃于2018年9月上市,。

   關于新思?

  新思科技(Synopsys, Inc.,,納斯達克股票市場代碼: SNPS)致力于創(chuàng)新改變世界,在芯片到軟件的眾多領域,,新思科技始終引領技術趨勢,,與全球科技公司緊密合作,共同開發(fā)人們所依賴的電子產(chǎn)品和軟件應用,。新思科技是全球排名第一的芯片自動化設計解決方案提供商,,全球排名第一的芯片接口IP供應商,,同時也是信息安全和軟件質量的全球領導者。作為半導體,、人工智能,、汽車電子及軟件安全等產(chǎn)業(yè)的核心技術驅動者,新思科技的技術一直深刻影響著當前全球五大新興科技創(chuàng)新應用:智能汽車,、物聯(lián)網(wǎng),、人工智能、云計算和信息安全,。

  新思科技成立于1986年,,總部位于美國硅谷,目前擁有13000多名員工,,分布在全球100多個分支機構,。2018財年預計營業(yè)額31億美元,擁有3000多項已批準專利,,為美國標普500指數(shù)成分股龍頭企業(yè),。

  自1995年在中國成立新思科技以來,新思科技已在北京,、上海,、深圳、廈門,、武漢,、西安、南京,、香港,、澳門九大城市設立機構,員工人數(shù)超過1100人,,建立了完善的技術研發(fā)和支持服務體系,,秉持“加速創(chuàng)新、推動產(chǎn)業(yè),、成就客戶”的理念,,與產(chǎn)業(yè)共同發(fā)展,成為中國半導體產(chǎn)業(yè)快速發(fā)展的優(yōu)秀伙伴和堅實支撐,。新思科技攜手合作伙伴共創(chuàng)未來,,讓明天更有新思!


本站內容除特別聲明的原創(chuàng)文章之外,,轉載內容只為傳遞更多信息,,并不代表本網(wǎng)站贊同其觀點。轉載的所有的文章、圖片,、音/視頻文件等資料的版權歸版權所有權人所有,。本站采用的非本站原創(chuàng)文章及圖片等內容無法一一聯(lián)系確認版權者。如涉及作品內容,、版權和其它問題,,請及時通過電子郵件或電話通知我們,以便迅速采取適當措施,,避免給雙方造成不必要的經(jīng)濟損失,。聯(lián)系電話:010-82306118;郵箱:[email protected],。