西門(mén)子推出數(shù)據(jù)驅(qū)動(dòng)型 Questa Verification IQ 軟件，助力集成電路驗(yàn)證

西門(mén)子數(shù)字化工業(yè)軟件日前推出新 Questa? Verification IQ 軟件，面向下一代高性能集成電路 (IC) 的復(fù)雜設(shè)計(jì)挑戰(zhàn)，提供開(kāi)創(chuàng)性的解決方案。Questa Verification IQ 是一款基于團(tuán)隊(duì)的云端軟件，由數(shù)據(jù)驅(qū)動(dòng)并采用人工智能 (AI) 技術(shù)，有助于加速驗(yàn)證收斂、簡(jiǎn)化可追溯性、優(yōu)化資源，促進(jìn)產(chǎn)品上市速度。

在傳統(tǒng)的 IC 開(kāi)發(fā)周期中，執(zhí)行邏輯驗(yàn)證的時(shí)間往往超過(guò) 70%。隨著新一代 IC 設(shè)計(jì)日趨復(fù)雜，實(shí)現(xiàn)設(shè)計(jì)收斂（即了解工程師已充分執(zhí)行正確的驗(yàn)證類(lèi)型，以確保設(shè)計(jì)能準(zhǔn)確無(wú)誤地運(yùn)作）成為嚴(yán)峻挑戰(zhàn)。Wilson Research 在 2022 年開(kāi)展的一項(xiàng)行業(yè)研究顯示，驗(yàn)證團(tuán)隊(duì)一次性成功完成硅片設(shè)計(jì)的比例已從 2014 年的 31% 降低至 2022 年的 24%，這也是過(guò)去 20 年的最低水平。

Questa Verification IQ 旨在幫助設(shè)計(jì)團(tuán)隊(duì)更快實(shí)現(xiàn)設(shè)計(jì)收斂，其與西門(mén)子業(yè)界領(lǐng)先的 Polarion? REQUIREMENTS 軟件緊密集成后打造的平臺(tái)，可在項(xiàng)目周期內(nèi)自動(dòng)捕捉由引擎運(yùn)行產(chǎn)生的全部數(shù)據(jù)，幫助客戶(hù)在整個(gè)設(shè)計(jì)和驗(yàn)證流程中管理要求、編碼、測(cè)試和發(fā)布。新平臺(tái)針對(duì)功能安全合規(guī)性任務(wù)提供了優(yōu)化的數(shù)字主線(xiàn)，打造從要求到驗(yàn)證結(jié)果再到實(shí)施的可追蹤解決方案。

Questa Verification IQ 可統(tǒng)一來(lái)自不同環(huán)境的形式驗(yàn)證和仿真引擎的覆蓋率數(shù)據(jù)，包括：西門(mén)子的 Questa? 平臺(tái)、OneSpin? 軟件、用于模擬和混合信號(hào)仿真的 Symphony? 平臺(tái)，以及用于硬件仿真加速和原型驗(yàn)證的西門(mén)子 Veloce?。Questa Verification IQ 中的機(jī)器學(xué)習(xí)功能將會(huì)隨即分析數(shù)據(jù)，預(yù)測(cè)時(shí)序特征和漏洞，識(shí)別根本原因，并提供潛在問(wèn)題的解決方案；從而幫助團(tuán)隊(duì)提高效率，向其提供必要信息，充滿(mǎn)信心地進(jìn)行 Sign off。

西門(mén)子 EDA 副總裁兼設(shè)計(jì)驗(yàn)證技術(shù)總經(jīng)理 Abhi Kolpekwar 表示：“很多領(lǐng)先的芯片設(shè)計(jì)和驗(yàn)證公司都在利用大數(shù)據(jù)來(lái)推動(dòng)創(chuàng)新、精簡(jiǎn)運(yùn)作和提升效率。西門(mén)子新的 Questa Verification IQ 是一款由數(shù)據(jù)驅(qū)動(dòng)的驗(yàn)證解決方案，能夠利用分析、協(xié)作和可追溯性，加快和簡(jiǎn)化驗(yàn)證流程，與西門(mén)子的 Polarion REQUIREMENTS 軟件配合使用將取得顯著效果?！?/p>

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

Arm 的設(shè)計(jì)服務(wù)資深總監(jiān) Tran Nguyen 表示：“當(dāng)今的科技創(chuàng)新日新月異，為滿(mǎn)足市場(chǎng)對(duì)計(jì)算能力不斷增長(zhǎng)的需求，產(chǎn)品上市速度比以往任何時(shí)候都更加重要。西門(mén)子的 Questa Verification IQ 解決方案讓客戶(hù)能夠在驗(yàn)證流程中更好地進(jìn)行跨團(tuán)隊(duì)、跨地域的協(xié)作，支持分析引導(dǎo)，從而提高生產(chǎn)率，并且顯著縮短收斂時(shí)間?！?/p>

Nordic Semiconductor 的驗(yàn)證團(tuán)隊(duì)主管 Christoffer Amlo 表示：“Nordic Semiconductor 專(zhuān)攻能夠賦能物聯(lián)網(wǎng)的無(wú)線(xiàn)通信技術(shù)。了解整個(gè)開(kāi)發(fā)周期內(nèi)的設(shè)計(jì)驗(yàn)證狀態(tài)對(duì)于產(chǎn)品的規(guī)劃、執(zhí)行和最終質(zhì)量至關(guān)重要。我們是 Questa Verification IQ 軟件的早期采用者，該軟件為我們提供了一個(gè)高級(jí)的趨勢(shì)分析平臺(tái)，其自動(dòng)生成的實(shí)時(shí)狀態(tài)取代了手動(dòng)搜集回歸信息的工作，在分析未完成的驗(yàn)證工作方面，Questa Verification IQ 提供了高效的覆蓋率收斂協(xié)作工作流程?！?/p>

西門(mén)子的 Questa Verification IQ 現(xiàn)已發(fā)售。