Questa One將集成電路（IC）驗(yàn)證從被動(dòng)反應(yīng)流程重新定義為智能的自優(yōu)化系統(tǒng)。

西門子數(shù)字化工業(yè)軟件推出了Questa? One智能驗(yàn)證軟件組合，將連接性、數(shù)據(jù)驅(qū)動(dòng)方法和可擴(kuò)展性與人工智能相結(jié)合，突破了集成電路（IC）驗(yàn)證流程的極限，提高了工程團(tuán)隊(duì)的生產(chǎn)效率。

Questa One提供更快的引擎，使工程師的工作速度更快，所需的工作負(fù)載更少，能夠支持從IP到系統(tǒng)級(jí)芯片（SoC）再到系統(tǒng)的最大型、最復(fù)雜的設(shè)計(jì)，開發(fā)時(shí)還考慮了先進(jìn)的3D-IC、基于芯粒的設(shè)計(jì)和軟件定義架構(gòu)。

西門子數(shù)字化工業(yè)軟件數(shù)字驗(yàn)證技術(shù)副總裁兼總經(jīng)理Abhi Kolpekwar表示：“Questa One變革了IC設(shè)計(jì)流程，不僅解決了驗(yàn)證生產(chǎn)率方面的差距，還解決了IC行業(yè)關(guān)于日益復(fù)雜設(shè)計(jì)的快速增長(zhǎng)的挑戰(zhàn)。Questa One利用新的技術(shù)進(jìn)步提供了最快的功能、故障和形式驗(yàn)證引擎，但客戶告訴我們，僅有性能是不夠的，他們還需要在我們無與倫比的驗(yàn)證、確認(rèn)和測(cè)試工作流程中進(jìn)行更深層次的連接，而Questa One正好提供了這一點(diǎn)。結(jié)合我們對(duì)AI的應(yīng)用，西門子的驗(yàn)證解決方案真正讓早期采用者在智能創(chuàng)建、智能回歸、智能分析、智能引擎和智能調(diào)試領(lǐng)域?qū)崿F(xiàn)生產(chǎn)率的階躍式提升?！?/p>

西門子與行業(yè)領(lǐng)導(dǎo)者合作開發(fā)了Questa One智能驗(yàn)證解決方案，該解決方案提供互聯(lián)、數(shù)據(jù)驅(qū)動(dòng)、可擴(kuò)展的解決方案，打破了驗(yàn)證生產(chǎn)率差距2.0的瓶頸，其中3D-IC、基于芯粒的設(shè)計(jì)、軟件定義架構(gòu)等技術(shù)日益復(fù)雜，而關(guān)鍵人才的短缺以及市場(chǎng)對(duì)增強(qiáng)安全性、降低功耗、提高可靠性和可持續(xù)性的需求不斷增長(zhǎng)，進(jìn)一步加劇了這些技術(shù)的復(fù)雜性。

Questa One智能驗(yàn)證解決方案涵蓋多項(xiàng)技術(shù)突破，包括：

Questa One Coverage Acceleration軟件通過將更高/更快的覆蓋結(jié)果與通用驗(yàn)證方法（UVM）約束隨機(jī)測(cè)試生成的優(yōu)勢(shì)結(jié)合在一起，覆蓋目標(biāo)的速度達(dá)到傳統(tǒng)測(cè)試平臺(tái)解算器的50倍。

Questa One DFT Simulation Acceleration軟件利用Questa One Parallel Simulation軟件，使門級(jí)可測(cè)試性設(shè)計(jì)（DFT）串行模式仿真的速度快了8倍，并與業(yè)界領(lǐng)先的Tessent? Streaming Scan Network（SSN）架構(gòu)緊密集成。

Questa One Fault Simulation Acceleration軟件的性能提高了48倍，同時(shí)支持功能安全和DFT故障仿真應(yīng)用。它還針對(duì)Tessent中的用戶定義故障建模（UDFM）功能提供專屬支持。

Questa One Stimulus Free Verification軟件使工程師的生產(chǎn)率達(dá)到新的水平。在復(fù)雜的開源SoC級(jí)參考設(shè)計(jì)上，其獨(dú)特的引擎組合和應(yīng)用統(tǒng)一的方法已證明能將總體處理時(shí)間從24小時(shí)以上縮短到1分鐘以下。集成20種不同的無激勵(lì)分析、AI和自動(dòng)化，帶來了新的解決方案，如具有自動(dòng)校正功能以及生成式AI SVA屬性創(chuàng)建和驗(yàn)證功能的linting。

Questa One Avery Verification IP軟件基于Avery的高質(zhì)量VIP和高覆蓋率合規(guī)性測(cè)試套件（CTS）。協(xié)議感知調(diào)試和協(xié)議感知覆蓋率分析有助于提高生產(chǎn)率，加快VIP對(duì)Questa One Sim上的相同CTS、測(cè)試平臺(tái)和激勵(lì)在Veloce CS仿真和原型系統(tǒng)上重復(fù)使用的支持。

Questa One智能驗(yàn)證解決方案基于三個(gè)核心原則。

Questa One Connected Verification軟件可將工程師、EDA工具和驗(yàn)證IP連接起來，形成一個(gè)具有凝聚力的生態(tài)系統(tǒng)，在西門子的Questa One、Tessent DFT和Veloce? CS仿真和原型系統(tǒng)上進(jìn)行全面、無縫的驗(yàn)證、確認(rèn)和測(cè)試。

Questa One Data-Driven Verification軟件通過AI驅(qū)動(dòng)的分析來利用數(shù)據(jù)的力量，帶來新的見解并提高驗(yàn)證生產(chǎn)率。生成式、規(guī)范性和預(yù)測(cè)性機(jī)器學(xué)習(xí)技術(shù)的應(yīng)用使工程師能夠以最少的資源實(shí)現(xiàn)最高水平的驗(yàn)證。

Questa One Scalable Verification軟件可提供無與倫比的加速和自動(dòng)化，能以最快的速度完成驗(yàn)證收斂，并獲得最高的置信度。

客戶使用Questa One的體驗(yàn)

Arm生產(chǎn)率工程負(fù)責(zé)人Karima Dridi表示：“Questa One智能驗(yàn)證解決方案提高了我們?cè)趥鹘y(tǒng)內(nèi)部部署和云部署中的驗(yàn)證生產(chǎn)率。作為使用高性能Questa One Sim高級(jí)功能仿真器運(yùn)行大型EDA工作負(fù)載的早期采用者，我們觀察到最新AArch64架構(gòu)提高了性能、成本效率，并縮短了回歸時(shí)間?！?/p>

聯(lián)發(fā)科連接技術(shù)部高級(jí)技術(shù)經(jīng)理黃建霖表示：“作為西門子Questa One智能驗(yàn)證解決方案的早期用戶，聯(lián)發(fā)科已經(jīng)能夠通過形式驗(yàn)證和仿真技術(shù)提高我們工程師在整個(gè)驗(yàn)證流程中的生產(chǎn)率。Questa One Property Assist利用生成式AI為我們節(jié)省了數(shù)周的工程時(shí)間，Questa One Regression Navigator則可以預(yù)測(cè)哪些仿真測(cè)試最有可能失敗，并首先運(yùn)行這些測(cè)試，從而節(jié)省了數(shù)天的回歸和調(diào)試時(shí)間?！?/p>

微軟硅工程副總裁Selim Bilgin表示：“Questa One DFT（QDX）仿真利用以DFT為中心的先進(jìn)仿真功能，提供比現(xiàn)有仿真解決方案更快的性能，將我們的驗(yàn)證時(shí)間從數(shù)周縮短到數(shù)天。除了這些令人印象深刻的速度提升之外，在微軟的Azure Cobalt 100平臺(tái)上，QDX的性能還可提升20%，為我們的EDA工作負(fù)載提供更高的效率?！?/p>

Rambus硅IP工程副總裁Susheel Tadikonda表示：“西門子的Questa One智能驗(yàn)證解決方案改進(jìn)并簡(jiǎn)化了我們的驗(yàn)證流程，使我們能夠利用針對(duì)PCIe、CXL和HBM接口的最先進(jìn)硅IP解決方案，來應(yīng)對(duì)新時(shí)代的數(shù)據(jù)中心工作負(fù)載，例如生成式AI。使用包括仿真、靜態(tài)和形式分析、驗(yàn)證IP技術(shù)在內(nèi)的完整Questa One解決方案，能夠幫助客戶對(duì)SoC和芯粒設(shè)計(jì)的IP解決方案進(jìn)行全面驗(yàn)證，從而增強(qiáng)客戶的信心。”

來源：半導(dǎo)體芯科技


審核編輯 黃宇