基于行業(yè)先進的 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)，主頻可達50MHz，高可擴展性。
FPGA emulator：基于FPGA的仿真加速，與原型驗證系統(tǒng)共享底層硬件，加速可達2MHz，兼具調(diào)試性和速度。
云服務(wù)模式：支持公有云/私有云/混合云部署，打通數(shù)字前端驗證工具流程。
高性能數(shù)據(jù)庫：統(tǒng)一的數(shù)據(jù)格式，工具之間可共享數(shù)據(jù)，仿真驗證流程無縫切換。