日前，“開放·連接” 2025 玄鐵 RISC-V生態(tài)大會在北京舉行。西門子 EDA 攜 Veloce CS 系列硬件輔助驗證系統(tǒng)精彩亮相，為芯片開發(fā)者帶來了高效、智能的驗證方案。

01技術洞見：解讀RISC-V驗證之路

在大會主論壇上，西門子EDA全球副總裁、亞太區(qū)技術總經理Lincoln Lee (李立基)先生發(fā)表了主題演講。結合自己在EDA行業(yè)三十余年的經驗，Lincoln深度解析了RISC-V芯片驗證的核心挑戰(zhàn)：“RISC-V架構的靈活性是一把雙刃劍，它帶來了定制化的無限可能，但同時也讓驗證變得更加復雜?！?/p>

針對這些挑戰(zhàn)，西門子EDA提供了一整套解決方案，以確保RISC-V芯片能夠在更短時間內完成更嚴格的驗證：

Formal 形式驗證

利用Questa Formal Processor App，實現(xiàn)自動化RISC-V指令驗證，確保100%功能覆蓋率，降低設計缺陷風險。

Tessent Embedded Analytics

集成高壓縮比的追蹤和高性能調試模塊，實現(xiàn)對系統(tǒng)軟硬件行為的非入侵式監(jiān)測，節(jié)省調試成本，提高芯片穩(wěn)定性和可靠性。

軟件前移（Shift-Left）策略

通過Veloce CS平臺，開發(fā)者可在芯片流片前完成軟件仿真，降低硬件調整成本，加速AI、汽車電子等復雜SoC的開發(fā)進程。

高效硬件加速仿真

Veloce Strato CS與Veloce proFPGA CS結合，提供從功能仿真到桌面級原型驗證的全方位解決方案。

Lincoln總結道：“未來的芯片競爭，不僅僅是算力的比拼，更是生態(tài)的競逐。只有整個產業(yè)鏈緊密合作，RISC-V才能真正實現(xiàn)跨越式發(fā)展。”他進一步引用了“水漲船高”的比喻，強調RISC-V的發(fā)展不僅依賴單個企業(yè)的技術突破，更需要整個生態(tài)系統(tǒng)的繁榮與合作，才能共同迎接計算新時代的挑戰(zhàn)與機遇。

02Veloce CS：讓RISC-V芯片驗證更快、更強、更高效

在本次大會上，西門子EDA帶來了Veloce CS硬件輔助驗證系統(tǒng)，這是目前業(yè)內領先的驗證加速平臺，涵蓋了三大核心產品：

Veloce Strato CS

高性能硬件加速仿真，使工程師能夠更早發(fā)現(xiàn)設計缺陷，減少開發(fā)周期。

Veloce Primo CS

在維持和Veloce Strato CS的一致性（Congruency）的前提下，進一步的提升了3X的運行速度，支持大規(guī)模SoC設計，確保芯片在真實環(huán)境中的穩(wěn)定性。

Veloce proFPGA CS

全球首個基于AMD Versal VP1902 FPGA的桌面原型驗證方案，可靈活擴展FPGA資源，適用于超大規(guī)模SoC的驗證。

Veloce CS系統(tǒng)不僅提供更快的驗證速度，還具備跨平臺一致性和模塊化設計。在展會現(xiàn)場，西門子EDA成功演示了基于Veloce proFPGA和proFPGA CS的C907與C930 RISC-V多核原型驗證系統(tǒng)。

C930是阿里巴巴最新發(fā)布的高性能服務器級處理器。作為唯一成功在該平臺運行C930驗證的廠商，西門子EDA的解決方案展現(xiàn)了強大的技術實力。

03探索前沿驗證技術：西門子EDA展臺亮點回顧

西門子EDA不僅在大會主論壇分享了前沿技術，還在展區(qū)搭建了“原型驗證創(chuàng)新體驗區(qū)”，讓與會者近距離感受Veloce CS的強大能力。展臺的四大核心演示吸引了眾多工程師的關注：

C907原型驗證演示

在Veloce proFPGA 平臺上運行Alibaba C907處理器，結合Tessent Embedded Analytics/EA調試工具，以50MHz頻率運行，展示高效的硬件調試能力。

C930服務器芯片驗證

成功在Veloce proFPGA CS平臺上實現(xiàn)C930處理器的驗證，運行Drystone CPU基準測試，證明其在高性能計算領域的適用性。

自動分割工具體驗

展示西門子EDA的自動分割工具如何優(yōu)化FPGA資源分配，提高大規(guī)模RISC-V SoC設計的驗證效率。

一對一技術咨詢

資深工程師團隊為客戶提供個性化的原型驗證解決方案咨詢，解答SoC設計中的挑戰(zhàn)。

展臺展示部分，不僅體現(xiàn)了Veloce CS的核心能力，也讓參會者直觀體驗到西門子EDA如何通過創(chuàng)新技術推動RISC-V生態(tài)系統(tǒng)的持續(xù)向前。

04未來展望：西門子EDA攜手行業(yè)，共筑RISC-V生態(tài)

隨著RISC-V架構的廣泛應用，行業(yè)對高效驗證工具的需求日益增長。西門子EDA憑借完整的硬件仿真和原型驗證解決方案，已成為眾多RISC-V芯片企業(yè)的首選合作伙伴。

在本次大會上，西門子EDA正式加入“無劍聯(lián)盟”，該聯(lián)盟旨在推動RISC-V產業(yè)的軟硬件融合，共同構建更具競爭力的商業(yè)生態(tài)。作為EDA領域的領導者，西門子EDA將發(fā)揮自身技術優(yōu)勢，與行業(yè)伙伴攜手，打造開放、協(xié)同、高效的RISC-V生態(tài)體系。

2025玄鐵RISC-V生態(tài)大會的圓滿落幕，不僅見證了技術的發(fā)展，更預示著整個行業(yè)邁向新階段。西門子EDA將繼續(xù)深耕技術創(chuàng)新，以Veloce CS為核心，助力全球RISC-V開發(fā)者加速芯片設計驗證，推動行業(yè)向更高性能、更智能化的方向邁進。在這場技術浪潮奔涌向前的時代，西門子EDA愿與每一位開發(fā)者、每一家企業(yè)并肩同行，共赴RISC-V未來星辰大海。