原標(biāo)題：西門子加強(qiáng)IC驗(yàn)證

　　西門子的 Questa Verification IQ 軟件可幫助邏輯驗(yàn)證團(tuán)隊(duì)克服與復(fù)雜的下一代 IC 設(shè)計(jì)復(fù)雜性相關(guān)的挑戰(zhàn)。

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

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

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

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

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

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

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

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