VC Formal回歸模式加速器實現更快的形式收斂。

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

意法半導體研發設計經理David Vincenzoni表示，“作為領先的集成設備制造商，意法半導體致力于提供創新的解決方案，推動智能駕駛和物聯網（包括智能工業）的最新技術發展，因此，設計人員需要能夠提供最佳性能、易用性和高質量結果的形式驗證解決方案。新思科技新推出的VC Formal回歸模式加速器應用能夠穩定地提供數量級的性能優化，同時改進了我們設計模塊上最復雜的System Verilog Assertions其他不確定屬性的收斂。”

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

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

上市時間

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

關于新思?

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

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

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