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

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

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

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

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

　　Questa Verification IQ是一個數(shù)據(jù)驅(qū)動的解決方案，旨在加快和簡化驗證過程，同時與西門子的Polarion REQUIREMENTS軟件相關(guān)聯(lián)。源： 西門子 EDA

　　西門子EDA負責VM、調(diào)試和覆蓋的產(chǎn)品經(jīng)理Darron May表示，數(shù)據(jù)驅(qū)動的方法可以解決不斷增加的IC設(shè)計復雜性，這種復雜性加劇了功能驗證挑戰(zhàn)。他補充說，數(shù)據(jù)是任何改進的關(guān)鍵，因為過去十年創(chuàng)建和使用的數(shù)據(jù)量增加了50倍。

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

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

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