每一代IC設計技術都會帶來新的復雜程度，由于IC設計復雜性的急劇上升，邏輯驗證團隊面臨著許多新的挑戰。因此，知道工程師已經做了足夠多的正確驗證以確保設計完美運行，設計收斂已成為IC開發人員面臨的關鍵挑戰。

　　行業觀察人士表示，邏輯驗證傳統上占整個IC開發周期的70%以上。威爾遜研究公司的一項研究承認了這一前提，指出實現第一芯片成功的驗證團隊從 2014 年的 31% 下降到 2022 年的 24%。這是過去20年來的最低水平。

　　西門子EDA聲稱擁有解決這一IC設計挑戰的解決方案： 奎斯塔驗證智商 軟件。它是一種數據驅動的驗證解決方案，可加速驗證收斂、簡化可追溯性、優化資源并加快上市時間。Questa Verification IQ與西門子緊密集成 極化要求 軟件，以促進平臺自動捕獲IC設計人員在整個項目周期中運行的所有引擎的所有數據。

　　這反過來又使IC設計人員能夠在整個IC設計和驗證過程中管理需求、編碼、測試和發布管理。新的驗證工具由人工智能(AI)技術提供支持，統一了來自正式和模擬引擎的覆蓋數據，例如 一旋 軟件 交響曲 模擬和混合信號仿真平臺，以及 維洛克 用于仿真和原型設計的硬件。

　　接下來，Questa Verification IQ中的機器學習(ML)功能分析數據以預測模式和漏洞，確定根本原因，并為潛在問題提供解決方案。舉個例子：無線和物聯網芯片供應商Nordic Semiconductor是Questa Verification IQ的早期采用者，通過使用此工具，已經能夠用自動實時狀態取代收集回歸信息的手動工作。“Questa Verification IQ為我們提供了一個具有高級趨勢的中央門戶，”Nordic Semiconductor驗證團隊負責人Christoffer Amlo說。

　　Questa Verification IQ是一個數據驅動的解決方案，旨在加快和簡化驗證過程，同時與西門子的Polarion REQUIREMENTS軟件相關聯。源： 西門子 EDA

　　西門子EDA負責VM、調試和覆蓋的產品經理Darron May表示，數據驅動的方法可以解決不斷增加的IC設計復雜性，這種復雜性加劇了功能驗證挑戰。他補充說，數據是任何改進的關鍵，因為過去十年創建和使用的數據量增加了50倍。

　　“隨著大容量存儲功能和現代計算基礎設施的出現，數據現在是王道，”May說。“這也是機器學習驅動方法的關鍵，該方法將通過分析和可追溯性功能徹底改變驗證。

　　除了分析和可追溯性之外，協作是以數據為中心的驗證方法的第三個主要驅動因素。Questa Verification IQ 在基于 Web 的應用程序框架中實施，具有設備和操作系統獨立性，允許全球工程團隊實時協作，從而通過實時項目可見性加快驗證過程。“在驗證過程中，它可以加強團隊和跨地區的協作，大大減少了關閉時間，”Arm設計服務高級總監Tran Nguyen說。

　　Questa 驗證 IQ 支持公有云、私有云和混合云配置，具有原生協作和集中式數據訪問功能。它還與流行的持續集成 (CI) 工具(如 Jenkins)完全集成，以自動化工作流程。