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

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

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

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

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

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

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

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

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

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