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

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

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

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

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

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

上市時(shí)間

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

關(guān)于新思?

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

新思科技成立于1986年，總部位于美國硅谷，目前擁有13000多名員工，分布在全球100多個(gè)分支機(jī)構(gòu)。2018財(cái)年預(yù)計(jì)營業(yè)額31億美元，擁有3000多項(xiàng)已批準(zhǔn)專利，為美國標(biāo)普500指數(shù)成分股龍頭企業(yè)。

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