系統(tǒng)驗(yàn)證的“推背感”不只是加速這么簡(jiǎn)單，英諾達(dá)EnCitius SVS為系統(tǒng)驗(yàn)證提供完整解決方案

近幾十年，芯片設(shè)計(jì)復(fù)雜度的提升讓驗(yàn)證工作成為從業(yè)者關(guān)注的焦點(diǎn)，而工藝節(jié)點(diǎn)的演進(jìn)與設(shè)計(jì)和驗(yàn)證能力的鴻溝也有待業(yè)內(nèi)創(chuàng)新方法學(xué)和解決方案去彌補(bǔ)和追趕。下圖顯示了工藝節(jié)點(diǎn)愈先進(jìn)，芯片設(shè)計(jì)項(xiàng)目成本愈高，其中驗(yàn)證成本呈現(xiàn)出指數(shù)增長(zhǎng)的趨勢(shì)。不僅如此，據(jù)2020年威爾遜研究小組報(bào)告，2007年以來(lái)，單個(gè)IC設(shè)計(jì)項(xiàng)目上所需工程師的峰值增長(zhǎng)了32%，然而對(duì)應(yīng)的驗(yàn)證工程師的峰值增長(zhǎng)了143%。顯然，驗(yàn)證已經(jīng)成為IC設(shè)計(jì)中的技術(shù)瓶頸。

驗(yàn)證相關(guān)IC設(shè)計(jì)成本（單位：百萬(wàn)美元）Source: IBS

當(dāng)前數(shù)字芯片硅前驗(yàn)證的主要手段有三個(gè)——邏輯仿真（Simulation）、硬件加速仿真驗(yàn)證（Emulation）和原型驗(yàn)證（Prototyping）。這三種仿真各有不同的應(yīng)用場(chǎng)景和特色，尤其在當(dāng)下，驗(yàn)證策略的shift-left已經(jīng)成為一種主流的設(shè)計(jì)流程，IC企業(yè)在驗(yàn)證過(guò)程應(yīng)該各取所長(zhǎng)，利用其特性發(fā)揮最大作用。

在驗(yàn)證工具上，針對(duì)不同類(lèi)型的芯片，在不同驗(yàn)證階段需要使用合適的工具，這牽扯到使用不同的資源來(lái)滿足設(shè)計(jì)需求。而面對(duì)眾多驗(yàn)證工具，如何在正確節(jié)點(diǎn)選擇正確的工具、驗(yàn)證平臺(tái)之間的移植和調(diào)試等已成為提升驗(yàn)證效率的另一個(gè)痛點(diǎn)。

總體而言當(dāng)前驗(yàn)證面臨如下挑戰(zhàn)：

1.          IP整合，不同驗(yàn)證平臺(tái)的切換，不同驗(yàn)證階段的數(shù)據(jù)銜接

2.          設(shè)計(jì)驗(yàn)證組件的不可重用性，急劇增長(zhǎng)的驗(yàn)證人力需求，越來(lái)越阻礙芯片的驗(yàn)證效率

3.          傳統(tǒng)SoC驗(yàn)證方式已經(jīng)難以滿足市場(chǎng)對(duì)SoC驗(yàn)證和流片前軟硬件協(xié)同驗(yàn)證的需求

4.          高昂的硬件驗(yàn)證平臺(tái)成本令很多公司望而卻步

針對(duì)客戶在驗(yàn)證過(guò)程中面對(duì)的挑戰(zhàn)，英諾達(dá)（成都）電子科技有限公司發(fā)布了EnCitius^? System Verification Studio（以下簡(jiǎn)稱SVS）系統(tǒng)驗(yàn)證平臺(tái)。如其名字所表述的，Citius是拉丁文Citō（fast）的比較級(jí)形式，意為“更快”，該平臺(tái)旨在幫助芯片設(shè)計(jì)廠商加速驗(yàn)證仿真流程、降低研發(fā)成本、提高項(xiàng)目成功率、縮短time-to-market。

系統(tǒng)驗(yàn)證一站式解決方案

采用英諾達(dá)自主研發(fā)的驗(yàn)證流程和SoC驗(yàn)證集成平臺(tái)，以英諾達(dá)自主建造的集通用高性能服務(wù)器、硬件仿真加速器和原型驗(yàn)證加速器的異構(gòu)算力中心為核心，配合專業(yè)的設(shè)計(jì)驗(yàn)證服務(wù)團(tuán)隊(duì)，SVS形成并涵蓋了成熟的集成電路系統(tǒng)級(jí)芯片(SoC)及系統(tǒng)相關(guān)驗(yàn)證的集成式全棧解決方案。

SVS集成平臺(tái)

SVS集成平臺(tái)是英諾達(dá)自主開(kāi)發(fā)的驗(yàn)證平臺(tái)，依托驗(yàn)證云平臺(tái)的資源，通過(guò)集成多種驗(yàn)證平臺(tái)的IP、流程及組件，快速生成不同驗(yàn)證階段所對(duì)應(yīng)的模型和配套的驗(yàn)證環(huán)境及flow腳本。為客戶提供從子系統(tǒng)/SoC仿真（Simulation）、硬件加速仿真（Emulation）到大規(guī)模系統(tǒng)原型驗(yàn)證（Prototyping）的一站式解決方案。該平臺(tái)核心技術(shù)已經(jīng)獲得3項(xiàng)國(guó)家專利，另外還有4項(xiàng)專利申請(qǐng)正在審核過(guò)程中。

2023年新年伊始，英諾達(dá)升級(jí)了硬件云平臺(tái)，不僅擴(kuò)大了硬件總?cè)萘俊獙⒂布抡鏀U(kuò)大至46億門(mén)、增容了原型驗(yàn)證系統(tǒng)，新機(jī)房還升級(jí)采用國(guó)家A級(jí)IDC標(biāo)準(zhǔn)，滿足雙路供電，雙路水冷的充分冗余以及柴油發(fā)電備份。改進(jìn)的全封閉的冷熱通道，冷通道空間制冷實(shí)現(xiàn)多重冗余，同時(shí)利用工業(yè)恒濕機(jī)實(shí)現(xiàn)環(huán)境的恒溫恒濕。為了確保硬件和數(shù)據(jù)的安全，英諾達(dá)采用多層級(jí)的安全策略，使用行業(yè)最先進(jìn)的網(wǎng)絡(luò)安全設(shè)備及軟件并制定了一系列機(jī)房的管理?xiàng)l例以及員工的安全管理規(guī)范。

SVS系統(tǒng)驗(yàn)證云架構(gòu)

自推出以來(lái)英諾達(dá)的驗(yàn)證云平臺(tái)保持近100%的使用率，累計(jì)了近20個(gè)客戶，技術(shù)支持團(tuán)隊(duì)深入客戶需求，7*24小時(shí)提供專業(yè)、快速的服務(wù)支持，受到了客戶的好評(píng)。長(zhǎng)時(shí)間使用該平臺(tái)的沐曦集成電路研發(fā)副總王步偉表示：“ 英諾達(dá)搭建的硬件驗(yàn)證云平臺(tái)解決了我們?cè)诟咝阅蹽PU驗(yàn)證等研發(fā)環(huán)節(jié)上的難題，統(tǒng)一化的環(huán)境開(kāi)發(fā)編譯平臺(tái)大幅提高移植效率；多種OS虛擬機(jī)結(jié)合speedbridge的解決方案支持靈活切換組網(wǎng)形態(tài)，減少不同軟硬件組網(wǎng)的切換開(kāi)銷(xiāo)，縮短驗(yàn)證周期?！?/span>

英諾達(dá)SVS產(chǎn)品研發(fā)負(fù)責(zé)人邢千龍表示：“SVS集成平臺(tái)把設(shè)計(jì)驗(yàn)證設(shè)計(jì)的周期中的各個(gè)節(jié)點(diǎn)做到了無(wú)縫銜接，增強(qiáng)了設(shè)計(jì)的可重用和可配置性，減少了人為的出錯(cuò)概率，大大提高了設(shè)計(jì)驗(yàn)證效率、降低了對(duì)人力資源需求。同時(shí)，集成平臺(tái)對(duì)設(shè)計(jì)驗(yàn)證周期中的各種數(shù)據(jù)做了有效的分析，極大的降低了工程師的勞動(dòng)量，并且為項(xiàng)目管理提供了各種有效的數(shù)據(jù)，使之能很好的把控項(xiàng)目節(jié)奏，降低了項(xiàng)目流片的風(fēng)險(xiǎn)?！?/span>

EnCitius? System Verification Studio

芯你所想，共創(chuàng)芯生

SVS的發(fā)布將讓更多企業(yè)可以通過(guò)云平臺(tái)加速芯片研發(fā)。英諾達(dá)副總經(jīng)理熊文表示：“過(guò)去一年多來(lái)我們?cè)诜?wù)客戶的過(guò)程中，發(fā)現(xiàn)了只打通資源渠道并無(wú)法滿足客戶的個(gè)性化需求，客戶更需要的是針對(duì)驗(yàn)證過(guò)程中實(shí)際遇到的瓶頸或難題的創(chuàng)新解決方案，SVS的推出為客戶解決系統(tǒng)驗(yàn)證過(guò)程中的痛點(diǎn)提供了一條嶄新的路徑。我們期待與更多企業(yè)深入交流，用我們的技術(shù)和服務(wù)助力企業(yè)創(chuàng)新發(fā)展突破?！?/span>