原標題：本土 EDA 新進展：芯華章正式發(fā)布四款擁有自主知識產權的數(shù)字驗證 EDA 產品

本土EDA企業(yè)芯華章在EDA（集成電路設計工具）領域取得了重要進展，正式發(fā)布了四款擁有自主知識產權的數(shù)字驗證EDA產品，以及統(tǒng)一底層框架的智V驗證平臺。以下是對這些新進展的詳細介紹：

一、新產品概述

芯華章發(fā)布的四款數(shù)字驗證EDA產品分別為：

1. 樺捷（HuaPro）：高性能FPGA原型驗證系統(tǒng)。該系統(tǒng)帶有自研的軟件，可自動化實現(xiàn)智能設計流程，減少用戶人工投入、縮短芯片驗證周期。

2. 穹鼎（GalaxSim）：國內領先的數(shù)字仿真器。使用新的軟件構架提供多平臺支持，并且已在多個基于ARM平臺的國產構架上測試通過。在語義解析、仿真行為、時序模型上，已達到主流商業(yè)仿真器水平。

3. 穹景（GalaxPSS）：新一代智能驗證系統(tǒng)。基于Accellera PSS標準和高級驗證方法學的融合，針對目前和將來復雜驗證場景，自動生成場景，降低對工程師手工編寫場景的經驗依賴，提高驗證的場景覆蓋率和完備性。

4. 穹瀚（GalaxFV）：國內EDA領域率先基于字級建模的可擴展形式化驗證工具。采用高性能字級建模方法構建，具備高性能表現(xiàn)、高度可擴展性、友好的拓展接口，在模型上已達到國際先進水平。

二、智V驗證平臺（FusionVerify Platform）

智V驗證平臺由邏輯仿真、形式驗證、智能驗證、FPGA原型驗證系統(tǒng)和硬件仿真系統(tǒng)在內的五大產品系列，以及智能編譯、智能調試以及智能驗證座艙等三大基座組成。該平臺具備以下優(yōu)勢：

1. 統(tǒng)一的調試系統(tǒng)：提供統(tǒng)一的調試界面和流程，簡化驗證工作。

2. 統(tǒng)一的編譯系統(tǒng)：支持多種處理器架構和編程語言，提高編譯效率和兼容性。

3. 智能分割技術：自動對設計進行分割和優(yōu)化，提高驗證效率。

4. 豐富的場景激勵源：提供多樣化的驗證場景和激勵源，滿足不同驗證需求。

5. 統(tǒng)一的云原生軟件架構：支持云原生技術，提高資源利用和調度的靈活性。

三、行業(yè)意義與影響

芯華章此次發(fā)布的四款驗證EDA產品及智V驗證平臺，是中國自主研發(fā)集成電路產業(yè)生態(tài)的重要里程碑。這些產品和平臺在提升芯片驗證效率、降低驗證成本、縮短驗證周期等方面具有顯著優(yōu)勢，有望推動國內EDA行業(yè)的發(fā)展和進步。

同時，芯華章的研發(fā)團隊在短短不到兩年的時間內，從零起步研發(fā)出四款全新架構的EDA驗證工具及驗證平臺，展現(xiàn)了強大的技術創(chuàng)新能力和研發(fā)實力。這一成果不僅為芯華章自身的發(fā)展奠定了堅實基礎，也為國內EDA行業(yè)的自主創(chuàng)新樹立了標桿。

四、客戶反饋與合作伙伴

芯華章的新產品和平臺得到了行業(yè)內外的高度關注和認可。多位業(yè)內專家和企業(yè)代表表示看到了國產EDA工具的希望，并期待與芯華章進一步合作。芯華章也積極與產業(yè)鏈上下游企業(yè)建立合作關系，共同推動EDA行業(yè)的發(fā)展和進步。

綜上所述，芯華章在EDA領域的最新進展不僅提升了自身的技術實力和市場競爭力，也為國內EDA行業(yè)的發(fā)展注入了新的活力和動力。