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

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

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

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

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

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

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

2.          設(shè)計驗證組件的不可重用性，急劇增長的驗證人力需求，越來越阻礙芯片的驗證效率

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

4.          高昂的硬件驗證平臺成本令很多公司望而卻步

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

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

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

SVS集成平臺

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

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

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

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

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

EnCitius? System Verification Studio

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

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