新思科技憑借突破性機(jī)器學(xué)習(xí)技術(shù)將形式屬性驗證性能提高10倍

VC Formal回歸模式加速器實現(xiàn)更快的形式收斂

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

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

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

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

上市時間

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