原標題：西門子加強IC驗證

　　西門子的 Questa Verification IQ 軟件可幫助邏輯驗證團隊克服與復雜的下一代 IC 設計復雜性相關的挑戰(zhàn)。

　　西門子數(shù)字工業(yè)軟件推出了一款突破性的解決方案，幫助邏輯驗證團隊克服與復雜的下一代集成電路(IC)設計復雜性急劇上升相關的一系列挑戰(zhàn)。Questa Verification IQ軟件基于團隊，支持云，數(shù)據(jù)驅(qū)動，由人工智能(AI)技術提供支持，有助于加速驗證關閉，簡化可追溯性，優(yōu)化資源并加快上市時間。

　　傳統(tǒng)上，邏輯驗證占整個IC開發(fā)周期的70%以上。實現(xiàn)設計收斂——知道工程師已經(jīng)做了足夠多的正確驗證，以確保您的設計能夠完美運行——是一個越來越大的挑戰(zhàn)，因為每一代新一代 IC 設計都會引入高水平的復雜性。根據(jù) 2022 年威爾遜研究公司的一項行業(yè)研究，首次獲得硅成功的驗證團隊從 2014 年的 31% 下降到 2022 年的 24%，這是過去 20 年來的最低水平。

　　Questa Verification IQ旨在幫助設計團隊更快地完成設計，與西門子的Polarion REQUIREMENTS軟件緊密集成，提供了一個平臺，可自動捕獲項目生命周期中每個發(fā)動機運行的所有數(shù)據(jù)，幫助客戶在整個設計和驗證過程中管理需求、編碼、測試和發(fā)布管理。這種強大的組合提供了針對功能安全合規(guī)性任務優(yōu)化的緊密數(shù)字線程，提供了從需求到驗證結果和實施的可追溯解決方案。

　　Questa Verification IQ統(tǒng)一了西門子Questa平臺、OneSpin軟件、用于模擬和混合信號仿真的Symphony平臺以及西門子用于仿真和原型設計的Veloce硬件中的形式和仿真引擎的覆蓋數(shù)據(jù)。然后，Questa Verification IQ 中的機器學習功能會分析數(shù)據(jù)以預測模式和漏洞、確定根本原因并規(guī)定潛在問題的解決方案;從而有助于提高效率，并為團隊提供自信簽署所需的信息。

　　西門子EDA副總裁兼設計驗證技術總經(jīng)理Abhi Kolpekwar表示：“全球處于芯片設計和驗證前沿的公司正在利用大數(shù)據(jù)來激發(fā)創(chuàng)新、簡化運營并提高效率。隨著Questa Verification IQ的推出，西門子正在通過最先進的數(shù)據(jù)驅(qū)動驗證解決方案改變IC驗證，該解決方案可以通過分析、協(xié)作和可追溯性加快和簡化驗證過程，尤其是在與西門子的Polarion REQUIREMENTS軟件結合使用時。

　　Questa Verification IQ在基于Web的應用程序框架中實現(xiàn)，以最低的安裝成本提供可擴展的驗證管理，同時實現(xiàn)設備和操作系統(tǒng)的獨立性。Questa Verification IQ 通過原生協(xié)作和集中式數(shù)據(jù)訪問支持公有云、私有云和混合云配置，可幫助全球工程團隊實時協(xié)作，以加快驗證管理流程并提供實時項目可見性。Questa Verification IQ還與流行的持續(xù)集成(CI)工具(如Jenkins)完全集成，以實現(xiàn)工作流程的自動化。

　　“當今創(chuàng)新的快速步伐意味著上市時間對于我們滿足不斷增長的計算能力需求比以往任何時候都更加重要，”Arm設計服務高級總監(jiān)Tran Nguyen說。 “西門子的Questa驗證IQ解決方案允許在驗證過程中加強團隊和地域之間的協(xié)作，并支持分析導航以提高生產(chǎn)力。 大大減少了我們的關閉時間。

　　“Nordic Semiconductor專注于為物聯(lián)網(wǎng)提供動力的無線通信技術。在整個開發(fā)周期中了解設計的驗證狀態(tài)對于我們產(chǎn)品的規(guī)劃、執(zhí)行和最終質(zhì)量至關重要，“Nordic Semiconductor驗證團隊負責人Christoffer Amlo說。“作為早期采用者，Questa Verification IQ為我們提供了一個具有高層次趨勢的中央門戶。該工具自動執(zhí)行的實時狀態(tài)取代了收集回歸信息的手動工作。為了調(diào)查未完成的驗證工作，Questa Verification IQ為覆蓋閉合提供了高效的協(xié)作工作流程。