英諾達系統驗證平臺EnCitius SVS發布最新功能，旨在幫助客戶加速設計驗證，實現云端資源的靈活調度，提高效率。

（2023年8月28日，四川成都）英諾達基于云端的先進系統驗證平臺EnCitius SVS發布最新功能，包括內置硬件云資源管理工具（Resource Management System / RMS）和內置的智能化頂層連接工具（Intelligent Top Connect / ITC）等。

這些新功能旨在幫助客戶加速設計驗證，實現云端資源的靈活調度，提高效率。 當前的芯片規模越來越大，開發周期日益緊迫。

為了應對這種情況，SVS平臺采用了英諾達自主研發的驗證流程和SoC驗證集成平臺。該平臺以英諾達自主建造的集通用高性能服務器、硬件仿真加速器和原型驗證加速器的異構算力中心為核心，配合專業的設計驗證服務團隊，形成了成熟的動態驗證全棧解決方案。

SVS平臺涵蓋了集成電路系統級芯片(SoC)及系統相關驗證，為了能節省環境搭建及調試階段的時間，快速調用硬件資源，英諾達的研發團隊開發了多款自動化的工具以提高環境開發效率，實現快速移植。此外，針對硬件資源的利用率的優化，研發團隊此次也加強了多用戶開發管理系統。

資源靈活調度

SVS內置硬件云資源管理工具（RMS）支持資源靈活分配、多維度資源使用率統計、資源違例占用檢查等功能。資源管理工具能夠幫助客戶管理硬件仿真和原型驗證資源，以應對同一項目內多個工程師分時復用資源，多個項目并行復用資源等應用場景。

SVS工具允許管理員分配每個賬號使用的資源位置和使用時間段，對于違例占用資源的用戶會給予警告，并可以選擇是否強制退出違例加載的硬件仿真進程，并可以生成多維度的資源統計報告功能，管理員可以查看天、周、月、季度等不同維度的資源使用情況。



在實際使用中，RMS確保同一客戶的多個工程師可以分時復用資源

智能化頂層連接

SVS內置的智能化頂層連接工具（ITC）可以幫助用戶提高硬件仿真環境開發效率，支持導入Verilog文件或文件列表自動例化生成頂層代碼框架，支持模塊多次例化和頂層代碼增量生成，用戶通過編輯模塊連接關系即可生成頂層完整代碼；連接關系的描述方式SVS支持svs-connect語法、CSV等格式。

使用SVS連接工具和驗證組件庫，能有效減少代碼迭代后的頂層修改時間，從而縮短整個硬件仿真環境的開發時間。

除此之外， SVS通過英諾達自主研發的驗證流程和專業的設計驗證服務團隊，可以為客戶提供全流程搭建，加速仿真驗證效率，提高硬件利用率。對于從未接觸過硬件仿真加速或者原型驗證平臺的客戶，英諾達還可以提供從早期驗證策略制定，到整個環境構建方案的一站式服務，客戶只需要專注于電路和代碼設計。



SVS平臺驗證計劃制定與環境搭建流程

英諾達副總經理熊文表示：“當前，超大規模芯片設計日益復雜，對軟硬件調試的需求也逐漸增高，動態驗證以及相關人才已成為稀缺資源。SVS是英諾達基于異構算力中心推出的系統驗證平臺，自年初推出以來，我們不斷對其進行優化改進，以期幫助客戶減少相關人力和資金投入，加快驗證進程。通過多個客戶的使用，證實該平臺可以有效提高驗證效率，讓客戶寶貴的人力資源投入到驗證執行階段，從而能夠專注于核心業務的創新突破”。

審核編輯：劉清