基于行業(yè)先進(jìn)的 HDL 編碼靜態(tài)分析技術(shù),泛聯(lián)新安EDA產(chǎn)品可支持檢測FPGA 項目設(shè)計編碼初期設(shè)計中的存在的編碼缺陷,有效提高 RTL 的設(shè)計質(zhì)量和設(shè)計效率。

VHawk Lint:Verilog/VHDL代碼規(guī)則檢查工具,國內(nèi)唯一支持GJB9765/GJB10157、DO254、Altera、Xilinx等編碼規(guī)則集。
VHawk CDC:RTL/網(wǎng)表跨時鐘域分析,自動識別跨時鐘域路徑和典型同步器。
VShark Simulator:RTL功能仿真,具備靈活豐富的調(diào)試性。
InfinitPro Prototyping:國際領(lǐng)先的基于交換的百億門級原型驗證系統(tǒng),主頻可達(dá)50MHz,高可擴(kuò)展性。
FPGA emulator:基于FPGA的仿真加速,與原型驗證系統(tǒng)共享底層硬件,加速可達(dá)2MHz,兼具調(diào)試性和速度。
云服務(wù)模式:支持公有云/私有云/混合云部署,打通數(shù)字前端驗證工具流程。
高性能數(shù)據(jù)庫:統(tǒng)一的數(shù)據(jù)格式,工具之間可共享數(shù)據(jù),仿真驗證流程無縫切換。