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

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

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

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

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

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

1. IP整合，不同驗證平臺的切換，不同驗證階段的數(shù)據(jù)銜接
2. 設計驗證組件的不可重用性，急劇增長的驗證人力需求，越來越阻礙芯片的驗證效率
3. 傳統(tǒng)SoC驗證方式已經(jīng)難以滿足市場對SoC驗證和流片前軟硬件協(xié)同驗證的需求
4. 高昂的硬件驗證平臺成本令很多公司望而卻步

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

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

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

SVS集成平臺

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

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

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

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

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

EnCitius? System Verification Studio

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

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

關(guān)于英諾達

英諾達（成都）電子科技有限公司是一家由行業(yè)頂尖資深人士創(chuàng)立的本土EDA企業(yè)，公司堅持以客戶需求為導向，幫助客戶實現(xiàn)價值最大化，為中國半導體產(chǎn)業(yè)提供卓越的EDA解決方案。其自主研發(fā)的EnFortius?系列低功耗EDA工具，可有效幫助IC設計工程師定位并分析低功耗設計相關(guān)問題。此外，英諾達可提供完整、可定制的前/后端設計服務，其一站式驗證解決方案可為廠商提高芯片設計效率。公司的長期目標是通過EDA工具的研發(fā)和上云實踐，參與國產(chǎn)EDA完整工具鏈布局并探索適合中國國情的工業(yè)軟件上云的路徑與模式，賦能半導體產(chǎn)業(yè)高質(zhì)量發(fā)展。