11 月 24 日消息，今日，EDA(集成電路設(shè)計(jì)工具)智能軟件和系統(tǒng)企業(yè)芯華章正式發(fā)布四款擁有自主知識(shí)產(chǎn)權(quán)的數(shù)字驗(yàn)證 EDA 產(chǎn)品，以及統(tǒng)一底層框架的智 V 驗(yàn)證平臺(tái)。

　　芯華章表示，本次發(fā)布的平臺(tái)及產(chǎn)品，在實(shí)現(xiàn)多工具協(xié)同、降低 EDA 使用門(mén)檻的同時(shí)，提高芯片整體驗(yàn)證效率。它們分別具備以下優(yōu)勢(shì)：

　　智 V 驗(yàn)證平臺(tái)（FusionVerify Platform）

　　由邏輯仿真、形式驗(yàn)證、智能驗(yàn)證、FPGA 原型驗(yàn)證系統(tǒng)和硬件仿真系統(tǒng)在內(nèi)的五大產(chǎn)品系列，和智能編譯、智能調(diào)試以及智能驗(yàn)證座艙等三大基座組成。

　　智 V 驗(yàn)證平臺(tái)具備統(tǒng)一的調(diào)試系統(tǒng)、編譯系統(tǒng)、智能分割技術(shù)、豐富的場(chǎng)景激勵(lì)源、統(tǒng)一的云原生軟件架構(gòu)，能融合不同的工具技術(shù)，對(duì)各類設(shè)計(jì)與不同的場(chǎng)景需求，提供定制化的全面驗(yàn)證解決方案，解決當(dāng)前產(chǎn)業(yè)面臨的點(diǎn)工具各自為政的兼容性挑戰(zhàn)，以及數(shù)據(jù)碎片化導(dǎo)致的驗(yàn)證效率挑戰(zhàn)。智 V 驗(yàn)證平臺(tái)能有效提高驗(yàn)證效率與方案的易用性，并帶來(lái)點(diǎn)工具無(wú)法提供的驗(yàn)證效益。

　　樺捷（HuaPro-P1）—— 高性能 FPGA 原型驗(yàn)證系統(tǒng) 

　　基于 FPGA 硬件和擁有自主知識(shí)產(chǎn)權(quán)的全流程軟件，可幫助 SoC/ASIC 芯片客戶實(shí)現(xiàn)設(shè)計(jì)原型的自動(dòng)綜合、分割、優(yōu)化、布線和調(diào)試，可自動(dòng)化實(shí)現(xiàn)智能設(shè)計(jì)流程，有效減少用戶人工投入、縮短芯片驗(yàn)證周期，為系統(tǒng)驗(yàn)證和軟件開(kāi)發(fā)提供大容量、高性能、自動(dòng)實(shí)現(xiàn)、可調(diào)試、高可用的新一代智能硅前驗(yàn)證系統(tǒng)。

　　穹鼎（GalaxSim-1.0）—— 國(guó)內(nèi)領(lǐng)先的數(shù)字仿真器 

　　使用新的軟件構(gòu)架提供多平臺(tái)支持，支持不同的處理器計(jì)算平臺(tái)，如 X86、ARM 等，并且已在多個(gè)基于 ARM 平臺(tái)的國(guó)產(chǎn)構(gòu)架上測(cè)試通過(guò)。可結(jié)合芯華章的穹景 GalaxPSS 智能驗(yàn)證系統(tǒng)的通用調(diào)試器和通用覆蓋率數(shù)據(jù)庫(kù)，穹鼎仿真器能夠高效地配合其他驗(yàn)證工具，提供統(tǒng)一的數(shù)據(jù)接口。支持 IEEE1800 SystemVerilog 語(yǔ)法、IEEE1364 Verilog 語(yǔ)法，以及 IEEE1800.2 UVM 方法學(xué)，在語(yǔ)義解析、仿真行為、時(shí)序模型上，已達(dá)到主流商業(yè)仿真器水平。

　　穹景（GalaxPSS）—— 新一代智能驗(yàn)證系統(tǒng) 

　　基于 Accellera PSS 標(biāo)準(zhǔn)和高級(jí)驗(yàn)證方法學(xué)的融合，針對(duì)目前和將來(lái)復(fù)雜驗(yàn)證場(chǎng)景，自動(dòng)生成場(chǎng)景，降低對(duì)工程師手工編寫(xiě)場(chǎng)景的經(jīng)驗(yàn)依賴，為芯片產(chǎn)生更多高效的測(cè)試場(chǎng)景和測(cè)試激勵(lì)，提高驗(yàn)證的場(chǎng)景覆蓋率和完備性。PSS 生成的代碼具備可移植性，可以確保適用在軟件仿真、硬件仿真、FPGA 原型驗(yàn)證，甚至系統(tǒng)驗(yàn)證上，提供從單一平臺(tái)驗(yàn)證到多平臺(tái)交互驗(yàn)證。

　　穹瀚（GalaxFV）—— 國(guó)內(nèi) EDA 領(lǐng)域率先基于字級(jí)建模的可擴(kuò)展形式化驗(yàn)證工具

　　采用高性能字級(jí)建模(Word-Level Modeling)方法構(gòu)建，具備高性能表現(xiàn)、高度可擴(kuò)展性、友好的拓展接口，在模型上已達(dá)到國(guó)際先進(jìn)水平。搭載了高并發(fā)高性能求解器、智能調(diào)度算法引擎以及專用斷言庫(kù)，可在充分利用算力，提高并行效率的同時(shí)，有效提高易用性和使用效率，為形式化驗(yàn)證應(yīng)用于產(chǎn)業(yè)降低了門(mén)檻。

特別提醒：本網(wǎng)信息來(lái)自于互聯(lián)網(wǎng)，目的在于傳遞更多信息，并不代表本網(wǎng)贊同其觀點(diǎn)。其原創(chuàng)性以及文中陳述文字和內(nèi)容未經(jīng)本站證實(shí)，對(duì)本文以及其中全部或者部分內(nèi)容、文字的真實(shí)性、完整性、及時(shí)性本站不作任何保證或承諾，并請(qǐng)自行核實(shí)相關(guān)內(nèi)容。本站不承擔(dān)此類作品侵權(quán)行為的直接責(zé)任及連帶責(zé)任。如若本網(wǎng)有任何內(nèi)容侵犯您的權(quán)益，請(qǐng)及時(shí)聯(lián)系我們，本站將會(huì)在24小時(shí)內(nèi)處理完畢。